MPG.eBooks - Search Results

Cover Image

1

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

2

Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

by Alur, Rajeev
Published 2004

Springer Berlin Heidelberg

Cover Image

3

Cryptographic Hardware and Embedded Systems - CHES 2004 : 6th International Workshop Cambridge, MA, USA, August 11-13, 2004, Proceedings

by Joye, Marc
Published 2004

Springer Berlin Heidelberg

Cover Image

4

Field Programmable Logic and Application : 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings

by Becker, Jürgen
Published 2004

Springer Berlin Heidelberg

Cover Image

5

Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

by Slind, Konrad
Published 2004

Springer Berlin Heidelberg

Cover Image

6

Automata Implementation : 4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers

by Boldt, Oliver
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

7

Field Programmable Logic and Application : 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings

by Cheung, Peter YK
Published 2003

Springer Berlin Heidelberg

Cover Image

8

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

9

Field Programmable Logic and Applications : 9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings

by Lysaght, Patrick
Published 1999

Springer Berlin Heidelberg

Cover Image

10

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

by Bertot, Yves
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

11

Evolvable Systems: From Biology to Hardware : First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers

by Higuchi, Tetsuya
Published 1997

Springer Berlin Heidelberg

Cover Image

12

Field-Programmable Logic and Applications : 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings

by Brebner, Gordon
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

13

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

14

Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

by Boulton, Richard J
Published 2001

Springer Berlin Heidelberg

Cover Image

15

Evolvable Systems: From Biology to Hardware : 4th International Conference, ICES 2001 Tokyo, Japan, October 3–5, 2001 Proceedings

by Liu, Yong
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

16

Artificial Neural Networks - ICANN'97 : 7th International Conference, Lausanne, Switzerland, October 8-10, 1997, Proceedings

by Gerstner, Wulfram
Published 1997

Springer Berlin Heidelberg

Cover Image

17

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors

by Pflanz, Matthias
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

18

Embedded Processor Design Challenges : Systems, Architectures, Modeling, and Simulation — SAMOS

by Deprettere, Ed F
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

19

Theorem Proving in Higher Order Logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

by Grundy, Jim
Published 1998

Springer Berlin Heidelberg

Cover Image

20

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

1
2
3