MPG.eBooks - Search Results

Cover Image

141

Computer Performance Evaluation: Modelling Techniques and Tools : 12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings

by Field, Tony
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

142

Computer Performance Evaluations. Modelling Techniques and Tools : 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings

by Kemper, Peter
Published 2003

Springer Berlin Heidelberg

Cover Image

143

Information Networking : Networking Technologies for Enhanced Internet Services, International Conference, ICOIN 2003, Cheju Island, Korea, February 12-14, 2003, Revised Selected P...

by Kahng, Hyun-Kook
Published 2003

Springer Berlin Heidelberg

Cover Image

144

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

by Araki, Keijiro
Published 2003

Springer Berlin Heidelberg

Cover Image

145

Cryptographic Hardware and Embedded Systems -- CHES 2003 : 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings

by Walter, Colin D
Published 2003

Springer Berlin Heidelberg

Cover Image

146

Object-Oriented Information Systems : 9th International Conference, OOIS 2003, Geneva, Switzerland, September 2-5, 2003, Proceedings

by Konstantas, Dimitri
Published 2003

Springer Berlin Heidelberg

Cover Image

147

Coordination Languages and Models : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11–13, 2000 Proceedings

by Porto, António
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

148

Trends in Distributed Systems: Towards a Universal Service Market : Third International IFIPGI Working Conference, USM 2000 Munich, Germany, September 12-14, 2000 Proceedings

by Linnhoff-Popien, Claudia
Published 2000

Springer Berlin Heidelberg

Cover Image

149

SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

by Havelund, Klaus
Published 2000

Springer Berlin Heidelberg

Cover Image

150

Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings

by Joseph, Mathai
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

151

Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers

by Jazayeri, Mehdi
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

152

Handheld and Ubiquitous Computing : Second International Symposium, HUC 2000 Bristol, UK, September 25–27, 2000 Proceedings

by Thomas, Peter
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

153

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

by Carreño, Victor A
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

154

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

155

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

by Billington, Jonathan
Published 1999

Springer Berlin Heidelberg

Cover Image

156

Cooperative Buildings. Integrating Information, Organizations, and Architecture : Second International Workshop, CoBuild'99, Pittsburgh, PA, USA, October 1-2, 1999, Proceedings

by Streitz, Norbert
Published 1999

Springer Berlin Heidelberg

Cover Image

157

Software Configuration Management : ICSE'97 SCM-7 Workshop, Boston, MA, USA, May 18-19, 1997 Proceedings

by Conradi, Reidar
Published 1997

Springer Berlin Heidelberg

Cover Image

158

ECOOP '97 - Object-Oriented Programming : 11th European Conference, Jyväskylä, Finland, June 9 - 13, 1997, Proceedings

by Aksit, Mehmed
Published 1997

Springer Berlin Heidelberg

Cover Image

159

Advanced Information Systems Engineering : 9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings

by Olive, Antoni
Published 1997

Springer Berlin Heidelberg

Cover Image

160

Reliable Software Technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings

by Hardy, Keith
Published 1997

Springer Berlin Heidelberg

3
4
5
6
7
8
9
10
11
12
13