Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 54 Berechenbarkeitstheorie, Komplexitätstheorie
- 14 Bildsignalverarbeitung
- 297 Künstliche Intelligenz
- 371 Logik, formale Sprachen, Automaten
- 118 Mathematik für Informatiker
- 27 Mensch-Maschine-Interaktion
- 5 Natürliche Sprachen & Maschinelle Übersetzung
- 45 Rechnerarchitektur
- 150 Theoretische Informatik
- 2 Tonsignalverarbeitung
- 1 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 860
- Erscheinungsjahr
-
- 3
- 36
- 42
- 55
- 64
- 46
- 54
- 41
- 40
- 49
- 58
- 60
- 48
- 51
- 49
- 55
- 57
- 52
- Autoren
-
- 1
- 1
- 1
- 1
- 2
- 3
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 30
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 4
- 2
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 4
- 1
- 1
- 2
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 5
- 1
- 1
- 4
- 1
- 8
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 3
- 2
- 16
- 11
- 1
- 1
- 4
- 1
- 1
- 1
- 4
- 2
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 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
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 4
- 1
- 37
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 6
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 2
- 1
- 2
- 4
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 2
- 4
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 3
- 6
- 2
- 3
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 12
- 4
- 3
- 3
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 10
- 7
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 10
- 2
- 5
- 3
- 2
- 2
- 4
- 6
- 2
- 6
- 5
- 2
- 3
- 4
- 2
- 3
- 2
- 3
- 3
- 3
- 5
- 2
- 13
- 2
- 5
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 27
- 2
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 31
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 5
- 3
- 2
- 3
- 2
- 7
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 11
- 5
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 12
- 2
- 4
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 5
- 10
- 2
- 2
- 2
- 2
- 18
- 2
- 2
- 3
- 2
- 4
- 14
- 6
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 35
- 10
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 12
- 6
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 5
- 3
- 2
- 2
- 2
- 7
- 5
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 5
- 4
- 2
- 6
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 5
- 3
- 3
- 3
- 4
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- Verlag
-
- 853
- 1
- 6
- Preis
-
- 28
- 673
- 159
- Sprachen
-
- 860
- Verfügbarkeit
-
- 860
- Katalog
-
- 860
- 15
Der Inhalt wurde erfolgreich kopiert
-
Paul / Habib Graph-Theoretic Concepts in Computer Science
35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009, Revised PapersErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-11408-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Thilikos Graph-Theoretic Concepts in Computer Science
36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010, Revised Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16925-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Atallah / Li / Zhu Frontiers in Algorithmics and Algorithmic Aspects in Information and Management
Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21203-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Pozdniakov / Dagiene / Dagiene Informatics in Schools. Fundamentals of Computer Science and Software Engineering
11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-02749-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Burke / Trick Practice and Theory of Automated Timetabling V
5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30705-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Burke / Rudová Practice and Theory of Automated Timetabling VI
6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77344-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Fernández-Baca LATIN 2012: Theoretical Informatics
10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29343-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
López-Ortiz LATIN 2010: Theoretical Informatics
9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12199-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kranakis / Navarro / Chávez LATIN 2016: Theoretical Informatics
12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-662-49528-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cavalcanti / Deharbe / Gaudel Theoretical Aspects of Computing
7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14807-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Laber / Bornstein / Nogueira LATIN 2008: Theoretical Informatics
8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78772-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Yolum / Güngör / Gürgen Computer and Information Sciences - ISCIS 2005
20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29414-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kohayakawa / Miyazawa LATIN 2020: Theoretical Informatics
14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-61791-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
van Hoeve / Hooker Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01928-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Lodi / Milano / Toth Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-13519-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Beldiceanu / Jussien / Pinson Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June 1, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29827-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Perron / Trick Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings1. Auflage 2008Verlag: SpringerISBN: 978-3-540-68154-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ball / Jones Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37406-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Sharygina / Veith Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39798-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Tzovaras / Giakoumis / Vincze Computer Vision Systems
12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23-25, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-34994-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Etessami / Rajamani Computer Aided Verification
17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27231-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ganty / Kaâniche Verification and Evaluation of Computer and Communication Systems
13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-35091-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Dillig / Tasiran Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II1. Auflage 2019Verlag: SpringerISBN: 978-3-030-25542-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bouajjani / Maler Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02657-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Barkaoui / Boucheneb / Mili Verification and Evaluation of Computer and Communication Systems
11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66175-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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
