MPG.eBooks - Search Results

Cover Image

101

Foundations of Security Analysis and Design II : FOSAD 20012002 Tutorial Lectures

by Focardi, Riccardo
Published 2004

Springer Berlin Heidelberg

Cover Image

102

Foundations of Information and Knowledge Systems : Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings

by Seipel, Dietmar
Published 2004

Springer Berlin Heidelberg

Cover Image

103

Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

by Dershowitz, Nachum
Published 2004

Springer Berlin Heidelberg

Cover Image

104

Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

by Wirsing, Martin
Published 2004

Springer Berlin Heidelberg

Cover Image

105

Semirings for Soft Constraint Solving and Programming

by Bistarelli, Stefano
Published 2004

Springer Berlin Heidelberg

Cover Image

106

STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings

by Diekert, Volker
Published 2004

Springer Berlin Heidelberg

Cover Image

107

LATIN 2004: Theoretical Informatics : 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings

by Farach-Colton, Martin
Published 2004

Springer Berlin Heidelberg

Cover Image

108

Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

by Alur, Rajeev
Published 2004

Springer Berlin Heidelberg

Cover Image

109

Compiler Construction : 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, Mar...

by Duesterwald, Evelyn
Published 2004

Springer Berlin Heidelberg

Cover Image

110

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

by Walukiewicz, Igor
Published 2004

Springer Berlin Heidelberg

Cover Image

111

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

by Jensen, Kurt
Published 2004

Springer Berlin Heidelberg

Cover Image

112

CASL Reference Manual : The Complete Documentation of the Common Algebraic Specification Language

by Mosses, Peter D
Published 2004

Springer Berlin Heidelberg

Cover Image

113

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

by Wermelinger, Michel
Published 2004

Springer Berlin Heidelberg

Cover Image

114

Higher-Level Hardware Synthesis

by Sharp, Richard
Published 2004

Springer Berlin Heidelberg

Cover Image

115

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

by Schmidt, David
Published 2004

Springer Berlin Heidelberg

Cover Image

116

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

by Graf, Susanne
Published 2004

Springer Berlin Heidelberg

Cover Image

117

From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl

by Owe, Olaf
Published 2004

Springer Berlin Heidelberg

Cover Image

118

Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

by Boiten, Eerke
Published 2004

Springer Berlin Heidelberg

Cover Image

119

Generic Model Management : Concepts and Algorithms

by Melnik, Sergey
Published 2004

Springer Berlin Heidelberg

Cover Image

120

Objects, Agents, and Features : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers

by Ryan, Mark
Published 2004

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11