Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1173
- 1120
- Erscheinungsjahr
-
- 10
- 111
- 132
- 141
- 154
- 115
- 133
- 136
- 143
- 159
- 157
- 135
- 145
- 125
- 129
- 105
- 120
- 142
- 1
- Autoren
-
- 2
- 3
- 3
- 3
- 2
- 2
- 9
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 15
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 72
- 2
- 3
- 2
- 2
- 5
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 3
- 16
- 4
- 2
- 2
- 2
- 17
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 8
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 3
- 4
- 3
- 5
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 4
- 2
- 6
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 4
- 9
- 2
- 2
- 2
- 2
- 6
- 2
- 7
- 2
- 5
- 2
- 4
- 5
- 3
- 3
- 2
- 6
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 12
- 2
- 3
- 2
- 2
- 6
- 3
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 3
- 2
- 2
- 2
- 6
- 5
- 2
- 2
- 6
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 8
- 3
- 11
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 7
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 13
- 4
- 2
- 2
- 7
- 2
- 2
- 3
- 3
- 7
- 3
- 3
- 5
- 2
- 11
- 3
- 3
- 12
- 10
- 2
- 2
- 6
- 2
- 3
- 4
- 4
- 2
- 2
- 9
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 6
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 3
- 6
- 3
- 2
- 2
- 7
- 3
- 2
- 3
- 3
- 35
- 12
- 9
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 18
- 2
- 2
- 10
- 2
- 10
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 3
- 7
- 5
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 4
- 2
- 5
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 7
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 10
- 7
- 4
- 3
- 3
- 4
- 8
- 5
- 4
- 3
- 4
- 16
- 8
- 3
- 4
- 4
- 3
- 10
- 26
- 3
- 8
- 3
- 85
- 5
- 4
- 5
- 5
- 3
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 11
- 5
- 6
- 5
- 4
- 5
- 4
- 3
- 8
- 6
- 4
- 3
- 4
- 3
- 3
- 3
- 6
- 3
- 3
- 6
- 4
- 3
- 3
- 4
- 6
- 9
- 3
- 3
- 4
- 6
- 11
- 3
- 13
- 3
- 8
- 4
- 4
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 11
- 3
- 9
- 4
- 3
- 3
- 4
- 3
- 5
- 14
- 4
- 3
- 4
- 8
- 3
- 8
- 18
- 6
- 4
- 3
- 4
- 3
- 5
- 3
- 5
- 6
- 3
- 3
- 6
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 3
- 7
- 3
- 4
- 6
- 3
- 8
- 4
- 3
- 4
- 5
- 6
- 3
- 4
- 16
- 4
- 4
- 10
- 4
- 5
- 5
- 4
- 8
- 5
- 3
- 8
- 14
- 5
- 3
- 3
- 6
- 3
- 9
- 3
- 4
- 6
- 13
- 8
- 4
- 6
- 5
- 4
- 4
- 5
- 11
- 3
- 5
- 4
- 7
- 7
- 4
- 4
- 3
- 4
- 7
- 4
- 5
- 4
- 3
- 4
- 4
- 3
- 4
- 8
- 15
- 3
- 6
- 9
- 3
- 5
- 3
- 4
- 6
- 3
- 6
- 10
- 5
- 6
- 3
- 3
- 8
- 6
- 6
- 4
- 3
- 3
- 5
- 8
- 5
- 3
- 3
- 5
- 5
- 22
- 6
- 3
- 6
- 3
- 3
- 18
- 5
- 4
- 7
- 7
- 9
- 3
- 9
- 5
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 61
- 4
- 3
- 4
- 6
- 3
- 6
- 4
- 3
- 6
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 12
- 73
- 3
- 3
- 4
- 3
- 4
- 7
- 7
- 9
- 3
- 3
- 6
- 4
- 5
- 4
- 3
- 5
- 4
- 4
- 4
- 4
- 3
- 14
- 5
- 4
- 3
- 3
- 3
- 7
- 5
- 8
- 7
- 5
- 3
- 5
- 3
- 3
- 4
- 4
- 10
- 5
- 4
- 3
- 3
- 4
- 3
- 6
- 4
- 4
- 13
- 8
- 3
- 5
- 4
- 5
- 3
- 5
- 3
- 3
- 11
- 4
- 4
- 7
- 4
- 4
- 5
- 3
- 3
- 3
- 6
- 7
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 12
- 4
- 5
- 15
- 28
- 11
- 3
- 6
- 3
- 14
- 9
- 3
- 4
- 7
- 3
- 23
- 3
- 3
- 3
- 6
- 3
- 3
- 7
- 3
- 3
- 15
- 4
- 9
- 3
- 3
- 6
- 3
- 9
- 5
- 3
- 3
- 9
- 5
- 9
- 5
- 9
- 4
- 6
- 3
- 4
- 4
- 3
- 3
- 4
- 6
- 21
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 18
- 7
- 5
- 3
- 4
- 12
- 27
- 24
- 3
- 3
- 5
- 4
- 10
- 10
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 6
- 4
- 20
- 3
- 83
- 4
- 30
- 3
- 4
- 5
- 3
- 4
- 4
- 4
- 3
- 5
- 3
- 5
- 20
- 19
- 18
- 3
- 3
- 3
- 4
- 10
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 4
- 3
- 5
- 6
- 3
- 3
- 4
- 4
- 3
- 5
- 3
- 3
- 4
- 10
- 11
- 8
- 5
- 3
- 4
- 5
- 4
- 4
- 9
- 3
- 5
- 7
- 3
- 3
- 3
- 17
- 7
- 10
- 3
- 4
- 5
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 8
- 7
- 6
- 7
- 3
- 7
- 3
- 19
- 4
- 4
- 3
- 3
- 3
- 12
- 3
- 3
- 5
- 3
- 4
- 7
- 3
- 12
- 4
- 8
- 5
- 6
- 5
- 6
- 3
- 3
- 3
- 5
- 4
- 6
- 3
- 4
- 3
- Verlag
-
- 1144
- 172
- 936
- 34
- 7
- Preis
-
- 101
- 1955
- 237
- Sprachen
-
- 2293
- Verfügbarkeit
-
- 2289
- 4
- Katalog
-
- 2293
- 20
-
de Boer / Cerone Software Engineering and Formal Methods
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-58768-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar58,84 € (inkl. MwSt.)
sofort verfügbar -
Deb / Bhattacharya / Chakraborti Simulated Evolution and Learning
8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-17297-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nigam / Ban Kirigin / Talcott Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-62076-9Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Finkbeiner / Wies Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-94583-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Sestoft Programming Languages and Systems
15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European2006Verlag: SpringerISBN: 978-3-540-33096-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Even / Rawitz Design and Analysis of Algorithms
First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012, ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-34862-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Gallagher / Sulzmann Functional and Logic Programming
14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-90686-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Daescu / Wu Combinatorial Optimization and Applications
4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-17457-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Devismes / Mittal Stabilization, Safety, and Security of Distributed Systems
22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-64348-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Blume / Vidal-Oriola / Kobayashi Functional and Logic Programming
10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-12250-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cimatti / Sirjani Software Engineering and Formal Methods
15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, ProceedingsErscheinungsjahr 2017Verlag: Springer International PublishingISBN: 978-3-319-66197-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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-73556-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Albers / Marchetti-Spaccamela / Matias Automata, Languages and Programming
36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I2009Verlag: SpringerISBN: 978-3-642-02927-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Durand-Lose / Margenstern Machines, Computations, and Universality
5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-74593-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Maniezzo / Battiti / Watson Learning and Intelligent Optimization
Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers2008Verlag: SpringerISBN: 978-3-540-92695-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Du / Hu / Pardalos Combinatorial Optimization and Applications
Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02026-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Li / Jesshope / Jin Network and Parallel Computing
IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-74784-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Schoenauer / Hamadi Learning and Intelligent Optimization
6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-34412-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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, Proceedings2009Verlag: SpringerISBN: 978-3-642-00589-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Tage -
Rahman / Sung / Sadakane WALCOM: Algorithms and Computation
14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 - April 2, 2020, Proceedings1. Auflage 2020Verlag: Springer Nature SwitzerlandISBN: 978-3-030-39880-4Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Aloni / Kimmelman / Westera Logic, Language and Meaning
18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-31481-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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-44973-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Thilikos / Woeginger Parameterized and Exact Computation
7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-33293-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (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 IIErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-14162-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort