Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1353
- Erscheinungsjahr
-
- 2
- 10
- 1
- 3
- 3
- 4
- 3
- 3
- 6
- 2
- 2
- 22
- 50
- 131
- 119
- 68
- 50
- 70
- 42
- 79
- 66
- 59
- 58
- 58
- 58
- 61
- 52
- 46
- 37
- 54
- 27
- 31
- 21
- 17
- 13
- 5
- 3
- 1
- 3
- 10
- 3
- Autoren
-
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 3
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 17
- 4
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 4
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 7
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 3
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 5
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 4
- 4
- 5
- 2
- 2
- 4
- 2
- 2
- 3
- 6
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 7
- 2
- 3
- 2
- 4
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 4
- 8
- 2
- 3
- 2
- 4
- 5
- 7
- 2
- 3
- 2
- 2
- 4
- 18
- 2
- 11
- 2
- 2
- 3
- 2
- 4
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 8
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 11
- 2
- 2
- 2
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 4
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- Verlag
-
- 1345
- 1
- 1
- 6
- Preis
-
- 11
- 1110
- 232
- Sprachen
-
- 1353
- 3
- Verfügbarkeit
-
- 1352
- 1
- Katalog
-
- 1353
- 56
-
Aagaard / Harrison Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67863-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Dony / Knudsen / Romanovsky Advanced Topics in Exception Handling Techniques
1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37443-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Basin / Wolff Theorem Proving in Higher Order Logics
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40664-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Dehne / Fiala / Koczkodaj Advances in Computing and Information - ICCI '91
International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54029-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Schneider / Brandt Theorem Proving in Higher Order Logics
20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74590-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Butz / Sigaud / Pezzulo Anticipatory Behavior in Adaptive Learning Systems
From Brains to Individual and Social Behavior1. Auflage 2007Verlag: SpringerISBN: 978-3-540-74261-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bert / Choppy / Mosses Recent Trends in Algebraic Development Techniques
14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67898-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Grundy / Newey Theorem Proving in Higher Order Logics
11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64987-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cerioli / Reggio Recent Trends in Algebraic Development Techniques
15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers2002Verlag: SpringerISBN: 978-3-540-43159-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Matsuoka / Oldehoeft / Tholburn Computing in Object-Oriented Parallel Environments
Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66818-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Schwenker / Marinai Artificial Neural Networks in Pattern Recognition
Second IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37951-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Marchiori / Moore / Rajapakse Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71782-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Comon / Marche / Treinen Constraints in Computational Logics: Theory and Applications
International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised LecturesErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41950-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kistler Disconnected Operation in a Distributed File System
1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60627-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Omicini / Petta / Pitt Engineering Societies in the Agents World IV
4th International Workshop, ESAW 2003, London, UK, October 29-31, 2003, Revised Selected and Invited Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22231-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Dearle / Eisenbach Component Deployment
Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30517-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Dauchet / Nivat CAAP '88
13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-19021-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Teillaud Towards Dynamic Randomized Algorithms in Computational Geometry
1. Auflage 1993Verlag: SpringerISBN: 978-3-540-57503-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Petta / Tolksdorf / Zambonelli Engineering Societies in the Agents World III
Third International Workshop, ESAW 2002, Madrid, Spain, September 16-17, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-14009-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Schumacher Objective Coordination in Multi-Agent System Engineering
Design and Implementation1. Auflage 2001Verlag: SpringerISBN: 978-3-540-41982-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bjørner / Broy / Pottosin Formal Methods in Programming and Their Applications
International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57316-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bouchon-Meunier / Valverde / Yager IPMU'92 - Advanced Methods in Artificial Intelligence
4th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56735-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Spaniol / Linnhoff-Popien / Meyer Trends in Distributed Systems: CORBA and Beyond
International Workshop TreDS '96 Aachen, Germany, October 1 - 2, 1996; ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61842-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kanchanasut / Levy Algorithms, Concurrency and Knowledge
1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60688-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Caferra / Salzer Automated Deduction in Classical and Non-Classical Logics
Selected Papers1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67190-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
