Søkt på: Bøker av Wilfried Brauer
totalt 29 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 …
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.
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 …
Spatial Cognition II
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 …
KI-95: Advances in Artificial Intelligence
This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995.The volume opens with full …