Ergebnisse filtern
-
- 991
-
- 981
- 10
-
- 13
- 729
- 249
-
- 991
- 1
-
- 991
-
- 991
- 81
-
Augusto / Nugent Designing Smart Homes
The Role of Artificial Intelligence1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35994-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lu / Siekmann / Ullrich Cognitive Systems
Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70933-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Butz / Krüger / Olivier Smart Grapics
Third International Symposium, SG 2003, Heidelberg, Germany, July2-4, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40557-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Filliatre / Paulin-Mohring / Werner Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31428-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sserwanga / Joho / Ma Wisdom, Well-Being, Win-Win
19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-57859-5Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sserwanga / Joho / Ma Wisdom, Well-Being, Win-Win
19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part III2024Verlag: SpringerISBN: 978-3-031-57866-3Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Auvray / Duriez Haptics: Neuroscience, Devices, Modeling, and Applications
9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part IErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44192-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hao / Liu / Wang Computational Intelligence and Security
International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part I1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30818-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fülöp / Gecseg Automata, Languages and Programming
22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60084-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lynch / Krogh Hybrid Systems: Computation and Control
Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67259-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huang / Nijholt / Pantic Artifical Intelligence for Human Computing
ICMI 2006 and IJCAI 2007 International Workshops, Banff, Canada, November 3, 2006 Hyderabad, India, January 6, 2007 Revised Selceted Papers1. Auflage 2007Verlag: SpringerISBN: 978-3-540-72346-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Voronkov Logic Programming and Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56944-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Voronkov Logic Programming and Automated Reasoning
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55727-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Altenkirch / McBride Types for Proofs and Programs
International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74463-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmorrow / Reeves Foundations of Augmented Cognition
Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-73215-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miola Design and Implementation of Symbolic Computation Systems
International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52531-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sommer / Klette Robot Vision
Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78156-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ronzhin / Rigoll / Meshcheryakov Interactive Collaborative Robotics
Third International Conference, ICR 2018, Leipzig, Germany, September 18-22, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-99581-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Martínez-Trinidad / Carrasco-Ochoa / Ben-Youssef Brants Pattern Recognition
Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21586-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grünbacher / Hartenstein Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping
Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31 - September 2, 1992. Selected Papers1. Auflage 1993Verlag: SpringerISBN: 978-3-540-57091-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Duffy Digital Human Modeling
First International Conference, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73318-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Luck / Marburger Management and Processing of Complex Data Structures
Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-57802-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sadananada Agent Computing and Multi-Agent Systems
9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36707-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lee / Howard / Slezak Convergence and Hybrid Information Technology
5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24081-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vaandrager / Schuppen Hybrid Systems: Computation and Control
Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65734-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sserwanga / Joho / Ma Wisdom, Well-Being, Win-Win
19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-3-031-57849-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calmet / Plaza Artificial Intelligence and Symbolic Computation
International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64960-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barendregt / Nipkow Types for Proofs and Programs
International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected PapersErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58085-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mazzeo / Spagnolo / Moeslund Activity Monitoring by Multiple Distributed Sensing
Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13322-5Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffens Machine Translation and the Lexicon
Third International EAMT Workshop, Heidelberg, Germany, April 26-28, 1993. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-59040-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Maler Hybrid and Real-Time Systems
Erscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62600-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pfeiffer / Nagle Conceptual Structures: Theory and Implementation
7th Annual Workshop, Las Cruces, NM, USA, July 8-10, 1992. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-57454-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Philips / Popescu / Scheunders Advanced Concepts for Intelligent Vision Systems
9th International Conference, ACIVS 2007, Delft, The Netherlands, August 28-31, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74606-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fong / Kwan / Wang Hybrid Learning and Education
First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85169-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beliczynski / Dzielinski / Iwanowski Adaptive and Natural Computing Algorithms
8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part IErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71589-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mendelson / Smola Advanced Lectures on Machine Learning
Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00529-2Medium: Buch48,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Butz / Fisher / Krüger Smart Graphics
6th International Symposium, SG 2006, Vancover, Canada, July 23-25, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36293-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kamel / Campilho Image Analysis and Recognition
4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74258-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Esposito / Ras / Malerba Foundations of Intelligent Systems
16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45764-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Antsaklis / Kohn / Nerode Hybrid Systems II
Erscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60472-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 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 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 Werktage -
Cipolla Active Visual Inference of Surface Shape
Erscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60642-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmalhofer / Strube / Wetter Contemporary Knowledge Engineering and Cognition
First Joint Workshop, Kaiserslautern, Germany, February 21-22,1991. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55711-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Kort / IJsselsteijn / Midden Persuasive Technology
Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007. Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77005-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cheok / Levy Love and Sex with Robots
Third International Conference, LSR 2017, London, UK, December 19-20, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-76368-2Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calmet / Campbell Integrating Symbolic Mathematical Computation and Artificial Intelligence
Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60156-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 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 Werktage -
Blanc-Talon / Delmas / Philips Advanced Concepts for Intelligent Vision Systems
21st International Conference, ACIVS 2023 Kumamoto, Japan, August 21-23, 2023 Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-45381-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 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 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 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 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 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 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 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 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 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 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 Werktage -
Vosselman Relational Matching
1. Auflage 1992Verlag: SpringerISBN: 978-3-540-55798-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Günther Efficient Structures for Geometric Data Management
1. Auflage 1988Verlag: SpringerISBN: 978-3-540-50463-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schettini / Trémeau / Tominaga Computational Color Imaging
8th International Workshop, CCIW 2024, Milan, Italy, September 25-27, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-72844-0Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage -
Ishikawa / Doya / Miyamoto Neural Information Processing
14th International Confernce, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part IErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69154-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Banzhaf / Eckman Evolution and Biocomputation
Computational Models of Evolution1. Auflage 1995Verlag: SpringerISBN: 978-3-540-59046-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Andreasen / Christiansen / Larsen Flexible Query Answering Systems
Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65082-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sottilare / Schwarz Adaptive Instructional Systems
7th International Conference, AIS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-92966-3Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sottilare / Schwarz Adaptive Instructional Systems
7th International Conference, AIS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-92969-4Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 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 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 Werktage -
Renals / Grefenstette Text- and Speech-Triggered Information Access
8th ELSNET Summer School, Chios Island, Greece, July 15-30, 2000, Revised Lectures1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40635-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Giles / Gori Adaptive Processing of Sequences and Data Structures
International Summer School on Neural Networks, "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997, Tutorial LecturesErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64341-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Meng / Yung / Shao Attacks and Defenses for the Internet-of-Things
7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-85592-4Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Panayiotopoulos / Gratch / Aylett Intelligent Virtual Agents
5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28738-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Boral / Faudemay Database Machines
Sixth International Workshop, IWDM '89, Deauville, France, June 19-21, 1989. ProceedingsErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51324-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Koskimies Compiler Construction
7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64304-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Paliouras / Vounckx / Verkest Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29013-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Asperti / Buchberger / Davenport Mathematical Knowledge Management
Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 20031. Auflage 2003Verlag: SpringerISBN: 978-3-540-00568-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Boissonnat / Laumond Geometry and Robotics
Workshop, Toulouse, France, May 26-28, 1988. ProceedingsErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51683-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gratch / Young / Aylett Intelligent Virtual Agents
6th International Conference, IVA 2006, Marina Del Rey, CA; USA, August 21-23, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37593-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Corchado / Yin / Botti Intelligent Data Engineering and Automated Learning - IDEAL 2006
7th International Conference, Burgos, Spain, September 20-23, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45485-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Paulson Isabelle
A Generic Theorem Prover1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58244-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wiedijk The Seventeen Provers of the World
Foreword by Dana S. Scott1. Auflage 2006Verlag: SpringerISBN: 978-3-540-30704-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fränzle / Niehaus / Westphal Engineering Safe and Trustworthy Cyber Physical Systems
Essays Dedicated to Werner Damm on the Occasion of His 71st BirthdayErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-97536-3Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Philips / Popescu / Scheunders Advanced Concepts for Intelligent Vision Systems
7th International Conference, ACIVS 2005, Antwerp, Belgium, September 20-23, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29032-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hagiya / Ohuchi DNA Computing
8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00531-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Balcázar / Long / Stephan Algorithmic Learning Theory
17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-46649-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sachse / Seemann Functional Imaging and Modeling of the Heart
4th International Conference, Salt Lake City, UT, USA, June 7-9, 2007Erscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72906-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schulz Word Equations and Related Topics
1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings1. Auflage 1992Verlag: SpringerISBN: 978-3-540-55124-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage -
Frank / Campari Spatial Information Theory: A Theoretical Basis for GIS
A Theoretical Basis for GIS. European Conference, COSIT'93, Marciana Marina, Elba Island, Italy, September 19-22, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-57207-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zeng Evolvable Systems: From Biology to Hardware
7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74625-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Habermann / Montanari System Development and Ada
CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18341-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huang / Irwin Computational Intelligence and Bioinformatics
International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part III1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37277-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sipper / Mange / Perez-Uribe Evolvable Systems: From Biology to Hardware
Second International Conference, ICES 98 Lausanne, Switzerland, September 23-25, 1998 ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64954-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage -
Cimatti / Sebastiani Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31611-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stephens / Toussaint / Whitley Foundations of Genetic Algorithms
9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers1. Auflage 2007Verlag: SpringerISBN: 978-3-540-73479-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort