MPG.eBooks - Search Results

Cover Image

1

Plan-Based Control of Robotic Agents : Improving the Capabilities of Autonomous Robots

by Beetz, Michael
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

2

Self-Adaptive Software : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers

by Laddaga, Robert
Published 2003

Springer Berlin Heidelberg

Cover Image

3

Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings

by Anderson, Stuart
Published 2003

Springer Berlin Heidelberg

Cover Image

4

Software and Compilers for Embedded Systems : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings

by Krall, Andreas
Published 2003

Springer Berlin Heidelberg

Cover Image

5

Information Security : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings

by Boyd, Colin
Published 2003

Springer Berlin Heidelberg

Cover Image

6

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

7

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

8

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

9

Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003 : Joint International Conference ICANNICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings

by Kaynak, Okyay
Published 2003

Springer Berlin Heidelberg

Cover Image

10

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

11

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

12

Reliable Software Technologies - Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceeding...

by Llamosi, Albert
Published 2004

Springer Berlin Heidelberg

Cover Image

13

Computer Safety, Reliability and Security : 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings

by Anderson, Stuart
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

14

Embedded Software : Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

by Sangiovanni-Vincentelli, Alberto
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

15

Cryptographic Hardware and Embedded Systems — CHES 2001 : Third International Workshop Paris, France, May 14–16, 2001 Proceedings

by Koç, Çetin K
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

16

Reliable Software Technologies - Ada-Europe '98 : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings

by Asplund, Lars
Published 1998

Springer Berlin Heidelberg

Cover Image

17

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

18

Computer Aided Systems Theory - EUROCAST'99 : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2,...

by Pichler, Franz
Published 2000

Springer Berlin Heidelberg

Cover Image

19

Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996

by Rozenberg, Grzegorz
Published 1998

Springer Berlin Heidelberg

Cover Image

20

Hybrid Systems V

by Antsaklis, Panos
Published 1999

Springer-Verlag Berlin Heidelberg

1
2
3
4
5
6