Søkt på: Bøker av Wilfried Brauer
totalt 28 treff
Logic and Algebra of Specification
For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new …
Logic and Algebra of Specification
For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new …
Studien- und Forschungsführer Informatik
Diese dritte, vollstandig aktualisierte Auflage des bewahrten Studien- und Forschungsfuhrers, der in Zusammenarbeit mit der Gesellschaft fur Informatik, dem Fakultatentag …
Petri Nets: Central Models and Their Properties
Petri Nets represent a long and sustained effort* to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of …
Spatial Cognition II
Automata, Languages and Programming
Formal and Natural Computing
This book presents state of the art research in theoretical computer science and related ?elds. In particular, the following areas are discussed: automata theory, formal languages …
Informatik und Schule 1989: Zukunftsperspektiven der Informatik für Schule und Ausbildung
Dieses Buch enthält die Beiträge einer Tagung, die gemeinsam vom Fachbereich "Ausbildung und Beruf" der Gesellschaft für Informatik und dem Institut für Film und Bild in …
Automatentheorie
Eine Einfhrung in die Theorie endlicher Automaten.
Spatial Cognition III
Spatial cognition is an interdisciplinary research area involving artificial intelligence, cognitive psychology, computational linguistics, geography, mathematics, biology, …
Wissensbasierte Systeme
Durch die Reihe der GI-Kongresse über wissensbasierte Systeme wird eine größere Öffentlichkeit über den Stand der Entwicklung sowohl in den Entwurfsmethoden und …
Rechnen mit Maschinen
In diesem umfangreichen, vor fast 40 Jahren erschienenen Werk wurde die Geschichte der Rechentechnik – angefangen vom Abacus der Römer bis zu den programmgesteuerten digitalen …