Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 62 Berechenbarkeitstheorie, Komplexitätstheorie
- 15 Bildsignalverarbeitung
- 334 Künstliche Intelligenz
- 399 Logik, formale Sprachen, Automaten
- 136 Mathematik für Informatiker
- 30 Mensch-Maschine-Interaktion
- 6 Natürliche Sprachen & Maschinelle Übersetzung
- 44 Rechnerarchitektur
- 175 Theoretische Informatik
- 3 Tonsignalverarbeitung
- 1 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 935
- Erscheinungsjahr
-
- 4
- 39
- 51
- 61
- 57
- 52
- 58
- 54
- 51
- 59
- 59
- 46
- 49
- 58
- 44
- 70
- 62
- 61
- Autoren
-
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 5
- 1
- 3
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 22
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 7
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 1
- 2
- 2
- 4
- 1
- 6
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 2
- 3
- 2
- 1
- 2
- 1
- 2
- 13
- 11
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 1
- 2
- 8
- 2
- 2
- 4
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 4
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 10
- 1
- 1
- 1
- 1
- 2
- 1
- 28
- 1
- 1
- 1
- 2
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 4
- 3
- 2
- 5
- 2
- 4
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 14
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 11
- 7
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 9
- 3
- 4
- 4
- 2
- 2
- 2
- 6
- 3
- 4
- 7
- 4
- 3
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 8
- 3
- 3
- 2
- 11
- 2
- 2
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 21
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 5
- 24
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 7
- 3
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 8
- 7
- 3
- 3
- 2
- 5
- 2
- 3
- 4
- 3
- 13
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 11
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 9
- 11
- 2
- 2
- 2
- 2
- 2
- 6
- 9
- 9
- 2
- 2
- 6
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 27
- 2
- 7
- 2
- 4
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 9
- 5
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 6
- 2
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 6
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- Verlag
-
- 923
- 1
- 11
- Preis
-
- 27
- 730
- 178
- Sprachen
-
- 935
- Verfügbarkeit
-
- 935
- Katalog
-
- 935
- 12
Der Inhalt wurde erfolgreich kopiert
-
Lu / Kim / Wu Combinatorial Optimization and Applications
9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26625-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chechik / Raskin Tools and Algorithms for the Construction and Analysis of Systems
22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-662-49673-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Groote / Larsen Tools and Algorithms for the Construction and Analysis of Systems
27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I1. Auflage 2021Verlag: SpringerISBN: 978-3-030-72015-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abdulla / Leino Tools and Algorithms for the Construction and Analysis of Systems
17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19834-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Flanagan / König Tools and Algorithms for the Construction and Analysis of Systems
18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28755-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Durand-Lose / Verlan Machines, Computations, and Universality
8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92401-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cygan / Heggernes Parameterized and Exact Computation
9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13523-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lipshteyn / Levit / McConnell Graph Theory, Computational Intelligence and Thought
Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday1. Auflage 2009Verlag: SpringerISBN: 978-3-642-02028-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bodlaender / Downey / Fomin The Multivariate Algorithmic Revolution and Beyond
Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30890-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abramsky / Gavoille / Kirchner Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14164-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Comon-Lundh / Kirchner Rewriting, Computation and Proof
Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th BirthdayErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73146-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grohe / Niedermeier Parameterized and Exact Computation
Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79722-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vitek Programming Languages and Systems
24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-662-46668-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Zhu / Du Combinatorial Optimization and Applications
5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22615-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Widmayer / Xu / Zhu Combinatorial Optimization and Applications
7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03779-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rahman / Tomita WALCOM: Algorithms and Computation
9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-15611-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thilikos / Woeginger Parameterized and Exact Computation
7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33292-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hamadi / Schoenauer Learning and Intelligent Optimization
6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34412-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gonthier / Norrish Certified Programs and Proofs
Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03544-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aloni / Kimmelman / Roelofsen Logic, Language and Meaning
18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31481-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rahman / Nakano WALCOM: Algorithm and Computation
6th International Workshop, WALCOM 2012, Dhaka, Bangladesh, February 15-17, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28075-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shi / Tan / Zhang Simulated Evolution and Learning
11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68758-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Das / Mandal / Mukhopadhyaya WALCOM: Algorithms and Computation
13th International Conference, WALCOM 2019, Guwahati, India, February 27 - March 2, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-10563-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rahman / Sadakane / Sung WALCOM: Algorithms and Computation
14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 - April 2, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-39880-4Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort