Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1174
- 346
- Erscheinungsjahr
-
- 5
- 101
- 88
- 106
- 111
- 101
- 85
- 96
- 86
- 121
- 108
- 92
- 109
- 58
- 63
- 60
- 66
- 64
- Autoren
-
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 2
- 3
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 2
- 1
- 2
- 3
- 1
- 1
- 6
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 55
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 5
- 1
- 1
- 2
- 1
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 17
- 2
- 3
- 14
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 6
- 3
- 4
- 2
- 3
- 4
- 4
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 9
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 5
- 5
- 7
- 5
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 7
- 2
- 2
- 4
- 5
- 3
- 2
- 3
- 3
- 3
- 2
- 3
- 7
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 7
- 2
- 6
- 5
- 3
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 5
- 2
- 4
- 22
- 12
- 5
- 4
- 2
- 3
- 10
- 3
- 8
- 3
- 7
- 2
- 2
- 5
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 2
- 7
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 2
- 2
- 3
- 2
- 5
- 5
- 6
- 4
- 4
- 2
- 3
- 2
- 5
- 5
- 2
- 3
- 2
- 3
- 17
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 4
- 13
- 2
- 7
- 2
- 61
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 5
- 2
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 7
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 7
- 5
- 2
- 3
- 3
- 2
- 7
- 13
- 4
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 8
- 2
- 4
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 17
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 4
- 6
- 2
- 7
- 3
- 3
- 2
- 10
- 2
- 6
- 2
- 3
- 2
- 4
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 13
- 7
- 5
- 4
- 3
- 2
- 2
- 2
- 3
- 3
- 6
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 8
- 2
- 2
- 4
- 7
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 3
- 6
- 2
- 3
- 2
- 6
- 2
- 4
- 9
- 3
- 4
- 3
- 2
- 7
- 4
- 3
- 4
- 3
- 3
- 3
- 2
- 2
- 17
- 2
- 2
- 2
- 4
- 2
- 2
- 13
- 5
- 8
- 4
- 2
- 2
- 4
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 49
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 6
- 2
- 6
- 56
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 4
- 4
- 5
- 3
- 9
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 4
- 6
- 4
- 3
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 7
- 5
- 4
- 3
- 4
- 2
- 2
- 2
- 9
- 5
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 16
- 16
- 13
- 4
- 4
- 3
- 7
- 6
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 16
- 2
- 4
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 11
- 3
- 3
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 4
- 2
- 6
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 12
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 18
- 7
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 15
- 16
- 3
- 2
- 2
- 6
- 3
- 2
- 6
- 7
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 12
- 2
- 60
- 2
- 2
- 26
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 15
- 10
- 20
- 2
- 3
- 4
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 3
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 10
- 9
- 7
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 6
- 4
- 5
- 3
- 3
- 2
- 2
- 10
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 13
- 3
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 4
- 2
- 4
- 2
- 2
- 2
- 4
- Verlag
-
- 1300
- 202
- 8
- 10
- Preis
-
- 67
- 1251
- 202
- Sprachen
-
- 1520
- Verfügbarkeit
-
- 1520
- Katalog
-
- 1520
- 16
-
Hermanns / Palsberg Tools and Algorithms for the Construction and Analysis of Systems
12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33056-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ramakrishnan / Rehof Tools and Algorithms for the Construction and Analysis of Systems
14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78799-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 II1. Auflage 2021Verlag: SpringerISBN: 978-3-030-72012-4Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baier / Tinelli Tools and Algorithms for the Construction and Analysis of Systems
21st International Conference, TACAS 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-46680-3Medium: 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 II1. Auflage 2017Verlag: SpringerISBN: 978-3-662-54579-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bouchou-Markhoff / Caron / Champarnaud Implementation and Application of Automata
16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22255-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Domaratzki / Salomaa Implementation and Application of Automata
15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected PapersErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-18098-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Gopal / Jäger / Steila Theory and Applications of Models of Computation
14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-55910-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Matsatsinis / Marinakis / Pardalos Learning and Intelligent Optimization
13th International Conference, LION 13, Chania, Crete, Greece, May 27-31, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-38628-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jouannaud / Shao Certified Programs and Proofs
First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-25379-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Codish / Sumii Functional and Logic Programming
12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. ProceedingsErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-07151-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Wu / Zhang Combinatorial Optimization and Applications
14th International Conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-64843-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
De Nicola Programming Languages and Systems
16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71314-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rahman / Fujita WALCOM: Algorithms and Computation
4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-11439-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Esparza / Fraigniaud / Husfeldt Automata, Languages, and Programming
41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part IIErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-43950-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pardalos / Resende / Vogiatzis Learning and Intelligent Optimization
8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09583-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yang Programming Languages and Systems
26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-662-54433-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Horimoto / Nakatsui / Popov Algebraic and Numeric Biology
4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28066-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shao Programming Languages and Systems
23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54833-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Ghosh / Tokuyama WALCOM: Algorithms and Computation
7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-36065-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Czumaj / Mehlhorn / Pitts Automata, Languages, and Programming
39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31593-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shao Programming Languages and Systems
23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54832-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Li / Jesshope / Jin Network and Parallel Computing
IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74783-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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