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
-
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 -
Ogihara / Tarui Theory and Applications of Models of Computation
8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20876-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Ogihara / Tarui Theory and Applications of Models of Computation
8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-20877-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (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 -
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 -
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 -
Cooper / Löwe / Sorbi Computation and Logic in the Real World
Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73000-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
McMillan / Middeldorp / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-45220-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Panigraphi / Suganthan / Das Swarm, Evolutionary, and Memetic Computing, Part II
Second International Conference, SEMCCO 2011, Visakhapatnam, India, December 19-21, 2011, Proceedings, Part II1. Auflage 2011Verlag: SpringerISBN: 978-3-642-27241-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Datta / Gradinariu Stabilization, Safety, and Security of Distributed Systems
8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, ProceedingsErscheinungsjahr 2006Verlag: SpringerISBN: 978-3-540-49018-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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: 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 -
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 -
Frangi / Radeva / Santos Functional Imaging and Modeling of the Heart
Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26161-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort