Ergebnisse filtern
- Fachgebiet
- Medium
-
- 899
- 1
- Erscheinungsjahr
-
- 1
- 7
- 26
- 14
- 8
- 17
- 27
- 25
- 26
- 22
- 12
- 34
- 10
- 14
- 4
- 41
- 20
- 41
- 81
- 59
- 70
- 56
- 58
- 44
- 37
- 22
- 17
- 14
- 20
- 11
- 13
- 12
- 9
- 6
- 7
- 5
- 1
- 3
- 2
- 2
- 1
- Autoren
-
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 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
- 2
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 3
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 1
- 1
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 5
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 3
- 1
- 1
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 14
- 2
- 2
- 2
- 8
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 8
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 9
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 3
- 3
- 2
- 7
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 7
- 4
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 14
- 2
- 5
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 9
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 6
- 2
- Verlag
-
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 105
- 482
- 147
- 44
- 27
- 7
- 35
- 25
- 1
- 1
- 4
- Preis
-
- 1
- 18
- 549
- 332
- Sprachen
-
- 898
- 4
- Verfügbarkeit
-
- 896
- 4
- Katalog
-
- 900
- 36
-
Zhao / Kleine Büning Theory and Applications of Satisfiability Testing ¿ SAT 2008
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-79718-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yovine / Lakhnech Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23167-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mariani / Finkbeiner Runtime Verification
19th International Conference, RV 2019, Porto, Portugal, October 8¿11, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-32078-2Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ábrahám / Tarifa / Dubslaff Theoretical Aspects of Computing ¿ ICTAC 2023
20th International Colloquium, Lima, Peru, December 4¿8, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-47962-5Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Veith / Sharygina Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-39798-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lee / Kuwabara Intelligent Agents and Multi-Agent Systems
5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002, Tokyo, Japan, August 18-19, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44026-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Knowles / Deb / Corne Multiobjective Problem Solving from Nature
From Concepts to Applications2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-72963-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Slezak / Yao / Hu Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 2, 2005, Proceedings, Part II2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28660-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Liu / Fei / Sun Advances in Neural Networks - ISNN 2007
4th International Symposium on Neural Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part III2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-72394-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Salakoski / Pahikkala / Ginter Advances in Natural Language Processing
5th International Conference, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-37334-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Oliveira / Laender String Processing and Information Retrieval
9th International Symposium, SPIRE 2002, Lisbon, Portugal, September 11-13, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44158-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schmitt / Jantke Nonmonotonic and Inductive Logic
1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54564-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kern-Isberner / Hartmann Foundations of Information and Knowledge Systems
5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77683-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Curien Typed Lambda Calculi and Applications
9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-02272-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
López / Dubitzky / Benfenati Knowledge Exploration in Life Science Informatics
International Symposium KELSI 2004, Milan, Italy, November 25-26, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23927-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hinchey / Schmeck / Pagnoni Biologically-Inspired Collaborative Computing
IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy1. Auflage. Softcover version of original hardcover Auflage 2008Verlag: Springer USISBN: 978-1-4419-3502-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fülöp / Ésik Developments in Language Theory
7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40434-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Antsaklis / Sastry / Kohn Hybrid Systems II
1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60472-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Godefroid Model Checking Software
12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28195-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Babaoglu / Jelasity / Montresor Self-star Properties in Complex Information Systems
Conceptual and Practical Foundations2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-26009-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Slezak / Yao / Szczuka Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28653-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bülthoff / Wallraven / Lee Biologically Motivated Computer Vision
Second International Workshop, BMCV 2002, Tübingen, Germany, November 22-24, 2002, Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00174-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Turini / Fribourg Logic Program Synthesis and Transformation - Meta-Programming in Logic
4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58792-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Stumme / Delugach Conceptual Structures: Broadening the Base
9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42344-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Raskin / Cassez Automated Technology for Verification and Analysis
12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-11935-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort