MPG.eBooks - Search Results - "germany"

Cover Image

1

Konrad Zuse's Early Computers : The Quest for the Computer in Germany

by Rojas, Raúl
Published 2023

Springer Nature Switzerland

“... in this new book. Prof. Rojas was named Professor of the Year in Germany in 2014...”

Cover Image

2

Parallelism, Learning, Evolution : Workshop on Evolutionary Models and Strategies Neubiberg, Germany, March 10–11, 1989 Workshop on Parallel Processing: Logic, Organization, and Te...

by Becker, J.
Published 1991

Springer

Cover Image

3

Interval Mathematics : Proceedings of the International Symposium Karlsruhe, West Germany, May 20–24, 1975

by Nickel, Karl
Published 1975

Springer

Cover Image

4

Cryptography : Proceedings of the Workshop on Cryptography Burg Feuerstein, Germany, March 29–April 2, 1982

Published 1983

Springer

Cover Image

5

Parallelization in Inference Systems : International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings

by Fronhöfer, B.
Published 1992

Springer

Cover Image

6

Logics in AI : European Workshop JELIA'92 Berlin, Germany, September 7–10, 1992 Proceedings

by Pearce, D.
Published 1992

Springer

Cover Image

7

Nonclassical Logics and Information Processing : International Workshop Berlin, Germany, November 9–10, 1990 Proceedings

by Pearce, David
Published 1992

Springer

Cover Image

8

Programming Methodology : 4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974

by Hackl, Clemens
Published 1975

Springer

Cover Image

9

Partial Evaluation : International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers

by Danvy, Olivier
Published 1996

Springer

Cover Image

10

Nonmonotonic and Inductive Logic : 1st International Workshop Karlsruhe, Germany, December 4–7, 1990 Proceedings

by Dix, J.
Published 1991

Springer

Cover Image

11

Text Understanding in LILOG : Integrating Computational Linguistics and Artificial Intelligence Final Report on the IBM Germany LILOG-Project

by Herzog, Otthein
Published 1991

Springer

Cover Image

12

Operating Systems of the 90s and Beyond : International Workshop Dagstuhl Castle, Germany, July 8–12 1991 Proceedings

by Karshmer, Arthur
Published 1991

Springer

Cover Image

13

ESOP 86 : European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings

by Robinet, Bernard
Published 1986

Springer

Cover Image

14

Static Analysis : Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings

by Cousot, Radhia
Published 1996

Springer

Cover Image

15

Graph Drawing : Symposium on Graph Drawing, GD '95 Passau, Germany, September 20–22, 1995 Proceedings

by Brandenburg, Franz
Published 1996

Springer

Cover Image

16

Constraint Databases and Application : ESPRIT WG CONTESSA Workshop Friedrichshafen, Germany, September 8#9, 1995 Proceedings

by Kuper, Gabriel
Published 1996

Springer

Cover Image

17

Processing Declarative Knowledge : International Workshop PDK '91 Kaiserslautern, Germany, July 1–3, 1991 Proceedings

by Boley, Harold
Published 1991

Springer

Cover Image

18

Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

by Gabbay, Dov
Published 1994

Springer

Cover Image

19

Contemporary Knowledge Engineering and Cognition : First Joint Workshop Kaiserslautern, Germany, February 21–22, 1991 Proceedings

by Schmalhofer, Franz
Published 1992

Springer

Cover Image

20

Graph Transformations in Computer Science : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings

by Ehrig, Hartmut
Published 1994

Springer

1
2
3
4
5
6
7
8
9
10
11