Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1151
- 349
- Erscheinungsjahr
-
- 6
- 78
- 96
- 97
- 96
- 86
- 89
- 101
- 98
- 100
- 112
- 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
- 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
- 5
- 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
- 2
- 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
-
- 1302
- 185
- 1
- 2
- 10
- Preis
-
- 64
- 1235
- 201
- Sprachen
-
- 1500
- Verfügbarkeit
-
- 1500
- Katalog
-
- 1500
- 16
-
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: SpringerISBN: 978-3-030-77473-8Medium: 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 -
Bertrand / Jansen Formal Modeling and Analysis of Timed Systems
18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-57627-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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, Proceedings2010Verlag: SpringerISBN: 978-3-642-18008-8Medium: 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 -
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 -
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 -
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 -
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 -
Liu Structured Object-Oriented Formal Language and Method
Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39277-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (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: SpringerISBN: 978-3-319-44877-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Legay / Bozga Formal Modeling and Analysis of Timed Systems
12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10511-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Guerraoui / Romano Transactional Memory. Foundations, Algorithms, Tools, and Applications
COST Action Euro-TM IC10012015Verlag: SpringerISBN: 978-3-319-14719-2Medium: 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
Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-04914-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Miao / Tian / Liu Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-41417-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kaminski / Pralat / Szufel Algorithms and Models for the Web Graph
17th International Workshop, WAW 2020, Warsaw, Poland, September 21-22, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-48477-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ghaffari / Nesterenko / Tixeuil Stabilization, Safety, and Security of Distributed Systems
21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-34991-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, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16022-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mira / Ferrández / Alvarez Sanchez Bioinspired Applications in Artificial and Natural Computation
Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part IIErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02266-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Felber / Garg Stabilization, Safety, and Security of Distributed Systems
16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11763-8Medium: 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
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-17403-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (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: Springer International PublishingISBN: 978-3-319-67810-8Medium: 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 II
9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31499-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort