Reiko Heckel | Akateeminen Kirjakauppa

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

ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE - 5TH INTERNATIONAL CONFERENCE, CALCO 2013, WARSAW, POLAND, SEPTEMBER 3-6, 2013, PROCE

Reiko Heckel; Stefan Milius
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

49,60 €

GRAPH TRANSFORMATION, SPECIFICATIONS, AND NETS - IN MEMORY OF HARTMUT EHRIG

Reiko Heckel; Gabriele Taentzer
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

49,60 €

GRAPH TRANSFORMATION FOR SOFTWARE ENGINEERS : WITH APPLICATIONS TO MODEL-BASED DEVELOPMENT AND DOMAIN-SPECIFIC LANGUAGE ENGINEER

Reiko Heckel; Gabriele Taentzer
Springer (2020)
Kovakantinen kirja

88,20 €

GRAPH TRANSFORMATION FOR SOFTWARE ENGINEERS : WITH APPLICATIONS TO MODEL-BASED DEVELOPMENT AND DOMAIN-SPECIFIC LANGUAGE ENGINEER

Reiko Heckel; Gabriele Taentzer
Springer (2021)
Pehmeäkantinen kirja

64,10 €

ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE - 5TH INTERNATIONAL CONFERENCE, CALCO 2013, WARSAW, POLAND, SEPTEMBER 3-6, 2013, PROCE

Reiko Heckel; Stefan Milius
Springer (2013)
Pehmeäkantinen kirja

115,60 €

WEB SERVICES AND FORMAL METHODS - 4TH INTERNATIONAL WORKSHOP, WS-FM 2007, BRISBANE, AUSTRALIA, SEPTEMBER 28-29, 2007, PROCEEDING

Marlon Dumas; Reiko Heckel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

49,60 €

GRAPH TRANSFORMATIONS - 4TH INTERNATIONAL CONFERENCE, ICGT 2008, LEICESTER, UNITED KINGDOM, SEPTEMBER 7-13, 2008, PROCEEDINGS

Hartmut Ehrig; Reiko Heckel; Grzegorz Rozenberg; Gabriele Taentzer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

49,60 €

FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING - 9TH INTERNATIONAL CONFERENCE, FASE 2006, HELD AS PART OF THE JOINT EUROPEAN CON

Luciano Baresi; Reiko Heckel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja

49,60 €

Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proce

Reiko Heckel, Stefan Milius

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 359 sivua
Asu: Pehmeäkantinen kirja
Painos: 2013
Julkaisuvuosi: 2013, 08.08.2013 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Poland, in September 2013.
The 18 full papers presented together with 4 invited talks were carefully reviewed and selected from 33 submissions. The papers cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, system specification and verification, as well as corecursion in programming languages, and algebra and coalgebra in quantum computing. The book also includes 6 papers from the CALCO Tools Workshop, co-located with CALCO 2013 and dedicated to tools based on algebraic and/or coalgebraic principles.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus