Wilfried Brauer - Böcker

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 computer science including software engineering, data base and in formati...

Läs mer »

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 petri nets as well as their modification and analysis, presents a v...

Läs mer »

Wissensbasierte Systeme wurden in den letzten Jahren uber die Stadien des Experimentierens, der Forschung und der Entwicklung hinaus zu interessanten Produkten der Informationsindustrie und werden immer mehr zu wichtigen Arbeitsmitteln fur Fachleu...

Läs mer »

In diesem umfangreichen, vor fast 40 Jahren erschienenen Werk wurde die Geschichte der Rechentechnik - angefangen vom Abacus der Romer bis zu den programmgesteuerten digitalen Rechenanlagen - ausfuhrlich dargestellt. "e;de Beauclair"e; war...

Läs mer »

Spatial cognition is an interdisciplinary research area involving artificial intelligence, cognitive psychology, computational linguistics, geography, mathematics, biology, theoretical computer science, architecture, design, and philosophy of mind...

Läs mer »

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 and combinatorics of words, graph transformations, Petri nets, conc...

Läs mer »

Spatial cognition is an interdisciplinary research area involving artificial intelligence, cognitive psychology, computational linguistics, geography, mathematics, biology, theoretical computer science, architecture, design, and philosophy of mind...

Läs mer »

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 and combinatorics of words, graph transformations, Petri nets, conc...

Läs mer »

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 computer science including software engineering, data base and in- format...

Läs mer »

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 Wissenschaft und Unterricht FWU veranstaltet wurde. Die absehbare technische ...

Läs mer »

Durch die Reihe der GI-Kongresse über wissensbasierte Systeme wird eine größere Öffentlichkeit über den Stand der Entwicklung sowohl in den Entwurfsmethoden und Konstruktionstechniken als auch in der industriellen Anwendung unterrichtet. Ein wicht...

Läs mer »

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 developments in logic are partly based on the use of algorithmic techniques in deduct...

Läs mer »

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 versions of four invited papers devoted to the topic "From Intelligence M...

Läs mer »

Diese dritte, vollstandig aktualisierte Auflage des bewahrten Studien- und Forschungsfuhrers, der in Zusammenarbeit mit der Gesellschaft fur Informatik, dem Fakultatentag Informatik und der Hochschulrektorenkonferenz herausgegeben wird, informiert...

Läs mer »

Spatialcognitionisconcernedwiththewayshumans,animals,ormachinesthink about real or abstract space and also with the ways spatial structures can be used for reasoning. Thus, space is considered both, as an object of cognition and as ameans of cogni...

Läs mer »

For some years, specification of software and hardwaresystems has been influenced not only by algebraic methodsbut also by new developments in logic. These newdevelopments in logic are partly based on the use ofalgorithmic techniques in deduction ...

Läs mer »

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 developments in logic are partly based on the use of algorithmic techniques in deduct...

Läs mer »

Dieses Buch enthalt die Beitrage einer Tagung, die gemeinsam vom Fachbereich "e;Ausbildung und Beruf"e; der Gesellschaft fur Informatik und dem Institut fur Film und Bild in Wissenschaft und Unterricht FWU veranstaltet wurde. Die absehbare...

Läs mer »

Durch die Reihe der GI-Kongresse über wissensbasierte Systeme wird eine gröÿere ÿffentlichkeit über den Stand der Entwicklung sowohl in den Entwurfsmethoden und Konstruktionstechniken als auch in der industriellen Anwendung unterrichtet. Ein ...

Läs mer »

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. Er gibt zunÿchst eine Einführung in das Fachgebiet Informatik ...

Läs mer »