Ergebnisse filtern
-
- 2040
- 1
-
- 1
- 30
- 1067
- 943
-
- 2041
-
- 2039
- 2
-
- 2041
- 136
-
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 -
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 -
Shafazand / Tjoa EurAsia-ICT 2002: Information and Communication Technology
First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00028-0Medium: 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 -
Stanczak / Wiczanowski / Boche Fundamentals of Resource Allocation in Wireless Networks
Theory and AlgorithmsSoftcover Nachdruck of hardcover 2. Auflage 2008Verlag: SpringerISBN: 978-3-642-24260-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huebener / Volovik / Schopohl Vortices in Unconventional Superconductors and Superfluids
1. Auflage. Softcover version of original hardcover Auflage 2002Verlag: SpringerISBN: 978-3-642-07613-8Medium: Buch235,39 € (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 -
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 -
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 -
Del Bimbo / Cucchiara / Sclaroff Pattern Recognition. ICPR International Workshops and Challenges
Virtual Event, January 10-15, 2021, Proceedings, Part VII1. Auflage 2021Verlag: SpringerISBN: 978-3-030-68786-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huebener / Volovik / Schopohl Vortices in Unconventional Superconductors and Superfluids
2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42336-2Medium: Buch235,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miguel / Tuml Abstraction, Reformulation, and Approximation
7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73579-3Medium: 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 III2024Verlag: SpringerISBN: 978-3-031-57866-3Medium: 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 II2024Verlag: SpringerISBN: 978-3-031-57859-5Medium: Buch149,79 € (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 -
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 -
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 -
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 -
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 -
Yang / Ma Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012): Volume 4
2013Verlag: SpringerISBN: 978-3-642-44378-7Medium: Buch213,99 € (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 -
Masuch / Polos Knowledge Representation and Reasoning Under Uncertainty
Logic at WorkErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58095-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Foresti / Fusiello / Hancock Image Analysis and Processing - ICIAP 2023
22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II1. Auflage 2023Verlag: SpringerISBN: 978-3-031-43152-4Medium: Buch96,29 € (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 -
Stanczak / Wiczanowski / Boche Fundamentals of Resource Allocation in Wireless Networks
Theory and Algorithms2. Auflage 2008Verlag: SpringerISBN: 978-3-540-79385-4Medium: Buch106,99 € (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 -
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 -
Shetty / Prasad / Nalini Advances in Computing and Information
Proceedings of ERCICA 2023, Volume 11. Auflage 2024Verlag: SpringerISBN: 978-981-99-7621-8Medium: Buch299,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shetty / Prasad / Nalini Advances in Computing and Information
Proceedings of ERCICA 2023, Volume 1Erscheinungsjahr 2024Verlag: SpringerISBN: 978-981-99-7624-9Medium: Buch299,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yang / Ma Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012): Volume 1
Softcover Nachdruck of the original 1. Auflage 2013Verlag: SpringerISBN: 978-3-662-50975-3Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yang / Ma Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012): Volume 3
1. Auflage 2013Verlag: SpringerISBN: 978-3-642-35469-4Medium: Buch320,99 € (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 -
Shetty / Prasad / Nagaraj Advances in Communication and Applications
Proceedings of ERCICA 2023, Volume 2Erscheinungsjahr 2025Verlag: SpringerISBN: 978-981-99-7635-5Medium: Buch246,09 € (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 -
Yang / Jiang / Shen Medical Imaging and Augmented Reality
Third International Workshop, Shanghai, China, August 17-18, 2006, ProceedingsXIII, 399 p. Also available online.Verlag: SpringerISBN: 978-3-540-37220-2Medium: 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 -
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 -
Kirchner Automated Deduction - CADE-15
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64675-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Foresti / Fusiello / Hancock Image Analysis and Processing - ICIAP 2023
22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part I1. Auflage 2023Verlag: SpringerISBN: 978-3-031-43147-0Medium: Buch96,29 € (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 -
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 -
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 -
Di Martino / Peron / Tezuka Web and Wireless Geographical Information Systems
11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29246-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Almeida / Ji / Steinbauer RoboCup 2015: Robot World Cup XIX
1. Auflage 2015Verlag: SpringerISBN: 978-3-319-29338-7Medium: Buch53,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 -
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 -
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 -
Daimi / Al Sadoon Proceedings of the Third International Conference on Innovations in Computing Research (ICR'24)
2024Verlag: SpringerISBN: 978-3-031-65521-0Medium: Buch235,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Domingo-Pascual / Manzoni / Palazzo NETWORKING 2011
10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part II1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20797-6Medium: 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 -
Trong Dao / Zelinka / Hoang Duy AETA 2023-Recent Advances in Electrical Engineering and Related Sciences: Theory and Application
Erscheinungsjahr 2025Verlag: SpringerISBN: 978-981-964572-5Medium: Buch299,59 € (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 -
Shetty / Prasad / Nagaraj Advances in Communication and Applications
Proceedings of ERCICA 2023, Volume 21. Auflage 2024Verlag: SpringerISBN: 978-981-99-7632-4Medium: Buch246,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calzarossa / Gelenbe Performance Tools and Applications to Networked Systems
Revised Tutorial Lectures1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21945-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Scheideler Algorithms for Sensor Systems
6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16987-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Daimi / Alsadoon Proceedings of the Fourth International Conference on Innovations in Computing Research (ICR'25)
Erscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-95651-5Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 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 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 -
Esparcia-Alcázar / Mora Applications of Evolutionary Computation
17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45522-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cai / Wang / Cheng Wireless Algorithms, Systems, and Applications
9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07781-9Medium: Buch106,99 € (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 -
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 -
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 -
Domingue / Traverso Future Internet - FIS 2008
First Future Internet Symposium Vienna, Austria, September 28-30, 2008 Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00984-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hilt / Berbineau / Vinel Communication Technologies for Vehicles
14th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2019, Colmar, France, May 16-17, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-25528-2Medium: 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 -
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 -
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 -
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 -
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 -
Gimenez / Paulin-Mohring Types for Proofs and Programs
International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected PapersErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65137-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nanya / Maruyama / Pataricza Service Availability
5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68128-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bécue / Cuppens-Boulahia / Cuppens Security of Industrial Control Systems and Cyber Physical Systems
First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40384-7Medium: Buch53,49 € (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 -
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 -
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 -
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 -
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 -
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 -
Daimi / Al Sadoon Proceedings of the Second International Conference on Innovations in Computing Research (ICR'23)
1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35307-9Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baumgartner / Hähnle / Posegga Theorem Proving with Analytic Tableaux and Related Methods
4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59338-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tan / Franklin / Lui Mobile Data Management
Second International Conference, MDM 2001 Hong Kong, China, January 8-10, 2001 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41454-4Medium: 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 I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29346-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Litwin / Schek Foundations of Data Organization and Algorithms
3rd International Conference, FODO 1989, Paris, France, June 21-23, 1989. ProceedingsErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51295-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Strang / Festag / Vinel Communication Technologies for Vehicles
Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19785-7Medium: 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 -
Umeda / Wolf / Bartenstein Declarative Programming for Knowledge Management
16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-69233-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sobh / Elleithy Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering
1. Auflage 2012Verlag: SpringerISBN: 978-1-4614-3557-0Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lewerentz / Lindner Formal Development of Reactive Systems
Case Study Production CellErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-58867-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Braccini / DeFloriani / Vernazza Image Analysis and Processing
8th International Conference, ICIAP '95, San Remo, Italy, September 13 - 15, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60298-9Medium: Buch106,99 € (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 -
Grossman / Nerode / Ravn Hybrid Systems
Erscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57318-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wagner / Wattenhofer Algorithms for Sensor and Ad Hoc Networks
Advanced LecturesErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74990-5Medium: Buch74,89 € (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 -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort