Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1193
- 348
- Erscheinungsjahr
-
- 6
- 92
- 89
- 109
- 107
- 95
- 98
- 98
- 101
- 124
- 103
- 102
- 106
- 57
- 65
- 67
- 57
- 65
- Autoren
-
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 5
- 1
- 2
- 1
- 3
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 7
- 4
- 2
- 3
- 3
- 2
- 3
- 50
- 2
- 3
- 2
- 5
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 13
- 2
- 10
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 3
- 5
- 3
- 5
- 2
- 2
- 4
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 8
- 2
- 2
- 3
- 3
- 3
- 5
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 7
- 7
- 2
- 5
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 7
- 2
- 2
- 4
- 5
- 4
- 3
- 3
- 2
- 3
- 9
- 3
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 9
- 9
- 5
- 4
- 3
- 2
- 2
- 7
- 3
- 2
- 3
- 3
- 4
- 2
- 3
- 4
- 3
- 3
- 4
- 4
- 2
- 2
- 22
- 12
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 10
- 2
- 10
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 5
- 5
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 6
- 6
- 4
- 4
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 13
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 4
- 12
- 2
- 7
- 57
- 5
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 9
- 3
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 3
- 9
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 13
- 4
- 3
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 7
- 2
- 2
- 15
- 2
- 2
- 2
- 5
- 4
- 2
- 2
- 8
- 3
- 5
- 2
- 4
- 4
- 2
- 8
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 12
- 8
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 5
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 10
- 2
- 3
- 3
- 8
- 2
- 7
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 6
- 3
- 4
- 2
- 2
- 3
- 2
- 5
- 3
- 8
- 2
- 4
- 2
- 2
- 2
- 5
- 5
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 15
- 3
- 3
- 2
- 7
- 3
- 2
- 19
- 5
- 2
- 9
- 4
- 4
- 6
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 41
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 51
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 7
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 6
- 5
- 2
- 2
- 3
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 3
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 7
- 5
- 3
- 4
- 2
- 3
- 2
- 3
- 5
- 6
- 2
- 2
- 2
- 5
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 6
- 3
- 2
- 4
- 2
- 7
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 13
- 17
- 9
- 4
- 5
- 2
- 9
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 25
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 15
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 15
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 17
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 6
- 17
- 2
- 2
- 14
- 2
- 2
- 3
- 6
- 3
- 3
- 8
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 14
- 2
- 2
- 56
- 2
- 23
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 12
- 11
- 15
- 2
- 2
- 2
- 2
- 2
- 3
- 10
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 6
- 9
- 7
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 12
- 4
- 4
- 3
- 3
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 5
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 9
- 3
- 13
- 3
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 4
- 2
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 3
- 3
- 3
- 2
- Verlag
-
- 1321
- 203
- 8
- 9
- Preis
-
- 71
- 1260
- 210
- Sprachen
-
- 1541
- 1
- Verfügbarkeit
-
- 1541
- Katalog
-
- 1541
- 20
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification, and Validation
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16557-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Mladenov / Koprinkova-Hristova / Palm Artificial Neural Networks and Machine Learning -- ICANN 2013
23rd International Conference on Artificial Neural Networks, Sofia, Bulgaria, September 10-13, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40727-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cimatti / Sebastiani Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31611-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Farkaš / Masulli / Wermter Artificial Neural Networks and Machine Learning - ICANN 2020
29th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 15-18, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-61608-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kumar / Sivakumar Algorithms and Models for the Web-Graph
7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-18009-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Jansen / Prabhakar Formal Modeling and Analysis of Timed Systems
16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-00151-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Fahrenberg / Tripakis Formal Modeling and Analysis of Timed Systems
9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-24310-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Iwama / Kawano / Murao Theory of Quantum Computation, Communication, and Cryptography
7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-35656-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar
-
Gopal / Agrawal / Li Theory and Applications of Models of Computation
11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, ProceedingsErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-06089-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Lutz / Sattler / Tinelli Description Logic, Theory Combination, and All That
Essays Dedicated to Franz Baader on the Occasion of His 60th BirthdayErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-22102-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Défago / Petit / Villain Stabilization, Safety, and Security of Distributed Systems
13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24549-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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, 20091. Auflage 2010Verlag: SpringerISBN: 978-3-642-14389-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Tian / Nagoya / Liu Structured Object-Oriented Formal Language and Method
7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-90103-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gopal / Agrawal / Li Theory and Applications of Models of Computation
11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-06088-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Higashino / Katayama / Masuzawa Stabilization, Safety, and Security of Distributed Systems
15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03088-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Liu / Duan Structured Object-Oriented Formal Language and Method
5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-31219-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Izumi / Kuznetsov Stabilization, Safety, and Security of Distributed Systems
20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03231-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
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
-
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
-
Kulkarni / Schiper Stabilization, Safety, and Security of Distributed Systems
10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89334-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Braberman / Fribourg Formal Modeling and Analysis of Timed Systems
11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40228-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (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
-
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
-
Pelc / Schwarzmann Stabilization, Safety, and Security of Distributed Systems
17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21740-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
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 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
