MPG.eBooks - Author Search Results

Cover Image

1

Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

by Goos, Gerhard
Published 1996

Springer

Cover Image

2

Information Security : Third International Workshop, ISW 2000 Wollongong, Australia, December 20–21, 2000 Proceedings

by Goos, Gerhard
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

3

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

4

Advances in Cryptology — CRYPTO’ 99 : 19th Annual International Cryptology Conference Santa Barbara, California, USA, August 15–19, 1999 Proceedings

by Goos, Gerhard
Published 1999

Springer Berlin Heidelberg

Cover Image

5

Vorlesungen über Informatik : Berechenbarkeit, formale Sprachen, Spezifikationen

by Goos, Gerhard
Published 1997

Springer Berlin Heidelberg

Cover Image

6

Vorlesungen über Informatik : Paralleles Rechnen und nicht-analytische Lösungsverfahren

by Goos, Gerhard
Published 1998

Springer Berlin Heidelberg

Cover Image

7

Vorlesungen über Informatik : Objektorientiertes Programmieren und Algorithmen

by Goos, Gerhard
Published 2001

Springer Berlin Heidelberg

Cover Image

8

Vorlesungen über Informatik : Band 1: Grundlagen und funktionales Programmieren

by Goos, Gerhard
Published 1997

Springer Berlin Heidelberg

Cover Image

9

Vorlesungen über Informatik : Band 2: Objektorientiertes Programmieren und Algorithmen

by Goos, Gerhard
Published 1996

Springer Berlin Heidelberg

Cover Image

10

Vorlesungen über Informatik : Band 1: Grundlagen und funktionales Programmieren

by Goos, Gerhard
Published 1995

Springer Berlin Heidelberg

Cover Image

11

Vorlesungen über Informatik : Band 2: Objektorientiertes Programmieren und Algorithmen

by Goos, Gerhard
Published 1999

Springer Berlin Heidelberg

Cover Image

12

Vorlesungen über Informatik : Band 1: Grundlagen und funktionales Programmieren

by Goos, Gerhard
Published 2000

Springer Berlin Heidelberg

Cover Image

13

Algorithms and Computation : 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings

by Goos, Gerhard
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

14

Fast Software Encryption : 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

by Goos, Gerhard
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

15

The World Wide Web and Databases : Third International Workshop WebDB 2000 Dallas, TX, USA, May 18–19,2000 Selected Papers

by Goos, Gerhard
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

16

Object-Oriented Technology : ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings

by Goos, Gerhard
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

17

Graph-Theoretic Concepts in Computer Science : 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers

by Goos, Gerhard
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

18

Vorlesungen über Informatik : Band 1: Grundlagen und funktionales Programmieren

by Goos, Gerhard, Zimmermann, Wolf
Published 2006

Springer Berlin Heidelberg

Cover Image

19

Vorlesungen über Informatik : Band 2: Objektorientiertes Programmieren und Algorithmen

by Goos, Gerhard, Zimmermann, Wolf
Published 2006

Springer Berlin Heidelberg

Cover Image

20

Compiler Construction

by Waite, William M., Goos, Gerhard
Published 1984

Springer New York

1
2