MPG.eBooks - Search Results

Cover Image

1

Models of Computation

by Bruni, Roberto, Montanari, Ugo
Published 2017

Springer International Publishing

Cover Image

2

Algebra and Coalgebra in Computer Science : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Cover Image

3

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

Published 2005

Springer Berlin Heidelberg

Cover Image

4

Graph Transformations : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Cover Image

5

Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Published 2009

Springer Berlin Heidelberg

Cover Image

6

CONCUR '96: Concurrency Theory : 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings

by Montanari, Ugo
Published 1996

Springer

Cover Image

7

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

by Ehrig, Hartmut
Published 1987

Springer

Cover Image

8

International Symposium on Programming : 5th Colloquium Turin, April 6–8, 1982 Proceedings

by Dezani-Ciancaglini, Mariangiola
Published 1982

Springer

Cover Image

9

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

Published 1987

Springer Berlin Heidelberg

Cover Image

10

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 o...

Published 1987

Springer Berlin Heidelberg

Cover Image

11

Automata, Languages and Programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings

by Montanari, Ugo
Published 2000

Springer Berlin Heidelberg

Cover Image

12

Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Cover Image

13

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

by Ehrig, Hartmut
Published 1987

Springer

Cover Image

14

System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings

by Habermann, A.
Published 1987

Springer

Cover Image

15

Principles and Practice of Constraint Programming — CP '95 : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings

by Montanari, Ugo
Published 1995

Springer

Cover Image

16

Trustworthy Global Computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Published 2007

Springer Berlin Heidelberg

Cover Image

17

Foundations of Information Technology in the Era of Network and Mobile Computing : IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical...

Published 2002

Springer US

Cover Image

18

CONCUR '96: Concurrency Theory : 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings

Published 1996

Springer Berlin Heidelberg

Cover Image

19

Automata, Languages and Programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Cover Image

20

System Development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings

Published 1987

Springer Berlin Heidelberg