SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Hans-Jörg Kreowski | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 18 tuotetta
Haluatko tarkentaa hakukriteerejä?



Formal Methods in Software and Systems Modeling - Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Hans-Jörg Kreowski; Ugo Montanari; Fernando Orejas; Grzegorz Rozenberg; Gabriele Taentzer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Dynamics in Logistics - Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings
Hans-Jörg Kreowski; Bernd Scholz-Reiter; Klaus-Dieter Thoben
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Dynamics in Logistics : Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings
Hans-Jörg Kreowski (ed.); Bernd Scholz-Reiter (ed.); Klaus-Dieter Thoben (ed.)
Springer (2013)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Informatik zwischen Wissenschaft und Gesellschaft - Zur Erinnerung an Reinhold Franck Proceedings
Hans-Jörg Kreowski
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1992)
Pehmeäkantinen kirja
51,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Dynamics in Logistics - Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings
Hans-Jörg Kreowski; Bernd Scholz-Reiter; Klaus-Dieter Thoben
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Dynamics in Logistics : Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings
Hans-Jörg Kreowski (ed.); Bernd Scholz-Reiter (ed.); Klaus-Dieter Thoben (ed.)
Springer (2015)
Pehmeäkantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Graph Grammars and Their Application to Computer Science - 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceed
Hartmut Ehrig; Hans-Jörg Kreowski; Grzegorz Rozenberg
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1991)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Algebraic System Specification and Development - A Survey and Annotated Bibliography
Michel Bidoit; Hans-Jörg Kreowski; Pierre Lescanne; Fernando Orejas; Donald Sannella
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1991)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theory and Application of Graph Transformations - 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 S
Hartmut Ehrig; Gregor Engels; Hans-Jörg Kreowski; Grzegorz Rozenberg
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2000)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Graph Transformation - First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
Andrea Corradini; Hartmut Ehrig; Hans-Jörg Kreowski; Grzegorz Rozenberg
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2002)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Dynamics in Logistics - First International Conference, LDIC 2007, Bremen, Germany, August 2007. Proceedings
Hans-Dietrich Haasis; Hans-Jörg Kreowski; Bernd Scholz-Reiter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Dynamics in Logistics : First International Conference, LDIC 2007, Bremen, Germany, August 2007. Proceedings
Hans-Dietrich Haasis (ed.); Hans-Jörg Kreowski (ed.); Bernd Scholz-Reiter (ed.)
Springer (2010)
Pehmeäkantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Re
Till Mossakowski; Hans-Jörg Kreowski
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Graph Transformation - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
Hartmut Ehrig; Gregor Engels; Hans-Jörg Kreowski; Grzegorz Rozenberg
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Algebraic Foundations of Systems Specification
Egidio Astesiano; Hans-Jörg Kreowski; Bernd Krieg-Brückner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Transhumanism: The Proper Guide to a Posthuman Condition or a Dangerous Idea?
Wolfgang Hofkirchner (ed.); Hans-Jörg Kreowski (ed.)
Springer (2020)
Kovakantinen kirja
138,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Subject-Oriented Business Process Management. The Digital Workplace – Nucleus of Transformation : 12th International Conference,
Michael Freitag (ed.); Aseem Kinra (ed.); Herbert Kotzab (ed.); Hans-Jörg Kreowski (ed.); Klaus-Dieter Thoben (ed.)
Springer (2020)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Transhumanism: The Proper Guide to a Posthuman Condition or a Dangerous Idea?
Wolfgang Hofkirchner (ed.); Hans-Jörg Kreowski (ed.)
Springer (2021)
Pehmeäkantinen kirja
138,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods in Software and Systems Modeling - Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 420 sivua
Asu: Pehmeäkantinen kirja
Painos: 2005
Julkaisuvuosi: 2005, 09.02.2005 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig.


The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formal Methods in Software and Systems Modeling - Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthdayzoom
Näytä kaikki tuotetiedot
ISBN:
9783540249368
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste