SULJE VALIKKO

avaa valikko

Grze Rozenberg | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 101 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
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Unifying Petri Nets - Advances in Petri Nets
Hartmut Ehrig; Gabriel Juhas; Julia Padberg; Grzegorz Rozenberg
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2001)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Unconventional Computation : 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings
Cristian S. Calude (ed.); Michael J. Dinneen (ed.); Gheorghe Paun (ed.); Mario de Jesus Pérez-Jiménez (ed.); Grze Rozenberg
Springer (2005)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Membrane Computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
Marian Gheorghe (ed.); Gheorghe Paun (ed.); Grzegorz Rozenberg (ed.); Arto Salomaa (ed.); Sergey Verlan (ed.)
Springer (2012)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advances in Petri Nets 1989
Grzegorz Rozenberg (ed.)
Springer (1990)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advances in Petri Nets 1988
Grzegorz Rozenberg (ed.)
Springer (1988)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Formal Languages : Volume 2. Linear Modeling: Background and Application
Grzegorz Rozenberg (ed.); Arto Salomaa (ed.)
Springer (1997)
Kovakantinen kirja
205,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advances in Petri Nets 1993
Grzegorz Rozenberg (ed.)
Springer (1993)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advances in Petri Nets 1987
Grzegorz Rozenberg (ed.)
Springer (1987)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advances in Petri Nets 1992
Grzegorz Rozenberg (ed.)
Springer (1992)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advances in Petri Nets 1990
Grzegorz Rozenberg (ed.)
Springer (1991)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advances in Petri Nets 1985
Grzegorz Rozenberg (ed.)
Springer (1986)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advances in Petri Nets 1991
Grzegorz Rozenberg (ed.)
Springer (1991)
Pehmeäkantinen kirja
101,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29
Grzegorz Rozenberg (ed.); Frits W. Vaandrager (ed.)
Springer (1998)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Lindenmayer Systems : Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology
Grzegorz Rozenberg (ed.); Arto Salomaa (ed.)
Springer (1992)
Kovakantinen kirja
152,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Natural Computing
Grzegorz Rozenberg (ed.); Thomas Bäck (ed.); Joost N. Kok (ed.)
Springer (2012)
Kovakantinen kirja
801,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Natural Computing
Grzegorz Rozenberg; Thomas Back; Joost N. Kok
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Moniviestin
1256,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Formal Languages : Volume 2. Linear Modeling: Background and Application
Grzegorz Rozenberg (ed.); Arto Salomaa (ed.)
Springer (2010)
Pehmeäkantinen kirja
205,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook Of Graph Grammars And Computing By Graph Transformation - Volume 3: Concurrency, Parallelism, And Distribution
Grzegorz Rozenberg; Hartmut Ehrig; Hans-jorg Kreowski; Ugo Montanari
World Scientific Publishing Co Pte Ltd (1999)
Kovakantinen kirja
178,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Current Trends In Theoretical Computer Science: The Challenge Of The New Century (In 2 Volumes)
Grzegorz Rozenberg; Arto Salomaa; Gheorghe Paun
World Scientific Publishing Co Pte Ltd (2004)
Kovakantinen kirja
393,70
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
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 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
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