MPG.eBooks - Search Results

Cover Image

141

Advances in Agent Communication : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003

by Dignum, Frank
Published 2004

Springer Berlin Heidelberg

Cover Image

142

SOFSEM 2004: Theory and Practice of Computer Science : 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004

by Van Emde Boas, Peter
Published 2004

Springer Berlin Heidelberg

Cover Image

143

Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

by Petrenko, Alexandre
Published 2004

Springer Berlin Heidelberg

Cover Image

144

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

145

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

146

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

147

Semirings for Soft Constraint Solving and Programming

by Bistarelli, Stefano
Published 2004

Springer Berlin Heidelberg

Cover Image

148

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

149

SDL 2003: System Design : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings

by Reed, Rick
Published 2003

Springer Berlin Heidelberg

Cover Image

150

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

by Baader, Franz
Published 2003

Springer Berlin Heidelberg

Cover Image

151

Implementation and Application of Automata : 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings

by Ibarra, Oscar H
Published 2003

Springer Berlin Heidelberg

Cover Image

152

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

153

Higher-Level Hardware Synthesis

by Sharp, Richard
Published 2004

Springer Berlin Heidelberg

Cover Image

154

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

155

Extreme Programming and Agile Methods - XP/Agile Universe 2003 : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings

by Maurer, Frank
Published 2003

Springer Berlin Heidelberg

Cover Image

156

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

by Owe, Olaf
Published 2004

Springer Berlin Heidelberg

Cover Image

157

Component-Based Software Engineering : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings

by Crnkovic, Ivica
Published 2004

Springer Berlin Heidelberg

Cover Image

158

Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...

by Baaz, Matthias
Published 2003

Springer Berlin Heidelberg

Cover Image

159

CONCUR 2002 — Concurrency Theory : 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings

by Brim, Luboš
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

160

Applied Semantics : International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures

by Barthe, Gilles
Published 2002

Springer-Verlag Berlin Heidelberg

3
4
5
6
7
8
9
10
11
12
13