Ergebnisse filtern
- Fachgebiet
- Medium
-
- 990
- Erscheinungsjahr
-
- 7
- 56
- 98
- 5
- 1
- 3
- 10
- 4
- 9
- 3
- 13
- 15
- 13
- 20
- 22
- 2
- 17
- 38
- 111
- 100
- 41
- 6
- 32
- 7
- 13
- 6
- 6
- 42
- 37
- 41
- 46
- 34
- 33
- 20
- 24
- 16
- 17
- 9
- 7
- 3
- 1
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 5
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 24
- 1
- 7
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 5
- 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
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 24
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 75
- 2
- 2
- 3
- 2
- 2
- 11
- 2
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 2
- 4
- 6
- 2
- 2
- 3
- 24
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 76
- 7
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 76
- 3
- 76
- 2
- 2
- 2
- 76
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 5
- 9
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 24
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 76
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 6
- 5
- 5
- 2
- 3
- 2
- 5
- 5
- 2
- 5
- 5
- 3
- 2
- 2
- 5
- 2
- 4
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- Verlag
-
- 980
- 10
- Preis
-
- 13
- 728
- 249
- Sprachen
-
- 990
- 1
- Verfügbarkeit
-
- 990
- Katalog
-
- 990
- 81
-
Paulson Isabelle
A Generic Theorem Prover1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58244-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blanc-Talon / Delmas / Takahashi Advanced Concepts for Intelligent Vision Systems
22nd International Conference, ACIVS 2025, Tokyo, Japan, July 28-30, 2025, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-07342-6Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chatterjee / Kothapalli / Mittal Distributed Computing and Intelligent Technology
22nd International Conference, ICDCIT 2026, Bhubaneswar, India, January 16-19, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-16631-9Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Proietti Logic Program Synthesis and Transformation
5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-60939-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cipolla Active Visual Inference of Surface Shape
Erscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60642-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dybjer / Nordström / Smith Types for Proofs and Programs
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected PapersErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60579-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kollias / Stafylopatis / Duch Artificial Neural Networks - ICANN 2006
16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part I1. Auflage 2006Verlag: SpringerISBN: 978-3-540-38625-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Reif VLSI Algorithms and Architectures
3rd Aegean Workshop on Computing, AWOC 88. Corfu, Greece, June 28 - July 1, 1988. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-0-387-96818-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Higuchi / Iwata / Weixin Evolvable Systems: From Biology to Hardware
First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised PapersErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63173-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vosselman Relational Matching
1. Auflage 1992Verlag: SpringerISBN: 978-3-540-55798-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Antsaklis / Kohn / Nerode Hybrid Systems II
Erscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60472-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wada Logic Programming '86
Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 19861. Auflage 1987Verlag: SpringerISBN: 978-3-540-18024-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rajasekaran Bioinformatics and Computational Biology
First International Conference, BICoB 2009, New Orleans, LA, USA, April 8-10, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00726-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Carbone / Pierce DNA Computing
11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34161-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rutkowski / Korytkowski / Scherer Artificial Intelligence and Soft Computing
11th International Conference, ICAISA 2012, Zakopane, Poland, April 29 - 3 May, 2012, Proceedings, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29349-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vitek / Tschudin Mobile Object Systems Towards the Programmable Internet
Second International Workshop, MOS'96, Linz, Austria, July 8 - 9, 1996, Selected Presentations and Invited Papers1. Auflage 1997Verlag: SpringerISBN: 978-3-540-62852-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Roever / Langmaack / Pnueli Compositionality: The Significant Difference
International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised LecturesErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65493-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leeser / Brown Hardware Specification, Verification and Synthesis: Mathematical Aspects
Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-0-387-97226-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hartenstein / Servit Field-Programmable Logic: Architectures, Synthesis and Applications
4th International Workshop on Field-Programmable Logic and Applications, FPL'94, Prague, Czech Republic, September 7 - 9, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58419-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rucklidge Efficient Visual Recognition Using the Hausdorff Distance
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61993-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Joyce / Seger Higher Order Logic Theorem Proving and Its Applications
6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57826-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ponce / Hebert / Schmid Toward Category-Level Object Recognition
1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68794-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Palamidessi Logic Programming
19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20642-2Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wooldridge / Jennings Intelligent Agents
ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8 - 9, 1994. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-58855-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tao / Tan / Picard Affective Computing and Intelligent Interaction
First International Conference, ACII 2005, Beijing, China, October 22-24, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29621-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,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