Suchergebnisse für "August, John"

Arlo Finch im Tal des Feuers

Arlo Finch 1

August, John

Arena Verlag

Theorem Proving in Higher Order Logics

13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18,2000 Proceedings, Lecture Notes in Computer Science 1869

Mark Aagaard/John Harrison

Springer Verlag GmbH

Exploring New Frontiers of Theoretical Informatics

IFIP Advances in Information and Communication Technology 155, IFIP Advances in Information and Communication Technology 155

Jean-Jacques Lévy/Ernst W Mayr/John C Mitchell

Springer Verlag GmbH

SPIN Model Checking and Software Verification

7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1,2000 Proceedings, Lecture Notes in Computer Science 1885

Klaus Havelund/John Penix/Willem Visser

Springer Verlag GmbH

Applications of Multi-Agent Systems

6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94, Odense, Denmark, August 1994 Proceedings., Lecture Notes in Computer Science 1069 - Lecture Notes in Artificial Intelligence

John Perram/Jean-Pierre Müller

Springer Verlag GmbH

Logic Program Synthesis and Transformation

6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30,1996, Proceedings, Lecture Notes in Computer Science 1207

John Gallagher

Springer Verlag GmbH

History of Nordic Computing 2

Second IFIP WG 9.7 Conference, HiNC 2, Turku, Finland, August 21-23,2007, Revised Selected Papers, IFIP Advances in Information and Communication Technology 303

John Impagliazzo/Timo Järvi/Petri Paju

Springer Verlag GmbH

History of Computing in Education

IFIP Advances in Information and Communication Technology 145, IFIP Advances in Information and Communication Technology 145

J A N Lee/John Impagliazzo

Springer Verlag GmbH

Conceptual Structures: Current Practices

Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16 - 20,1994.Proceedings, Lecture Notes in Computer Science 835 - Lecture Notes in Artificial Intelligence

William M Tepfenhart/Judith P Dick/John F Sowa

Springer Verlag GmbH

Integrating Symbolic Mathematical Computation and Artificial Intelligence

Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5,1994.Selected Papers, Lecture Notes in Computer Science 958

Jacques Calmet/John A Campbell

Springer Verlag GmbH

The Next Generation of Information Systems: From Data to Knowledge

A Selection of Papers Presented at Two IJCAI-91 Workshops, Sydney, Australia, August 26,1991, Lecture Notes in Computer Science 611 - Lecture Notes in Artificial Intelligence

Michael P Papazoglou/John Zeleznikow

Springer Verlag GmbH

Artificial Intelligence and Symbolic Mathematical Computing

International Conference AISMC-1, Karlsruhe, Germany, August 3-6,1992.Proceedings, Lecture Notes in Computer Science 737

Jacques Calmet/John A Campbell

Springer Verlag GmbH

Conceptual Graphs for Knowledge Representation

First International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7,1993.Proceedings, Lecture Notes in Computer Science 699 - Lecture Notes in Artificial Intelligence

Guy W Mineau/Bernard Moulin/John F Sowa

Springer Verlag GmbH

Functional Programming Languages and Computer Architecture

5th ACM Conference.Cambridge, MA, USA, August 26-30,1991 Proceedings, Lecture Notes in Computer Science 523

John Hughes

Springer Verlag GmbH

Advances in Spatial Databases

4th International Symposium SSD '95, Portland, ME, USA, August 6 - 9,1995.Proceedings, Lecture Notes in Computer Science 951

Max J Egenhofer/John R Herring

Springer Verlag GmbH

Information Security and Assurance

International Conference, ISA 2011, Brno, Czech Republic, August 15-17,2011, Proceedings, Communications in Computer and Information Science 200

Tai-Hoon Kim/Hojjat Adeli/Rosslin John Robles et al

Springer Verlag GmbH

Arlo Finch - Im Königreich der Schatten

Arlo Finch 3

August, John

Arena Verlag

Arlo Finch - Im Bann des Mondsees

Arlo Finch 2

August, John

Arena Verlag

Auguste Comte and Positivism

Mill, John S

TREDITION CLASSICS

Photoacoustic and Photothermal Phenomena II

Proceedings of the 6th International Topical Meeting, Baltimore, Maryland, July 31-August 3,1989, Springer Series in Optical Sciences 62

John C Murphy/Jane W Maclachlan Spicer/Leonard C Aamodt et al

Springer Verlag GmbH