Einar Smith Graduation in mathematics and computer science, University of Bonn; social economy, University of Oslo. Ph D dissertation in computer science 1989, University of Hamburg. From 1984 affiliated with the Gesellschaft für Mathematik und Datenverarbeitung (GMD, German National Center for Mathematics and Computer Science), later Fraunhofer Insitute, Sankt Augustin near Bonn, research field Petri nets. From 1989 lecture activities on Petri nets and theoretical computer science at the Univesities of Koblenz, Berlin (Humboldt-University) and Campina Grande, Brazil. Lecture activities on applied mathematics at the Universities of Cologne and Bonn. Author of a text-book on the Theory of Computability, Springer-Verlag 1996.
3 Ebooks de Tim Denvir
Einar Smith: Carl Adam Petri
The book presents the life and works of one of Germany’s most famous computer scientists, Carl Adam Petri. It is written in a vivid and entertaining manner, providing an in-depth discussion of the …
PDF
Inglés
€32.09
Tim Denvir & Rosalind Herman: Formal Aspects of Measurement
This book contains the eight invited papers presented at the workshop on Formal Aspects of Measurement held at South Bank University on 5th May 1991, organised by the British Computer Society’s …
PDF
Inglés
DRM
€57.04
Tim Denvir & Cliff B. Jones: 5th Refinement Workshop
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal …
PDF
Inglés
DRM
€57.06
