Ergebnisse filtern
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 63 Berechenbarkeitstheorie, Komplexitätstheorie
- 1340 Bildsignalverarbeitung
- 5052 Künstliche Intelligenz
- 2224 Logik, formale Sprachen, Automaten
- 1058 Mathematik für Informatiker
- 1327 Mensch-Maschine-Interaktion
- 173 Natürliche Sprachen & Maschinelle Übersetzung
- 338 Rechnerarchitektur
- 379 Theoretische Informatik
- 23 Tonsignalverarbeitung
- 63 Virtuelle Realität, Erweiterte Realität
-
- 8367
-
- 27
- 263
- 6233
- 1844
-
- 8362
- 16
- 12
- 1
-
- 8125
- 242
-
- 1
-
- 8367
- 370
-
Näher / Wagner Algorithm Engineering
4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42512-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Boldt / Jürgensen Automata Implementation
4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42812-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Caires / Italiano / Monteiro Automata, Languages and Programming
32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27580-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huang / Chen / Pan Advanced Intelligent Computing Technology and Applications
20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part VIII2024Verlag: SpringerISBN: 978-981-97-5602-5Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huang / Zhang / Pan Advanced Intelligent Computing Technology and Applications
20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-981-97-5580-6Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Choemprayong / Crestani / Cunningham Digital Libraries: Data, Information, and Knowledge for Digital Lives
19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-70231-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huang / Pan / Guo Advanced Intelligent Computing Technology and Applications
20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part XII2024Verlag: SpringerISBN: 978-981-97-5614-8Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Spirakis Algorithms - ESA '95
Third Annual European Symposium, Corfu, Greece, September, 25 - 27, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60313-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kawano / Mosca Theory of Quantum Computation, Communication, and Cryptography
Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008, Revised Selected Papers1. Auflage 2008Verlag: SpringerISBN: 978-3-540-89303-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Streitz / Konomi Distributed, Ambient and Pervasive Interactions
11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I1. Auflage 2023Verlag: SpringerISBN: 978-3-031-34667-5Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gelbukh Computational Linguistics and Intelligent Text Processing
12th International Conference, CICLing 2011, Tokyo, Japan, February 20-26, 2011. Proceedings, Part II1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19436-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kubatova / Hochberger / Danek Architecture of Computing Systems -- ARCS 2013
26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36423-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nguyen Transactions on Computational Collective Intelligence IX
1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36814-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nguyen Transactions on Computational Collective Intelligence VII
1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32065-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Meiselwitz Social Computing and Social Media. User Experience and Behavior
10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-319-91520-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wei / Margetis Human-Centered Design, Operation and Evaluation of Mobile Communications
7th International Conference, MOBILE 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-30548-0Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Král / Martín-Vide Statistical Language and Speech Processing
4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-45924-0Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Winckler / Johnson / Palanque Task Models and Diagrams for User Interface Design
6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-77221-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
De Paolis / Arpaia / Sacco Extended Reality
5th International Conference, XR Salento 2026, Otranto, Italy, June 16-20, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: Springer Nature Switzerland AGISBN: 978-3-032-33496-1Medium: Buch104,85 € (inkl. MwSt.)
vorbestellbar -
Holzinger / Kieseberg / Cabitza Machine Learning and Knowledge Extraction
7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-40836-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Holzinger / Kieseberg / Tjoa Machine Learning and Knowledge Extraction
6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2022, Vienna, Austria, August 23-26, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-14462-2Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Panigrahi / Suganthan / Das Swarm, Evolutionary, and Memetic Computing
6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48958-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Haxthausen / Huang / Roggenbach Applicable Formal Methods for Safe Industrial Products
Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday1. Auflage 2023Verlag: SpringerISBN: 978-3-031-40131-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mira / Prieto Bio-Inspired Applications of Connectionism
6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part IIErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42237-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Diekert Combinatorics on Traces
1. Auflage 1990Verlag: SpringerISBN: 978-3-540-53031-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Qin Unifying Theories of Programming
Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16689-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hinze / Rozenberg / Salomaa Membrane Computing
19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-12796-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
González-Beltrán / Osborne / Peroni Semantics, Analytics, Visualization
3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-030-01378-3Medium: 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 -
Nunes / Oakley / Nisi Interactive Storytelling
10th International Conference on Interactive Digital Storytelling, ICIDS 2017 Funchal, Madeira, Portugal, November 14-17, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-71026-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zeng / Chen / Rolka Biosurveillance and Biosecurity
International Workshop, BioSecure 2008, Raleigh, NC, USA, December 2, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89745-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Koc / Paar Cryptographic Hardware and Embedded Systems - CHES 2000
Second International Workshop Worcester, MA, USA, August 17-18, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41455-1Medium: 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 -
Liu / Ibrahim / Rauber Algorithms and Architectures for Parallel Processing
25th International Conference, ICA3PP 2025, Zhengzhou, China, October 30 - November 2, 2025, Proceedings, Part VErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-958413-0Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Liu / Ibrahim / Rauber Algorithms and Architectures for Parallel Processing
25th International Conference, ICA3PP 2025, Zhengzhou, China, October 30-November 2, 2025, Proceedings, Part IVErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-958407-9Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Iacca / Nadizar / Yaman Parallel Problem Solving from Nature - PPSN XIX
19th International Conference, PPSN 2026, Trento, Italy, August 29 - September 2, 2026, Proceedings, Part IIIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-36225-4Medium: Buch79,17 € (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 -
Seipel / Turull-Torres Foundations of Information and Knowledge Systems
Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20965-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sifaleras / Lin Generative Intelligence and Intelligent Tutoring Systems
20th International Conference, ITS 2024, Thessaloniki, Greece, June 10-13, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-63030-9Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ennis / Perotti / Wang Functional Imaging and Modeling of the Heart
11th International Conference, FIMH 2021, Stanford, CA, USA, June 21-25, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-78709-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Benatallah / Casati / Traverso Service-Oriented Computing - ICSOC 2005
Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30817-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tari / Li / Wu Algorithms and Architectures for Parallel Processing
23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part V2024Verlag: SpringerISBN: 978-981-97-0807-9Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Castiglione / Mantaci Implementation and Application of Automata
29th International Conference, CIAA 2025, Palermo, Italy, September 22-25, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-02601-9Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Floater / Lyche / Mazure Mathematical Methods for Curves and Surfaces
9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67884-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Didyk / Hou Computational Visual Media
13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-965808-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Iglesias / Takayama Mathematical Software - ICMS 2006
Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-38084-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zee / Vorst Parallel Computing 1988
Shell Conference, Amsterdam, The Netherlands, June 1/2, 1988; Proceedings1. Auflage 1989Verlag: SpringerISBN: 978-3-540-51604-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Britto / Valdivia Delgado Intelligent Systems
10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 - December 3, 2021, Proceedings, Part I1. Auflage 2021Verlag: SpringerISBN: 978-3-030-91701-2Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Streitz / Konomi Distributed, Ambient and Pervasive Interactions
12th International Conference, DAPI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-60011-1Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Strauss / Amagasa / Manco Database and Expert Systems Applications
35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-68311-4Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gao / Zhou Human Aspects of IT for the Aged Population
11th International Conference, ITAP 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-92714-0Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gao / Zhou Human Aspects of IT for the Aged Population
11th International Conference, ITAP 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-92709-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lackey / Shumaker Virtual, Augmented and Mixed Reality
8th International Conference, VAMR 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-39906-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Parikh Logics of Programs
Brooklyn, June 17-19, 19851. Auflage 1985Verlag: SpringerISBN: 978-3-540-15648-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-40107-6Medium: Buch42,79 € (inkl. MwSt.)
vorbestellbar -
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 -
Amunts / Grandinetti / Lippert Brain-Inspired Computing
Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-50861-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schrepp Design, User Experience, and Usability
14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93226-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gao / Zhou Human Aspects of IT for the Aged Population
12th International Conference, ITAP 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-30413-1Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhou / Jähnichen / Xu Advanced Parallel Processing Technologies
5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20054-3Medium: Buch106,99 € (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 -
Cai Computing with Instinct
Rediscovering Artificial Intelligence1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19756-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lin / Manocha Applied Computational Geometry. Towards Geometric Engineering
FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27 - 28, 1996, Selected Papers1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61785-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mazurkiewicz / Winkowski CONCUR'97: Concurrency Theory
8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63141-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Borriello / Holmquist UbiComp 2002: Ubiquitous Computing
4th International Conference, Göteborg, Sweden, September 29 - October 1, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44267-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pan / Mao / Luo Artificial Intelligence and Mobile Services - AIMS 2021
10th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-030-96032-2Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ábrahám / Bonsangue / Johnsen Theory and Practice of Formal Methods
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday1. Auflage 2016Verlag: SpringerISBN: 978-3-319-30733-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Auer / Clark / Zeugmann Algorithmic Learning Theory
25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11661-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yao / Fujita / Yue Rough Sets
International Joint Conference, IJCRS 2022, Suzhou, China, November 11-14, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-21243-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sun / Huang / Ji Chinese Computational Linguistics
18th China National Conference, CCL 2019, Kunming, China, October 18-20, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-32380-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chen / Fragomeni Virtual, Augmented and Mixed Reality
17th International Conference, VAMR 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93714-9Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chen / Fragomeni Virtual, Augmented and Mixed Reality
17th International Conference, VAMR 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-93699-9Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Streitz / Konomi Distributed, Ambient and Pervasive Interactions
12th International Conference, DAPI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-3-031-59987-3Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Day / Fellows / Greenberg Computability and Complexity
Essays Dedicated to Rodney G. Downey on the Occasion of His 60th BirthdayErscheinungsjahr 2016Verlag: SpringerISBN: 978-3-319-50061-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Foresti / Fusiello / Hancock Image Analysis and Processing - ICIAP 2023 Workshops
Udine, Italy, September 11-15, 2023, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-51025-0Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems
13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part VErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-40123-6Medium: Buch42,79 € (inkl. MwSt.)
vorbestellbar -
Jain / Munos / Stephan Algorithmic Learning Theory
24th International Conference, ALT 2013, Singapore, October 6-9, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40934-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huang / Si / Guo Advanced Intelligent Computing Technology and Applications
20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part VI2024Verlag: SpringerISBN: 978-981-97-5596-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gao / Zhou Human Aspects of IT for the Aged Population
11th International Conference, ITAP 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-92706-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Strauss / Amagasa / Manco Database and Expert Systems Applications
35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-3-031-68308-4Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Smith / Salvendy Human Interface and the Management of Information. Interacting with Information
Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings, Part I1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21792-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Godefroid Partial-Order Methods for the Verification of Concurrent Systems
An Approach to the State-Explosion ProblemErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-60761-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schwefel / Männer Parallel Problem Solving from Nature
1st Workshop, PPSN I Dortmund, FRG, October 1-3, 1990. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54148-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Truszkowski / Rouff / Hinchey Innovative Concepts for Agent-Based Systems
First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40725-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Leporati / Rozenberg / Salomaa Membrane Computing
17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-54071-9Medium: 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 -
Klette / Zunic Combinatorial Image Analysis
10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23942-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gao / Zhou Human Aspects of IT for the Aged Population
12th International Conference, ITAP 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part IIIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-30423-0Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schrepp Design, User Experience, and Usability
14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93232-8Medium: Buch85,59 € (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 -
Patel-Schneider / Pan / Hitzler The Semantic Web - ISWC 2010
9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II1. Auflage 2011Verlag: SpringerISBN: 978-3-642-17748-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Melo / Fang Autonomous Agents and Multiagent Systems. Best and Visionary Papers
AAMAS 2022 Workshops, Virtual Event, May 9-13, 2022, Revised Selected Papers1. Auflage 2022Verlag: SpringerISBN: 978-3-031-20178-3Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calmet / Benhamou / Caprotti Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43865-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lee / Teng Algorithms and Computation
11th International Conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000. ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41255-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Möller Mathematics of Program Construction
Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60117-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sellis / Oikonomou Algorithmic Aspects of Cloud Computing
Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-57044-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ferscha / Mattern Pervasive Computing
Second International Conference, PERVASIVE 2004, Vienna Austria, April 21-23, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21835-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Anderson / Cheng / Haarslev Theory and Application of Diagrams
First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67915-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Iida / Maiolino / Abdulali Towards Autonomous Robotic Systems
24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-43359-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jiang / Ma / Chen Mobile Multimedia Processing
Fundamentals, Methods, and Applications1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12348-1Medium: 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