KIRJAUDU

ostoskori

avaa valikko

Hans-Jörg Kreowski | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 20 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 (ed.); Ugo Montanari (ed.); Fernando Orejas (ed.); Grzegorz Rozenberg (ed.); Gabriele Taentzer (ed.)
Springer (2005)
Pehmeäkantinen kirja

51,40 €

DYNAMICS IN LOGISTICS : SECOND INTERNATIONAL CONFERENCE, LDIC 2009, BREMEN, GERMANY, AUGUST 2009, PROCEEDINGS

Hans-Jörg Kreowski (ed.); Bernd Scholz-Reiter (ed.); Klaus-Dieter Thoben (ed.)
Springer (2011)
Kovakantinen kirja

179,00 €

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

179,00 €

RECENT TRENDS IN DATA TYPE SPECIFICATION : 3RD WORKSHOP ON THEORY AND APPLICATIONS OF ABSTRACT DATA TYPES SELECTED PAPERS

Hans-Jörg Kreowski (ed.)
Springer (1986)
Pehmeäkantinen kirja

51,40 €

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

52,80 €

DYNAMICS IN LOGISTICS : SECOND INTERNATIONAL CONFERENCE, LDIC 2009, BREMEN, GERMANY, AUGUST 2009, PROCEEDINGS

Hans-Jörg Kreowski (ed.); Bernd Scholz-Reiter (ed.); Klaus-Dieter Thoben (ed.)
Springer (2014)
Pehmeäkantinen kirja

179,00 €

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

179,00 €

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

101,40 €

ALGEBRAIC SYSTEM SPECIFICATION AND DEVELOPMENT : A SURVEY AND ANNOTATED BIBLIOGRAPHY

Michel Bidoit (ed.); Hans-Jörg Kreowski (ed.); Pierre Lescanne (ed.); Fernando Orejas (ed.); Donald Sannella (ed.)
Springer (1991)
Pehmeäkantinen kirja

51,40 €

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

51,40 €

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

51,40 €

CATEGORICAL METHODS IN COMPUTER SCIENCE : WITH ASPECTS FROM TOPOLOGY

Hartmut Ehrig (ed.); Horst Herrlich (ed.); Hans-Jörg Kreowski (ed.); Gerhard Preuß (ed.)
Springer (1989)
Pehmeäkantinen kirja

51,40 €

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 (2008)
Kovakantinen kirja

179,00 €

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

179,00 €

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

51,40 €

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

51,40 €

ALGEBRAIC FOUNDATIONS OF SYSTEMS SPECIFICATION

Egidio Astesiano (ed.); Hans-Jörg Kreowski (ed.); Bernd Krieg-Brückner (ed.)
Springer (2011)
Pehmeäkantinen kirja

51,40 €

TRANSHUMANISM: THE PROPER GUIDE TO A POSTHUMAN CONDITION OR A DANGEROUS IDEA?

Wolfgang Hofkirchner (ed.); Hans-Jörg Kreowski (ed.)
Springer (2020)
Kovakantinen kirja

143,50 €

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

51,40 €

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

143,50 €

Hae lisää...

Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Hans-Jörg Kreowski (ed.), Ugo Montanari (ed.), Fernando Orejas (ed.), Grzegorz Rozenberg (ed.), Gabriele Taentzer (ed.)

51,40 €

Springer
Sivumäärä: 420 sivua
Asu: Pehmeäkantinen kirja
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 60^th 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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus