Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1172
- 1124
- Erscheinungsjahr
-
- 10
- 108
- 134
- 142
- 154
- 116
- 133
- 136
- 143
- 159
- 157
- 138
- 144
- 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
- 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
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 5
- 2
- 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
- 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
- 2
- 12
- 10
- 2
- 2
- 6
- 2
- 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
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 7
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 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
- 7
- 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
- 11
- 4
- 3
- 4
- 8
- 3
- 8
- 18
- 6
- 5
- 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
- 7
- 3
- 4
- 16
- 4
- 4
- 10
- 4
- 5
- 5
- 4
- 8
- 5
- 3
- 8
- 14
- 5
- 3
- 3
- 6
- 3
- 10
- 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
- 9
- 5
- 3
- 3
- 5
- 5
- 22
- 6
- 3
- 6
- 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
- 4
- 4
- 3
- 6
- 4
- 4
- 13
- 8
- 3
- 6
- 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
- 11
- 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
- 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
-
- 1146
- 172
- 937
- 34
- 7
- Preis
-
- 101
- 1960
- 235
- Sprachen
-
- 2296
- Verfügbarkeit
-
- 2292
- 4
- Katalog
-
- 2296
- 20
-
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part II
8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14402-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Scheideler / Richa Stabilization, Safety, and Security of Distributed Systems
14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-33535-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Liu Structured Object-Oriented Formal Language and Method
Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-39276-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
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 Tage
-
Schiper / Kulkarni Stabilization, Safety, and Security of Distributed Systems
10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-89334-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Schwarzmann / Pelc Stabilization, Safety, and Security of Distributed Systems
17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-21740-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Jones / Liu / Woodcock Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays2007Verlag: SpringerISBN: 978-3-540-75221-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Raskin / Thiagarajan Formal Modeling and Analysis of Timed Systems
5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-75454-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
André / Stoelinga Formal Modeling and Analysis of Timed Systems
17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-29662-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Higashino / Katayama / Masuzawa Stabilization, Safety, and Security of Distributed Systems
15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. ProceedingsErscheinungsjahr 2013Verlag: Springer International PublishingISBN: 978-3-319-03089-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Lassiter / Slavkovik New Directions in Logic, Language, and Computation
ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected PapersErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-31467-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar
-
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part II
9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part IIErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-31500-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation: Applications
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-61466-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bertrand / Jansen Formal Modeling and Analysis of Timed Systems
18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-57628-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Villa / Duch / Erdi Artificial Neural Networks and Machine Learning -- ICANN 2012
22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part IErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-33269-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Gaspers / Walsh Theory and Applications of Satisfiability Testing – SAT 2017
20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66263-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Kurková / Kurková / Manolopoulos Artificial Neural Networks and Machine Learning – ICANN 2018
27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part IIIErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-01424-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Glässer / Abrial Rigorous Methods for Software Construction and Analysis
Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11446-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bonato / Chung Algorithms and Models for the Web-Graph
5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-77004-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Fränzle / Markey Formal Modeling and Analysis of Timed Systems
14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-44878-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Dolev / Cobb / Fischer Stabilization, Safety, and Security of Distributed Systems
12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-16023-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
Richa / Scheideler Stabilization, Safety, and Security of Distributed Systems
14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-33536-5Medium: 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
-
Bonato / Mitzenmacher / Pralat Algorithms and Models for the Web Graph
10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, ProceedingsErscheinungsjahr 2013Verlag: Springer International PublishingISBN: 978-3-319-03536-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
