Wilfried Brauer – författare
Visar alla böcker från författaren Wilfried Brauer. Handla med fri frakt och snabb leverans.
28 produkter
Automata, Languages and Programming
12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings
Häftad, 1985
535 kr
Lägg i varukorg
Petri Nets: Central Models and Their Properties
Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986
Av Wilfried Brauer, Wolfgang Reisig m. fl.
Häftad, 1987
569 kr
Lägg i varukorg
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 formation systems, computer architecture and operating …
Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986
Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency
Av Wilfried Brauer, Wolfgang Reisig m. fl.
Häftad, 1987
569 kr
Lägg i varukorg
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 variety of applications, and covers the relationship …
Wissensbasierte Systeme
2. Internationaler GI-Kongreß München, 20./21. Oktober 1987
Av Wilfried Brauer, W. Wahlster
Häftad, 1987
585 kr
Lägg i varukorg
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 Fachleute und Mitarbeiter in der Wirtschaft, in der …
Spatial Cognition III
Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning
Av Christian Freksa, Wilfried Brauer m. fl.
Häftad, 2003
552 kr
Lägg i varukorg
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. As these different disciplines gain a deeper …
Formal and Natural Computing
Essays Dedicated to Grzegorz Rozenberg
Av Wilfried Brauer, Hartmut Ehrig m. fl.
Häftad, 2002
569 kr
Lägg i varukorg
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, concurrency, as well as natural and molecular computing. …
Spatial Cognition III
Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning
Av Karl F. Wender, Christopher Habel m. fl.
E-bok, 2003
718 kr
Lägg i varukorg
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. As these different disciplines gain a deeper …
Spatial Cognition II
Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications
Av Karl F. Wender, Christopher Habel m. fl.
E-bok, 2003
734 kr
Lägg i varukorg
Formal and Natural Computing
Essays Dedicated to Grzegorz Rozenberg
Av Arto K. Salomaa, Juhani Karhumaki m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
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, concurrency, as well as natural and molecular computing. …
Petri Nets: Central Models and Their Properties
Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986
Av Grzegorz Rozenberg, Wolfgang Reisig m. fl.
E-bok, 2006
739 kr
Lägg i varukorg
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 formation systems, computer architecture and operating …
Informatik und Schule 1989: Zukunftsperspektiven der Informatik für Schule und Ausbildung
GI-Fachtagung, München, 15.–17. November 1989 Proceedings
Av Franz Stetter, Wilfried Brauer
Häftad, 1989
585 kr
Lägg i varukorg
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 Weiterentwicklung des Computers in der Hardware und …
Wissensbasierte Systeme
3. Internationaler GI-Kongreß München, 16.–17. Oktober 1989 Proceedings
Av Wilfried Brauer, Christian Freksa
Häftad, 1989
568 kr
Lägg i varukorg
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 wichtiges Ziel ist dabei, auf das große Potential an …
Logic and Algebra of Specification
Av Friedrich L. Bauer, Wilfried Brauer m. fl.
Inbunden, 1993
1643 kr
Lägg i varukorg
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 and proving methods, butare alsodue to new …
KI-95: Advances in Artificial Intelligence
19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11 - 13, 1995. Proceedings
Av Ipke Wachsmuth, Claus-Rainer Rollinger m. fl.
Häftad, 1995
569 kr
Lägg i varukorg
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 Models to Intelligent Systems". The main part of the …
Studien- und Forschungsführer Informatik
Wissenschaftliche Hochschulen und Forschungseinrichtungen
Av Wilfried Brauer, Siegfried Münch
Häftad, 1996
502 kr
Lägg i varukorg
Diese dritte, vollständig aktualisierte Auflage des bewährten Studien- und Forschungsführers, der in Zusammenarbeit mit der Gesellschaft für Informatik, dem Fakultätentag Informatik und der Hochschulrektorenkonferenz herausgegeben wird, informiert erstmals auch über das Informatik-Studium in den …
Spatial Cognition II
Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications
Av Christian Freska, Wilfred Brauer m. fl.
Häftad, 2000
552 kr
Lägg i varukorg
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 cognition. Spatial cognition is an interdisciplinary …
Logic and Algebra of Specification
Av Helmut Schwichtenberg, Wilfried Brauer m. fl.
E-bok, 2012
2111 kr
Lägg i varukorg
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 and proving methods, butare alsodue to new …
Logic and Algebra of Specification
Av Friedrich L. Bauer, Wilfried Brauer m. fl.
Häftad, 2014
1643 kr
Lägg i varukorg
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 and proving methods, butare alsodue to new …
Informatik und Schule 1989: Zukunftsperspektiven der Informatik für Schule und Ausbildung
GI-Fachtagung, München, 15.–17. November 1989 Proceedings
Av Wilfried Brauer, Franz Stetter
E-bok, 2013
621 kr
Lägg i varukorg
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 Weiterentwicklung des Computers in der Hardware und …
Wissensbasierte Systeme
3. Internationaler GI-Kongreß München, 16.–17. Oktober 1989 Proceedings
Av Christian Freksa, Wilfried Brauer
E-bok, 2013
604 kr
Lägg i varukorg
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 wichtiges Ziel ist dabei, auf das große Potential an …
Studien- und Forschungsführer Informatik
Wissenschaftliche Hochschulen und Forschungseinrichtungen
Av Siegfried Munch, Wilfried Brauer
E-bok, 2013
539 kr
Lägg i varukorg
Wissensbasierte Systeme
2. Internationaler GI-Kongreß München, 20./21. Oktober 1987
Av W. Wahlster, Wilfried Brauer
E-bok, 2013
608 kr
Lägg i varukorg
Studien- und Forschungsführer Informatik
Av Siegfried Munch, Wolfhart Haacke m. fl.
E-bok, 2013
571 kr
Lägg i varukorg
Studien- und Forschungsführer Informatik
Av Siegfried Munch, Wolfhart Haacke m. fl.
E-bok, 2013
553 kr
Lägg i varukorg
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 und in die Gestaltung des Informatikstudiums an den …
GI Gesellschaft für Informatik e. V.
3. Jahrestagung Hamburg, 8.–10. Oktober 1973
Häftad, 1973
532 kr
Lägg i varukorg
GI Gesellschaft für Informatik e. V.
3. Jahrestagung Hamburg, 8.–10. Oktober 1973
E-bok, 2013
537 kr
Lägg i varukorg
