Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 94 Angewandte Informatik
- 44 Betriebssysteme
- 8 Business Application
- 127 Computerkommunikation & -vernetzung
- 123 Daten / Datenbanken
- 1 Digital Lifestyle
- 31 EDV & Informatik Allgemein
- 912 Informatik
- 47 Professionelle Anwendung
- 576 Programmierung | Softwareentwicklung
- 253 Technische Informatik
- Medium
-
- 1157
- Erscheinungsjahr
-
- 4
- 66
- 62
- 63
- 74
- 75
- 62
- 70
- 64
- 79
- 81
- 68
- 75
- 62
- 62
- 63
- 62
- 65
- Autoren
-
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 3
- 1
- 5
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 40
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 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
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 6
- 1
- 1
- 1
- 1
- 9
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 2
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 3
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 8
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 3
- 1
- 4
- 1
- 1
- 5
- 4
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 4
- 15
- 9
- 1
- 4
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 8
- 1
- 2
- 5
- 1
- 3
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 6
- 2
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 9
- 4
- 2
- 2
- 2
- 6
- 2
- 11
- 5
- 2
- 46
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 3
- 3
- 2
- 2
- 7
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 10
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 5
- 2
- 4
- 3
- 5
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 7
- 6
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 10
- 6
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 7
- 2
- 3
- 5
- 2
- 2
- 3
- 3
- 3
- 4
- 2
- 2
- 2
- 6
- 2
- 7
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 3
- 12
- 2
- 2
- 11
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 36
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 4
- 2
- 6
- 42
- 2
- 3
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 3
- 4
- 4
- 2
- 3
- 7
- 3
- 2
- 3
- 2
- 4
- 4
- 4
- 7
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 7
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 7
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 10
- 11
- 10
- 4
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 14
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 11
- 2
- 2
- 2
- 4
- 2
- 2
- 15
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 12
- 12
- 2
- 3
- 2
- 2
- 6
- 5
- 2
- 3
- 3
- 2
- 11
- 2
- 45
- 2
- 17
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 15
- 8
- 11
- 3
- 4
- 2
- 2
- 4
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 7
- 7
- 6
- 2
- 2
- 3
- 3
- 6
- 4
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 4
- 2
- 3
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 10
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- Verlag
-
- 1146
- 1
- 10
- Preis
-
- 52
- 909
- 196
- Sprachen
-
- 1157
- Verfügbarkeit
-
- 1157
- Katalog
-
- 1157
- 16
Der Inhalt wurde erfolgreich kopiert
-
Palsberg Semantics and Algebraic Specification
Essays Dedicated to Peter D. Mosses on the Occasion of His 60th BirthdayErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04163-1Medium: 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 -
Dehne / Solis-Oba / Sack Algorithms and Data Structures
13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40103-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gibbons Generic and Indexed Programming
1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32201-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Erlebach / Persiano Approximation and Online Algorithms
10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38015-0Medium: 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 -
Giesl Term Rewriting and Applications
16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25596-3Medium: 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 -
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 -
Legay / Margaria Tools and Algorithms for the Construction and Analysis of Systems
23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I1. Auflage 2017Verlag: SpringerISBN: 978-3-662-54576-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wu / Guo / Chen Embedded Software and Systems
First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28128-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Even / Rawitz Design and Analysis of Algorithms
First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34861-7Medium: 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 -
Piterman / Smolka Tools and Algorithms for the Construction and Analysis of Systems
19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36741-0Medium: 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 -
Kotsireas / Pardalos Learning and Intelligent Optimization
14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-53551-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Boyanov / Dimova / Georgiev Numerical Methods and Applications
6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70940-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Akiyama / Kano / Sakai Computational Geometry and Graphs
Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected papersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-45280-2Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fomin / Freivalds / Kwiatkowska Automata, Languages, and Programming
40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39205-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thiemann Programming Languages and Systems
25th European Symposium on Programming, ESOP 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-49497-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dimov / Fidanova / Lirkov Numerical Methods and Applications
8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-15584-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Uehara / Nandy / Hong WALCOM: Algorithms and Computation
15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 - March 2, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-68210-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aceto / Henzinger / Sgall Automata, Languages and Programming
38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22005-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dress / Xu / Zhu Combinatorial Optimization and Applications
First International Conference, COCOA 2007, Xi'an, China, August 14-16, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73555-7Medium: 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