MPG.eBooks - Search Results

Cover Image

61

High Performance Computing - HiPC 2002 : 9th International Conference Bangalore, India, December 18-21, 2002, Proceedings

Published 2002

Springer Berlin Heidelberg

Cover Image

62

Randomness and Completeness in Computational Complexity

by Melkebeek, Dieter van
Published 2000

Springer Berlin Heidelberg

Cover Image

63

Protocols and Systems for Interactive Distributed Multimedia : Joint International Workshops on Interactive Distributed Multimedia Systems and Protocols for Multimedia Systems, IDM...

Published 2002

Springer Berlin Heidelberg

Cover Image

64

Conceptual Modeling for E-Business and the Web : ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and the World Wide Web and Conceptual Modeling, Salt Lake City,...

Published 2000

Springer Berlin Heidelberg

Cover Image

65

Developments in Language Theory : 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers

Published 2002

Springer Berlin Heidelberg

Cover Image

66

Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings

Published 2002

Springer Berlin Heidelberg

Cover Image

67

Programming Languages and Systems : 8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amst...

Published 1999

Springer Berlin Heidelberg

Cover Image

68

Parallel Computing Technologies : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings

Published 2001

Springer Berlin Heidelberg

Cover Image

69

Languages, Compilers, and Tools for Embedded Systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings

Published 2001

Springer Berlin Heidelberg

Cover Image

70

Types in Compilation : Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers

Published 2001

Springer Berlin Heidelberg

Cover Image

71

Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Cover Image

72

ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Cover Image

73

ECOOP 2001 - Object-Oriented Programming : 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings

by Lindskov Knudsen, Jorgen
Published 2001

Springer Berlin Heidelberg

Cover Image

74

Advances in Exception Handling Techniques

Published 2001

Springer Berlin Heidelberg

Cover Image

75

Algorithms - ESA 2002 : 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings

Published 2002

Springer Berlin Heidelberg

Cover Image

76

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...

Published 2001

Springer Berlin Heidelberg

Cover Image

77

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

Published 2001

Springer Berlin Heidelberg

Cover Image

78

Software Visualization : International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised Lectures

Published 2002

Springer Berlin Heidelberg

Cover Image

79

Concurrency and Hardware Design : Advances in Petri Nets

Published 2002

Springer Berlin Heidelberg

Cover Image

80

Languages and Compilers for Parallel Computing : 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers

Published 2001

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11