Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1152
- 348
- Erscheinungsjahr
-
- 6
- 78
- 95
- 97
- 96
- 86
- 89
- 101
- 98
- 100
- 113
- 103
- 111
- 68
- 65
- 66
- 59
- 69
- Autoren
-
- 1
- 4
- 1
- 1
- 2
- 5
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 8
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 3
- 50
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 5
- 10
- 2
- 3
- 10
- 3
- 6
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 7
- 2
- 2
- 2
- 8
- 3
- 6
- 2
- 2
- 3
- 6
- 5
- 3
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 6
- 6
- 2
- 2
- 3
- 2
- 3
- 6
- 3
- 2
- 3
- 2
- 9
- 2
- 2
- 2
- 3
- 3
- 3
- 5
- 7
- 10
- 4
- 2
- 3
- 5
- 3
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 4
- 4
- 2
- 5
- 2
- 2
- 3
- 18
- 17
- 4
- 2
- 2
- 2
- 2
- 5
- 5
- 6
- 2
- 8
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 3
- 5
- 6
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 3
- 2
- 3
- 3
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 5
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 10
- 4
- 2
- 3
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 14
- 2
- 9
- 2
- 56
- 5
- 4
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 3
- 3
- 4
- 3
- 2
- 3
- 3
- 2
- 5
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 8
- 3
- 2
- 3
- 5
- 3
- 7
- 3
- 4
- 2
- 2
- 3
- 3
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 11
- 2
- 2
- 3
- 6
- 2
- 4
- 10
- 3
- 3
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 4
- 3
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 7
- 2
- 2
- 19
- 2
- 4
- 2
- 2
- 4
- 4
- 5
- 4
- 3
- 3
- 3
- 4
- 2
- 4
- 2
- 2
- 5
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 14
- 2
- 12
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 5
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 11
- 2
- 2
- 10
- 2
- 4
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 7
- 2
- 2
- 4
- 2
- 2
- 6
- 7
- 2
- 4
- 5
- 4
- 6
- 2
- 5
- 2
- 3
- 2
- 2
- 13
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 16
- 2
- 6
- 3
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 43
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 51
- 2
- 5
- 4
- 4
- 3
- 6
- 2
- 2
- 3
- 5
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 8
- 3
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 5
- 6
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 9
- 6
- 2
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 9
- 2
- 6
- 3
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 6
- 2
- 3
- 2
- 3
- 2
- 9
- 17
- 12
- 2
- 6
- 11
- 2
- 4
- 3
- 4
- 3
- 4
- 4
- 2
- 2
- 18
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 9
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 4
- 6
- 3
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 13
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 10
- 15
- 6
- 3
- 2
- 7
- 16
- 2
- 13
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 5
- 4
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 12
- 2
- 55
- 2
- 3
- 17
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 5
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 10
- 15
- 12
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 5
- 4
- 2
- 2
- 2
- 4
- 10
- 11
- 5
- 4
- 4
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 11
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 7
- 2
- 3
- 2
- 3
- 5
- 3
- 4
- 2
- 3
- 2
- 3
- 10
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 13
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 6
- 6
- 6
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- Verlag
-
- 1303
- 184
- 1
- 2
- 10
- Preis
-
- 64
- 1235
- 201
- Sprachen
-
- 1500
- Verfügbarkeit
-
- 1500
- Katalog
-
- 1500
- 16
-
Défago / Petit / Villain Stabilization, Safety, and Security of Distributed Systems
13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-24550-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Bonato / Janssen Algorithms and Models for the Web Graph
9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30540-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bonato / Chung Graham / Pralat Algorithms and Models for the Web Graph
14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15–16, 2017, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67809-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bonato / Mitzenmacher / Pralat Algorithms and Models for the Web Graph
10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03535-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Farkaš / Masulli / Otte Artificial Neural Networks and Machine Learning - ICANN 2021
30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part II1. Auflage 2021Verlag: SpringerISBN: 978-3-030-86339-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part I
8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009Erscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-14390-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Abate / Geeraerts Formal Modeling and Analysis of Timed Systems
15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, ProceedingsErscheinungsjahr 2017Verlag: Springer International PublishingISBN: 978-3-319-65765-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Jurdzinski / Nickovic Formal Modeling and Analysis of Timed Systems
10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-33365-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar -
Dima / Shirmohammadi Formal Modeling and Analysis of Timed Systems
19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-85036-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ouaknine / Vaandrager Formal Modeling and Analysis of Timed Systems
7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04367-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bonato / Pralat / Raigorodskii Algorithms and Models for the Web Graph
15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92870-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Raskin / Thiagarajan Formal Modeling and Analysis of Timed Systems
5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75453-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abate / Geeraerts Formal Modeling and Analysis of Timed Systems
15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-65764-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Asarin / Bouyer Formal Modeling and Analysis of Timed Systems
4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45026-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cassez / Jard Formal Modeling and Analysis of Timed Systems
6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85777-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Voros / Huebner / Keramidas Applied Reconfigurable Computing. Architectures, Tools, and Applications
14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-78889-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Duan / Liu / Tian Structured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-13650-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brodnik / Vahrenhold Informatics in Schools. Curricula, Competences, and Competitions
8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, Ljubljana, Slovenia, September 28 - October 1, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25395-4Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Masuzawa / Tixeuil Stabilization, Safety, and Security of Distributed Systems
9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76626-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu Structured Object-Oriented Formal Language and Method
Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39276-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Richa / Scheideler Stabilization, Safety, and Security of Distributed Systems
14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33535-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lassiter / Slavkovik New Directions in Logic, Language, and Computation
ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31466-7Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jain / Stephan Theory and Applications of Models of Computation
12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, ProceedingsErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-17142-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Xue / Nagoya / Liu Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-77474-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Giacobini / Vanneschi / Bush Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29065-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