MPG.eBooks - Search Results

Cover Image

61

Recent Advances in Parallel Virtual Machine and Message Passing Interface : 10th European PVMMPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings

by Dongarra, Jack
Published 2003

Springer Berlin Heidelberg

Cover Image

62

Generic Programming : Advanced Lectures

by Backhouse, Roland
Published 2003

Springer Berlin Heidelberg

Cover Image

63

Principles and Practice of Constraint Programming - CP 2003 : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings

by Rossi, Francesca
Published 2003

Springer Berlin Heidelberg

Cover Image

64

Embedded Software : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings

by Alur, Rajeev
Published 2003

Springer Berlin Heidelberg

Cover Image

65

Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

by Dong, Jin Song
Published 2003

Springer Berlin Heidelberg

Cover Image

66

Global Optimization and Constraint Satisfaction : First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, Fr...

by Bliek, Christian
Published 2003

Springer Berlin Heidelberg

Cover Image

67

Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

by Najm, Elie
Published 2003

Springer Berlin Heidelberg

Cover Image

68

Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNUIIST, the International Institute for Software Technology of The United N...

by Aichernig, Bernhard K
Published 2003

Springer Berlin Heidelberg

Cover Image

69

Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings

by Ohori, Atsushi
Published 2003

Springer Berlin Heidelberg

Cover Image

70

Global Computing. Programming Environments, Languages, Security, and Analysis of Systems : ISTFET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Pap...

by Priami, Corrado
Published 2003

Springer Berlin Heidelberg

Cover Image

71

Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceed...

by Saraswat, Vijay A
Published 2003

Springer Berlin Heidelberg

Cover Image

72

Logic Programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings

by Palamidessi, Catuscia
Published 2003

Springer Berlin Heidelberg

Cover Image

73

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science : 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings

by Pandya, Paritosh K
Published 2003

Springer Berlin Heidelberg

Cover Image

74

Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

by Broy, Manfred
Published 2003

Springer Berlin Heidelberg

Cover Image

75

Agent-Oriented Software Engineering IV : 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers

by Giorgini, Paolo
Published 2004

Springer Berlin Heidelberg

Cover Image

76

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

77

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

by Focardi, Riccardo
Published 2004

Springer Berlin Heidelberg

Cover Image

78

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

79

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

80

Semirings for Soft Constraint Solving and Programming

by Bistarelli, Stefano
Published 2004

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11