MPG.eBooks - Search Results

Cover Image

1

Virtual Storytelling; Using Virtual Reality Technologies for Storytelling : Second International Conference, ICVS 2003, Toulouse, France, November 20-21, 2003, Proceedings

by Balet, Olivier
Published 2003

Springer Berlin Heidelberg

Cover Image

2

Wireless Sensor Networks : First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings

by Karl, Holger
Published 2004

Springer Berlin Heidelberg

Cover Image

3

Information Security Applications : 4th International Workshop, WISA 2003, Jeju Island, Korea, August 25-27, 2003, Revised Papers

by Chae, Kijoon
Published 2004

Springer Berlin Heidelberg

Cover Image

4

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

5

Mobile Data Management : Second International Conference, MDM 2001 Hong Kong, China, January 8–10, 2001 Proceedings

by Tan, Kian-Lee
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

6

Cryptographic Hardware and Embedded Systems — CHES 2000 : Second International Workshop Worcester, MA, USA, August 17–18, 2000 Proceedings

by Goos, Gerhard
Published 2000

Springer Berlin Heidelberg

Cover Image

7

Self-Adaptive Software : First International Workshop, IWSAS 2000 Oxford, UK, April 17–19, 2000 Revised Papers

by Robertson, Paul
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

8

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

by Davidson, Jack
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

9

Reliable SoftwareTechnologies — Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14–18, 2001 Proceedings

by Craeynest, Dirk
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

10

Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

by Berry, Gérard
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

11

Virtual Storytelling Using Virtual Reality Technologies for Storytelling : International Conference ICVS 2001 Avignon, France, September 27–28, 2001 Proceedings

by Balet, Olivier
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

12

Embedded Software : First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

by Henzinger, Thomas A
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

13

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

14

Software Frameworks and Embedded Control Systems

by Pasetti, Alessandro
Published 2002

Springer Berlin Heidelberg

Cover Image

15

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

16

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

17

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

18

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

19

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

Cover Image

20

Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings

by Grumberg, Orna
Published 1997

Springer Berlin Heidelberg

1
2
3
4
5
6