MPG.eBooks - Search Results

Cover Image

81

Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers

by Johnson, Chris
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

82

Automata Implementation : 4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers

by Boldt, Oliver
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

83

Principles and Practice of Constraint Programming — CP 2001 : 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

by Walsh, Toby
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

84

Foundations of Security Analysis and Design : Tutorial Lectures

by Focardi, Riccardo
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

85

Logic Programming : 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

by Codognet, Philippe
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

86

Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

by Nieuwenhuis, Robert
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

87

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference Bangalore, India, December 13–15, 2001 Proceedings

by Hariharan, Ramesh
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

88

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

by Bjørner, Dines
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

89

Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

by Hu, Alan J
Published 1998

Springer Berlin Heidelberg

Cover Image

90

Automated Deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

by Kirchner, Claude
Published 1998

Springer Berlin Heidelberg

Cover Image

91

Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers

by Cerioli, Maura
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

92

Modular Specification and Verification of Object-Oriented Programs

by Müller, Peter
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

93

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg

by Brauer, Wilfried
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

94

Foundations of Information and Knowledge Systems : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings

by Eiter, Thomas
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

95

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

by Degano, Pierpaolo
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

96

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

by Gordon, Andrew D
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

97

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

by Garavel, Hubert
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

98

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

by Pezzè, Mauro
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

99

Compiler Construction : 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7...

by Hedin, Görel
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

100

Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings

by Maler, Oded
Published 2003

Springer-Verlag Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11