MPG.eBooks - Search Results

Cover Image

201

Mobile and Ubiquitous Information Access : Mobile HCI 2003 International Workshop, Udine, Italy, September 8, 2003, Revised and Invited Papers

by Crestani, Fabio
Published 2004

Springer Berlin Heidelberg

Cover Image

202

Scientific Engineering of Distributed Java Applications. : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers

by Guelfi, Nicoals
Published 2004

Springer Berlin Heidelberg

Cover Image

203

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

204

Semirings for Soft Constraint Solving and Programming

by Bistarelli, Stefano
Published 2004

Springer Berlin Heidelberg

Cover Image

205

Software Engineering for Multi-Agent Systems II : Research Issues and Practical Applications

by Lucena, Carlos
Published 2004

Springer Berlin Heidelberg

Cover Image

206

Testing of Communicating Systems : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings

by Groz, Roland
Published 2004

Springer Berlin Heidelberg

Cover Image

207

Organic and Pervasive Computing -- ARCS 2004 : International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004, Proceedings

by Müller-Schloer, Christian
Published 2004

Springer Berlin Heidelberg

Cover Image

208

Active Networks : IFIP TC6 5th International Workshop, IWAN 2003, Kyoto, Japan, December 10-12, 2003, Revised Papers

by Wakamiya, Naoki
Published 2004

Springer Berlin Heidelberg

Cover Image

209

Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

by Alur, Rajeev
Published 2004

Springer Berlin Heidelberg

Cover Image

210

Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers

by Alt, René
Published 2004

Springer Berlin Heidelberg

Cover Image

211

Compiler Construction : 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, Mar...

by Duesterwald, Evelyn
Published 2004

Springer Berlin Heidelberg

Cover Image

212

Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of So...

by Walukiewicz, Igor
Published 2004

Springer Berlin Heidelberg

Cover Image

213

Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice...

by Jensen, Kurt
Published 2004

Springer Berlin Heidelberg

Cover Image

214

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

by Owe, Olaf
Published 2004

Springer Berlin Heidelberg

Cover Image

215

Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

by Boiten, Eerke
Published 2004

Springer Berlin Heidelberg

Cover Image

216

Product Focused Software Process Improvement : 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004, Proceedings

by Bomarius, Frank
Published 2004

Springer Berlin Heidelberg

Cover Image

217

Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

by Larsen, Kim G
Published 2004

Springer Berlin Heidelberg

Cover Image

218

Pervasive Computing : Second International Conference, PERVASIVE 2004, Vienna Austria, April 21-23, 2004, Proceedings

by Ferscha, Alois
Published 2004

Springer Berlin Heidelberg

Cover Image

219

COTS-Based Software Systems : Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings

by Kazman, Rick
Published 2004

Springer Berlin Heidelberg

Cover Image

220

Software Product-Family Engineering : 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers

by Linden, Frank van der
Published 2004

Springer Berlin Heidelberg

6
7
8
9
10
11
12
13
14
15
16