MPG.eBooks - Search Results

Cover Image

41

Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

by Berardi, Stefano
Published 2004

Springer Berlin Heidelberg

Cover Image

42

Lectures on Concurrency and Petri Nets : Advances in Petri Nets

by Desel, Jörg
Published 2004

Springer Berlin Heidelberg

Cover Image

43

Validation of Stochastic Systems : A Guide to Current Research

by Baier, Christel
Published 2004

Springer Berlin Heidelberg

Cover Image

44

Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

by Kozen, Dexter
Published 2004

Springer Berlin Heidelberg

Cover Image

45

Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

by Rattray, Charles
Published 2004

Springer Berlin Heidelberg

Cover Image

46

Theory Is Forever : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday

by Karhumäki, Juhani
Published 2004

Springer Berlin Heidelberg

Cover Image

47

Object-Oriented Technology. ECOOP 2003 Workshop Reader : ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports

by Buschmann, Frank
Published 2004

Springer Berlin Heidelberg

Cover Image

48

Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001...

by Sands, David
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

49

Fundamental Approaches to Software Engineering : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

by Hussmann, Heinrich
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

50

Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Sof...

by Honsell, Furio
Published 2001

Springer Berlin Heidelberg

Cover Image

51

Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice o...

by Margaria, Tiziana
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

52

Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

by Benedetto, Maria Domenica
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

53

Implementation of Functional Languages : 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers

by Mohnen, Markus
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

54

Concurrent Object-Oriented Programming and Petri Nets : Advances in Petri Nets

by Agha, Gul A
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

55

Natural Language Processing and Information Systems : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000 Versailles, France, June 28...

by Bouzeghoub, Mokrane
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

56

High-Level Parallel Programming Models and Supportive Environments : 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings

by Mueller, Frank
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

57

Compiler Optimizations for Scalable Parallel Systems : Languages, Compilation Techniques, and Run Time Systems

by Pande, Santosh
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

58

Constraints in Computational Logics. Theory and Applications : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures

by Comon, Hubert
Published 2001

Springer Berlin Heidelberg

Cover Image

59

Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

by Abramsky, Samson
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

60

Programs as Data Objects : Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings

by Danvy, Olivier
Published 2001

Springer-Verlag Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11