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: Hans-Jörg. Kreowski 12 träffar

	Titel	Författare	År	Språk
1	Graph grammars and their application to computer science		cop. 1991	Engelska
2	Recent trends in data type specification - selected papers edited by H.-J. Kreowski	Workshop on Specification of Abstract Data Types 1984 : Bremen)	cop. 1985	Engelska
3-4	Formal Methods in Software and Systems Modeling - Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (flera utgåvor)	Hans-Jörg. Kreowski	2005	Engelska
5-7	Dynamics in Logistics - First International Conference, LDIC 2007, Bremen, Germany, August 2007, Proceedings (flera utgåvor)	Hans-Jörg. Kreowski	2013	Engelska
8	Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers	Till. Mossakowski	2012	Engelska
9	Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings	Hartmut. Ehrig	2012	Engelska
10	Graph Transformations	Hartmut Ehrig	2012	Okänt
11	Algebraic Foundations of Systems Specification	Egidio Astesiano	1999	Okänt
12	Formal Methods in Software and Systems Modeling	Hans-Jörg Kreowski	2005	Okänt

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.