Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1175
- Erscheinungsjahr
-
- 6
- 62
- 71
- 73
- 69
- 66
- 64
- 69
- 68
- 87
- 77
- 63
- 73
- 63
- 52
- 74
- 69
- 69
- Autoren
-
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 3
- 2
- 1
- 4
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 4
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 31
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 9
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 4
- 2
- 1
- 2
- 2
- 4
- 1
- 1
- 6
- 3
- 1
- 1
- 5
- 1
- 2
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 2
- 2
- 2
- 3
- 1
- 3
- 2
- 1
- 2
- 15
- 11
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 10
- 2
- 2
- 6
- 5
- 1
- 1
- 1
- 1
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 3
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 5
- 10
- 3
- 35
- 4
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 5
- 2
- 3
- 4
- 4
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 14
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 7
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 6
- 2
- 3
- 6
- 4
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 4
- 7
- 4
- 3
- 5
- 6
- 2
- 3
- 2
- 2
- 2
- 11
- 3
- 3
- 3
- 3
- 2
- 2
- 11
- 2
- 2
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 26
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 5
- 31
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 8
- 3
- 3
- 2
- 5
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 6
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 10
- 8
- 7
- 3
- 3
- 2
- 5
- 4
- 3
- 4
- 3
- 17
- 2
- 2
- 3
- 6
- 3
- 2
- 3
- 2
- 2
- 9
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 11
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 9
- 12
- 2
- 3
- 2
- 2
- 2
- 6
- 9
- 11
- 2
- 2
- 4
- 2
- 7
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 34
- 2
- 12
- 2
- 4
- 3
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 9
- 10
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 7
- 2
- 6
- 7
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 5
- 4
- 3
- 2
- 2
- 8
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 3
- 4
- 3
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- Verlag
-
- 1162
- 1
- 12
- Preis
-
- 53
- 918
- 204
- Sprachen
-
- 1175
- Verfügbarkeit
-
- 1175
- Katalog
-
- 1175
- 17
Der Inhalt wurde erfolgreich kopiert
-
Dima / Shirmohammadi Formal Modeling and Analysis of Timed Systems
19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-85036-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 -
Bonato / Pralat / Raigorodskii Algorithms and Models for the Web Graph
15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92870-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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
Pizzuti / Ritchie / Giacobini Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
7th European Conference, EvoBIO 2009 Tübingen, Germany, April 15-17, 2009 Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01183-2Medium: 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 -
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 -
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 -
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 -
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 -
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 -
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 -
Ekárt / Liapis / Castro Pena Computational Intelligence in Music, Sound, Art and Design
8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-16666-3Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hertling / Hoffmann / Luther Reliable Implementation of Real Number Algorithms: Theory and Practice
International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85520-0Medium: 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