Søkt på: Søkeresultat
totalt 13 treff
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 …
Studien- und Forschungsführer Informatik
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 III
Spatial cognition is an interdisciplinary research area involving artificial intelligence, cognitive psychology, computational linguistics, geography, mathematics, biology, …
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 …
GI Gesellschaft für Informatik e. V.
Logic and Algebra of Specification
For some years, specification of software and hardwaresystems has been influenced not only by algebraic methodsbut also by new developments in logic. These newdevelopments …
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 …
Studien- und Forschungsführer Informatik
Der Studien- und Forschungsführer Informatik, der in Zusammenarbeit mit der Gesellschaft für Informatik herausgegeben wird, liegt jetzt in der zweiten neubearbeiteten Auflage vor. …