Filtre: Paperback

Cărți de Hartmut Ehrig

Theoretical Computer Science and General Issues

Editat de Hartmut Ehrig et al.

23 aug 2012

Preț: 328^.34 lei 410^.42 lei

6-8 săpt.

-20%

Petri Net Technology for Communication-Based Systems

Editat de Hartmut Ehrig et al.

25 noi 2003

Preț: 330^.15 lei 412^.69 lei

6-8 săpt.

-20%

Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.

Lecture Notes in Computer Science, nr. 1073

Editat de Janice Cuny et al.

8 mai 1996

Preț: 629^.18 lei 740^.21 lei

6-8 săpt.

-15%

Graph Transformations in Computer Science: International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings

Lecture Notes in Computer Science, nr. 776

Editat de Hans J. Schneider et al.

28 mar 1994

Preț: 325^.47 lei 406^.84 lei

6-8 săpt.

-20%

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

Editat de Hartmut Ehrig et al.

27 feb 1987

Preț: 296^.69 lei 370^.86 lei

6-8 săpt.

-20%

Editat de Andrea Corradini et al.

11 sep 2006

Preț: 330^.98 lei 413^.73 lei

6-8 săpt.

-20%

Fundamentals of Algebraic Graph Transformation

Monographs in Theoretical Computer Science. An EATCS Series

Autor Hartmut Ehrig et al.

10 feb 2006

Preț: 741^.32 lei 926^.66 lei

6-8 săpt.

-20%

Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6372

Editat de Hartmut Ehrig et al.

27 sep 2010

Preț: 326^.10 lei 407^.63 lei

6-8 săpt.

-20%

Categorical Methods in Computer Science: With Aspects from Topology

Lecture Notes in Computer Science, nr. 393

Editat de Hartmut Ehrig et al.

11 oct 1989

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

Editat de Andrea Corradini et al.

27 sep 2002

Preț: 330^.15 lei 412^.69 lei

6-8 săpt.

-20%

Editat de Hartmut Ehrig et al.

17 sep 2004

Preț: 385^.06 lei

6-8 săpt.

Editat de Hartmut Ehrig et al.

14 dec 2001

Preț: 331^.38 lei 414^.22 lei

6-8 săpt.

-20%

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)

Lecture Notes in Computer Science, nr. 249

Editat de Hartmut Ehrig et al.

27 feb 1987

Preț: 293^.20 lei 366^.50 lei

6-8 săpt.

-20%

Theory and Application of Graph Transformations

Editat de Hartmut Ehrig et al.

2 mar 2000

Preț: 332^.21 lei 415^.26 lei

6-8 săpt.

-20%

Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5214

Editat de Hartmut Ehrig et al.

28 aug 2008

Preț: 332^.92 lei 416^.15 lei

6-8 săpt.

-20%

Graph-Grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986

Lecture Notes in Computer Science, nr. 291

Editat de Hartmut Ehrig et al.

17 dec 1987

Preț: 631^.08 lei 742^.45 lei

6-8 săpt.

-15%

Editat de Wilfried Brauer et al.

6 feb 2002

Preț: 330^.15 lei 412^.69 lei

6-8 săpt.

-20%

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Monographs in Theoretical Computer Science. An EATCS Series, nr. 21

Autor Hartmut Ehrig et al.

28 dec 1989

Preț: 393^.22 lei

6-8 săpt.

Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings

Lecture Notes in Computer Science, nr. 532

Editat de Hartmut Ehrig et al.

11 sep 1991

Preț: 635^.80 lei 748^.00 lei

6-8 săpt.

-15%

Integration of Software Specification Techniques for Applications in Engineering

Editat de Hartmut Ehrig et al.

22 sep 2004

Preț: 338^.75 lei 423^.44 lei

6-8 săpt.

-20%

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 2: Colloquium on Software Engineering (CSE)

Lecture Notes in Computer Science, nr. 186

Editat de Hartmut Ehrig et al.

mar 1985

Preț: 410^.32 lei 512^.91 lei

6-8 săpt.

-20%

Graph and Model Transformation: General Framework and Applications

Monographs in Theoretical Computer Science. An EATCS Series

Autor Hartmut Ehrig et al.

30 dec 2015

Preț: 675^.38 lei 844^.22 lei

38-44 zile

-20%

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Monographs in Theoretical Computer Science. An EATCS Series, nr. 6

Autor Hartmut Ehrig et al.

23 noi 2011

Preț: 624^.82 lei 781^.02 lei

6-8 săpt.

-20%

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers

Lecture Notes in Computer Science, nr. 785

Editat de Hartmut Ehrig et al.

28 apr 1994

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings

Lecture Notes in Computer Science, nr. 534

Editat de Hartmut Ehrig et al.

11 sep 1991

Preț: 324^.50 lei 405^.63 lei

6-8 săpt.

-20%

Mathematisch-strukturelle Grundlagen der Informatik

Springer-Lehrbuch

Autor Hartmut Ehrig et al.

12 apr 2001

Preț: 249^.76 lei 312^.20 lei

6-8 săpt.

-20%

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Lecture Notes in Computer Science, nr. 185

Editat de Hartmut Ehrig et al.

mar 1985

Preț: 353^.76 lei 442^.20 lei

6-8 săpt.

-20%

Cărți de Hartmut Ehrig

Graph Transformation

Petri Net Technology for Communication-Based Systems

Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.

Graph Transformations in Computer Science: International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

Graph Transformations

Fundamentals of Algebraic Graph Transformation

Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings

Categorical Methods in Computer Science: With Aspects from Topology

Graph Transformation

Graph Transformations

Unifying Petri Nets

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)

Theory and Application of Graph Transformations

Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings

Graph-Grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986

Formal and Natural Computing

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings

Integration of Software Specification Techniques for Applications in Engineering

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 2: Colloquium on Software Engineering (CSE)

Graph and Model Transformation: General Framework and Applications

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers

Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings

Mathematisch-strukturelle Grundlagen der Informatik

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Papetărie, jocuri, reviste

Cărți de Hartmut Ehrig