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 17 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
13 Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers 2012 Okänt
14 Dynamics in Logistics: Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings (LDIC 2012) 2013 Okänt
15 Recent Trends in Data Type Specification 1985 Okänt
16 Subject-Oriented Business Process Management. The Digital Workplace – Nucleus of Transformation: 12th International Conference, S-BPM ONE 2020, Bremen, Germany, December 2–3, 2020, Proceedings 2020 Okänt
17 Dynamics in Logistics: Second International Conference, LDIC 2009, Bremen, Germany, August 2009: Proceedings Hans-Jörg Kreowski 2011 Okänt

1

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.