Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1182
- 371
- Erscheinungsjahr
-
- 7
- 85
- 98
- 100
- 103
- 93
- 92
- 100
- 104
- 116
- 111
- 94
- 121
- 63
- 55
- 73
- 69
- 69
- Autoren
-
- 2
- 5
- 1
- 1
- 2
- 2
- 2
- 3
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 6
- 1
- 1
- 3
- 2
- 1
- 7
- 1
- 3
- 1
- 1
- 2
- 2
- 3
- 5
- 3
- 3
- 2
- 50
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 4
- 2
- 9
- 2
- 15
- 2
- 4
- 2
- 13
- 2
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 3
- 2
- 6
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 6
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 7
- 3
- 2
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 4
- 4
- 5
- 2
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 6
- 8
- 8
- 4
- 2
- 5
- 2
- 2
- 5
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 4
- 4
- 2
- 3
- 2
- 4
- 3
- 2
- 20
- 17
- 7
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 11
- 2
- 2
- 7
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 4
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 5
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 15
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 6
- 2
- 2
- 14
- 2
- 6
- 54
- 5
- 4
- 7
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 4
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 7
- 2
- 2
- 5
- 3
- 2
- 4
- 2
- 8
- 3
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 4
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 9
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 10
- 2
- 2
- 5
- 2
- 4
- 7
- 9
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 6
- 3
- 3
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 6
- 2
- 21
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 6
- 2
- 3
- 4
- 3
- 4
- 2
- 3
- 16
- 12
- 4
- 2
- 5
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 5
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 7
- 2
- 9
- 2
- 3
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 7
- 2
- 2
- 2
- 5
- 5
- 2
- 6
- 6
- 3
- 5
- 2
- 5
- 2
- 2
- 2
- 13
- 3
- 3
- 2
- 3
- 5
- 2
- 2
- 14
- 2
- 2
- 2
- 5
- 7
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 44
- 2
- 3
- 2
- 2
- 5
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 5
- 2
- 50
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 8
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 4
- 2
- 8
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 7
- 2
- 2
- 5
- 3
- 4
- 4
- 3
- 2
- 3
- 4
- 2
- 4
- 7
- 2
- 6
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 15
- 16
- 10
- 3
- 6
- 2
- 10
- 5
- 2
- 3
- 2
- 2
- 4
- 3
- 19
- 2
- 3
- 6
- 2
- 6
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 10
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 17
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 12
- 16
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 16
- 14
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 10
- 10
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 16
- 3
- 53
- 2
- 22
- 2
- 6
- 4
- 2
- 3
- 5
- 4
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 10
- 15
- 16
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 5
- 3
- 3
- 2
- 2
- 10
- 2
- 9
- 8
- 4
- 5
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 6
- 4
- 4
- 2
- 2
- 3
- 11
- 2
- 2
- 4
- 2
- 3
- 5
- 4
- 2
- 3
- 4
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 9
- 4
- 5
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 11
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 6
- 2
- 3
- 4
- 3
- 4
- 3
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 2
- 8
- 2
- 3
- 2
- 2
- 2
- Verlag
-
- 1343
- 196
- 1
- 1
- 12
- Preis
-
- 72
- 1274
- 207
- Sprachen
-
- 1553
- Verfügbarkeit
-
- 1553
- Katalog
-
- 1553
- 20
-
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 -
Hsu / Li / Shi Network and Parallel Computing
10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40819-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vojnar / Zhang Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II1. Auflage 2019Verlag: SpringerISBN: 978-3-030-17464-4Medium: 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 -
Stützle Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics
Third International Conference, LION 2009 III, Trento, Italy, January 14-18, 2009. Selected Papers1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-11168-6Medium: 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 -
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 -
Battiti / Brunato / Kotsireas Learning and Intelligent Optimization
12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected PapersErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-05348-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Caires Programming Languages and Systems
28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-17183-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cérin / Qian / Gaudiot Network and Parallel Computing
18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3-5, 2021, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-030-93570-2Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Halldórsson / Iwama / Kobayashi Automata, Languages, and Programming
42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part IErscheinungsjahr 2015Verlag: SpringerISBN: 978-3-662-47672-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Tang / Chen / Bose Network and Parallel Computing
16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23-24, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-30708-0Medium: 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: Springer International PublishingISBN: 978-3-319-03545-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Silva / Staton / Sutton Language, Logic, and Computation
12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-662-59564-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Saberi Internet and Network Economics
6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-17572-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Rahman / Sung / Uehara WALCOM: Algorithms and Computation
12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-75172-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Shi / Tan / Zhang Simulated Evolution and Learning
11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68759-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
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 -
Jouannaud / Shao Certified Programs and Proofs
First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25378-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Frey / Raynal / Sarkar Distributed Computing and Networking
14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35667-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Czumaj / Mehlhorn / Pitts Automata, Languages, and Programming
39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31584-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Altman / Shi Network and Parallel Computing
8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24402-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Drossopoulou Programming Languages and Systems
17th European Symposium on Programming, ESOP 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-78738-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