Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 49 Berechenbarkeitstheorie, Komplexitätstheorie
- 14 Bildsignalverarbeitung
- 333 Künstliche Intelligenz
- 415 Logik, formale Sprachen, Automaten
- 125 Mathematik für Informatiker
- 35 Mensch-Maschine-Interaktion
- 7 Natürliche Sprachen & Maschinelle Übersetzung
- 41 Rechnerarchitektur
- 171 Theoretische Informatik
- 1 Tonsignalverarbeitung
- Medium
-
- 949
- Erscheinungsjahr
-
- 5
- 38
- 44
- 54
- 65
- 58
- 62
- 58
- 50
- 55
- 53
- 53
- 50
- 63
- 50
- 66
- 63
- 62
- Autoren
-
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 5
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 31
- 2
- 1
- 1
- 1
- 3
- 3
- 4
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 1
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 4
- 1
- 1
- 1
- 4
- 3
- 3
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 5
- 1
- 1
- 4
- 1
- 5
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 14
- 8
- 1
- 6
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 7
- 2
- 6
- 1
- 2
- 5
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 4
- 1
- 1
- 1
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 6
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 9
- 1
- 2
- 1
- 1
- 1
- 12
- 1
- 1
- 2
- 42
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 4
- 2
- 1
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 6
- 7
- 2
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 3
- 4
- 6
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 10
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 10
- 3
- 3
- 3
- 2
- 2
- 4
- 8
- 5
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 10
- 2
- 2
- 2
- 4
- 4
- 4
- 2
- 4
- 4
- 3
- 2
- 4
- 9
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 11
- 2
- 2
- 10
- 2
- 6
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 27
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 8
- 34
- 3
- 2
- 2
- 2
- 4
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 6
- 9
- 8
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 10
- 2
- 2
- 3
- 4
- 13
- 4
- 2
- 2
- 3
- 9
- 12
- 3
- 7
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 9
- 2
- 41
- 12
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 12
- 6
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 7
- 4
- 4
- 3
- 2
- 4
- 4
- 3
- 2
- 3
- 7
- 2
- 5
- 3
- 2
- 3
- 2
- 3
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 5
- 2
- 2
- 4
- 2
- 3
- Verlag
-
- 939
- 1
- 1
- 8
- Preis
-
- 26
- 739
- 184
- Sprachen
-
- 949
- Verfügbarkeit
-
- 947
- 2
- Katalog
-
- 949
- 13
Der Inhalt wurde erfolgreich kopiert
-
Barthe Programming Languages and Systems
20th European Symposium on Programming, ESOP 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-19717-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dick / Singh / Browne Simulated Evolution and Learning
10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13562-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gutin / Szeider Parameterized and Exact Computation
8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03897-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rao / Chatterjee / Jayanti Distributed Computing and Networking
9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77443-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Akiyama / Kano / Tan Discrete and Computational Geometry
Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 20041. Auflage 2005Verlag: SpringerISBN: 978-3-540-30467-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baader Term Rewriting and Applications
18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73447-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nigam / Ban Kirigin / Talcott Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday1. Auflage 2020Verlag: SpringerISBN: 978-3-030-62076-9Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Esparza / Majumdar Tools and Algorithms for the Construction and Analysis of Systems
16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12001-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Biere / Parker Tools and Algorithms for the Construction and Analysis of Systems
26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-45189-9Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Miculan / Scagnetto / Honsell Types for Proofs and Programs
International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68084-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Poon / Rahman / Yen WALCOM: Algorithms and Computation
11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-53924-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 / 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 -
Martí-Oliet / Ölveczky / Talcott Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23164-8Medium: 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 -
Castagna Programming Languages and Systems
18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00589-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bugliesi / Preneel / Sassone Automata, Languages and Programming
33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35907-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Arge / Cachin / Jurdzinski Automata, Languages and Programming
34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73419-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Durand-Lose / Margenstern Machines, Computations, and Universality
5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74592-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Aher / Hole / Jerábek Logic, Language, and Computation
10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-662-46905-7Medium: 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 -
Durand-Lose / Nagy Machines, Computations, and Universality
7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23110-5Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nicosia / Pardalos Learning and Intelligent Optimization
7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-44972-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sanità / Skutella Approximation and Online Algorithms
13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-28683-9Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (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