Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1130
- 335
- Erscheinungsjahr
-
- 9
- 91
- 84
- 94
- 108
- 84
- 95
- 78
- 101
- 99
- 108
- 110
- 98
- 64
- 61
- 57
- 59
- 65
- Autoren
-
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 3
- 5
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 4
- 2
- 1
- 1
- 6
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 53
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 6
- 13
- 3
- 11
- 2
- 2
- 5
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 6
- 4
- 5
- 4
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 4
- 4
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 8
- 3
- 2
- 2
- 5
- 4
- 7
- 2
- 2
- 2
- 2
- 4
- 3
- 6
- 3
- 2
- 9
- 7
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 3
- 4
- 2
- 25
- 13
- 2
- 6
- 2
- 2
- 4
- 3
- 2
- 6
- 5
- 7
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 4
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 3
- 13
- 2
- 7
- 4
- 60
- 4
- 6
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 2
- 3
- 5
- 3
- 2
- 2
- 4
- 2
- 4
- 4
- 5
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 5
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 5
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 7
- 3
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 4
- 11
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 15
- 2
- 4
- 6
- 5
- 5
- 3
- 5
- 5
- 3
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 11
- 2
- 8
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 4
- 6
- 3
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 12
- 2
- 3
- 5
- 2
- 6
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 7
- 2
- 2
- 3
- 2
- 8
- 2
- 2
- 7
- 2
- 3
- 3
- 2
- 2
- 8
- 4
- 3
- 4
- 3
- 2
- 3
- 2
- 3
- 3
- 11
- 2
- 2
- 2
- 3
- 2
- 15
- 2
- 2
- 7
- 4
- 4
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 45
- 2
- 2
- 2
- 2
- 7
- 4
- 3
- 3
- 2
- 2
- 3
- 3
- 6
- 2
- 2
- 5
- 2
- 2
- 54
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 5
- 6
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 5
- 3
- 2
- 2
- 2
- 3
- 9
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 5
- 4
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 8
- 4
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 9
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 16
- 17
- 7
- 3
- 3
- 2
- 7
- 3
- 2
- 2
- 5
- 3
- 5
- 2
- 3
- 2
- 17
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 12
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 6
- 14
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 19
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 4
- 20
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 2
- 58
- 2
- 22
- 2
- 5
- 4
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 9
- 17
- 16
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 9
- 12
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 10
- 3
- 2
- 4
- 7
- 2
- 8
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 6
- 6
- 4
- 5
- 2
- 13
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 6
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 3
- 6
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- Verlag
-
- 1259
- 196
- 1
- 9
- Preis
-
- 73
- 1197
- 195
- Sprachen
-
- 1465
- Verfügbarkeit
-
- 1465
- Katalog
-
- 1465
- 23
-
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
-
Gleich / Komjáthy / Litvak Algorithms and Models for the Web Graph
12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26783-8Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Brodnik / Lopez-Ortiz / Raman Space-Efficient Data Structures, Streams, and Algorithms
Papers in Honor of J. Ian Munro, on the Occasion of His 66th BirthdayErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40272-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
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
-
Bonato / Graham / Pralat Algorithms and Models for the Web Graph
13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14–15, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-49787-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Gleich / Komjáthy / Litvak Algorithms and Models for the Web Graph
12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-26784-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark50,28 € (inkl. MwSt.)
sofort verfügbar50,28 € (inkl. MwSt.)
sofort verfügbar
-
Bonato / Chung Algorithms and Models for the Web-Graph
5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77003-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
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: SpringerISBN: 978-3-319-44877-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Avratchenkov / Donato / Litvak Algorithms and Models for the Web-Graph
6th International Workshop, WAW 2009 Barcelona, Spain, February 12-13, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-540-95994-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Devismes / Mittal Stabilization, Safety, and Security of Distributed Systems
22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-64347-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bonato / Graham / Pralat Algorithms and Models for the Web Graph
13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49786-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Iwama / Kawano / Murao Theory of Quantum Computation, Communication, and Cryptography
7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-35655-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (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
-
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
-
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
-
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
-
Colinet / Katrenko / Rendsvig Pristine Perspectives on Logic, Language and Computation
ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44116-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark50,28 € (inkl. MwSt.)
sofort verfügbar50,28 € (inkl. MwSt.)
sofort verfügbar
-
Frappier / Glässer / Khurshid Abstract State Machines, Alloy, B and Z
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11810-4Medium: 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
-
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
-
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
-
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
-
Ferrández Vicente / Álvarez-Sánchez / de la Paz López From Bioinspired Systems and Biomedical Applications to Machine Learning
8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part IIErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-19651-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part IErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-34026-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
