MPG.eBooks - Search Results

Cover Image

101

Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

by Roever, Willem-Paul
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

102

Abstract Compositional Analysis of Iterated Relations : A Structural Approach to Complex State Transition Systems

by Geurts, Frédéric
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

103

Interacting Code Motion Transformations: Their Impact and Their Complexity

by Rüthing, Oliver
Published 1998

Springer Berlin Heidelberg

Cover Image

104

Software Process: Principles, Methodology, and Technology

by Derniame, Jean-Claude
Published 1999

Springer Berlin Heidelberg

Cover Image

105

Practical Aspects of Declarative Languages : First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings

by Gupta, Gopal
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

106

Hybrid Systems V

by Antsaklis, Panos
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

107

Wavelet Analysis and Its Applications : Second International Conference, WAA 2001 Hong Kong, China, December 18–20, 2001 Proceedings

by Tang, Yuan Y
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

108

Consolidated Ada Reference Manual. Language and Standard Libraries : International Standard ISOIEC 86521995(E) with Technical Corrigendum 1

by Taft, Tucker S
Published 2001

Springer Berlin Heidelberg

Cover Image

109

Large-Scale Scientific Computing : Third International Conference, LSSC 2001 Sozopol, Bulgaria, June 6–10, 2001 Revised Papers

by Margenov, Svetozar
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

110

Engineering for Human-Computer Interaction : 8th IFIP International Conference, EHCI 2001 Toronto, Canada, May 11–13, 2001 Revised Papers

by Little, Murray Reed
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

111

Transactional Agents : Towards a Robust Multi-Agent System

by Nagi, Khaled
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

112

Unifying Petri Nets : Advances in Petri Nets

by Ehrig, Hartmut
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

113

High-Performance Computing and Networking : 7th International Conference, HPCN Europe 1999, Amsterdam, The Netherlands, April 12-14, 1999, Proceedings

by Sloot, Peter
Published 1999

Springer Berlin Heidelberg

Cover Image

114

Parallel and Distributed Processing : 11 IPPSSPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Dist...

by Rolim, Jose
Published 1999

Springer Berlin Heidelberg

Cover Image

115

Coordinatio Languages and Models : Third International Conference COORDINATION’99 Amsterdam, The Netherlands, April 26–28, 1999 Proceedings

by Ciancarini, Paolo
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

116

Application of Petri Nets to Communication Networks : Advances in Petri Nets

by Billington, Jonathan
Published 1999

Springer Berlin Heidelberg

Cover Image

117

High Performance Computing : Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings

by Polychronopoulos, Constantine
Published 1999

Springer Berlin Heidelberg

Cover Image

118

Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

by Katoen, Joost-Pieter
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

119

Reliable Software Technologies -- Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings

by Rosen, Jean-Pierre
Published 2003

Springer Berlin Heidelberg

Cover Image

120

Communication in Multiagent Systems : Agent Communication Languages and Conversation Policies

by Huget, Marc-Phillipe
Published 2003

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11