Søkt på: Søkeresultat
totalt 14 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 …
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 …
Spatial Cognition II
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 …
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, …
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 …
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 …
Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986
The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of …