Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: G. Rozenberg 122 träffar

Titel Författare År Språk
81 Handbook of graph grammars and computing by graph transformation 1997-9999 Engelska
82 Handbook of graph grammars and computing by graph transformation Vol. 1, Foundations Cop. 1997- Engelska
83 Handbook of Natural Computing electronic resource 2012 Engelska
84 Developmental systems and languages Gabor Tamas Herman 1975 Engelska
85 High-level Petri nets - theory and application cop. 1991 Engelska
86 Membrane Computing (vol. # 4361) electronic resource - 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers Hendrik Jan. Hoogeboom 2006 Engelska
87 Graph Transformations - 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings David. Hutchison 2008 Engelska
88 Unconventional Computing - 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings David. Hutchison 2008 Engelska
89 Structures in Logic and Computer Science Jan Mycielski 1997 Engelska
90 Application of Petri Nets to Communication Networks Jonathan Billington 1999 Engelska
91 Lectures on Concurrency and Petri Nets Jörg Desel 2004 Engelska
92 Formal Methods in Software and Systems Modeling - Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday Hans-Jörg. Kreowski 2005 Engelska
93 L systems 1974 Engelska
94 Lectures on embedded systems European Educational Forum School on Embedded Systems (1996 : Veldhoven) cop. 1998 Engelska
95 Lectures on Embedded Systems European Educational Forum School on Embedded Systems 1998 Engelska
96 Lectures on Petri nets - advances in Petri Nets cop. 1998 Engelska
97 Lectures on Petri nets Vol. 1, Basic models - advances in Petri Nets 1998 Engelska
98 Lectures on Petri nets Vol. 2, Applications - advances in Petri Nets cop. 1998 Engelska
99 Lindenmayer systems - impacts on theoretical computer science, computer graphics, and developmental biology 1992 Engelska
100 Linear time, branching time and partial order in logics and models for concurrency cop. 1989 Engelska

Förra sidan 1 2 3 4 5 6 7 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.