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
-
Chan / Lau / Trevisan Theory and Applications of Models of Computation
10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38235-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kratochvil / Li / Fiala Theory and Applications of Models of Computation
7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13561-3Medium: 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, 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 -
Liu / Duan / Tian Structured Object-Oriented Formal Language and Method
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-57707-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 -
Childs / Mosca Theory of Quantum Computation, Communication and Cryptography
4th Workshop, TQC 2009, Waterloo, Canada, May 11-13. Revised Selected PapersErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-10698-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar74,89 € (inkl. MwSt.)
sofort verfügbar -
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 -
Eigenmann / Li / Midkiff Languages and Compilers for High Performance Computing
17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28009-5Medium: 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 -
Bonato / Pralat / Pralat 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 -
Raskin / Thiagarajan Formal Modeling and Analysis of Timed Systems
5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75453-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Cooper Theory and Applications of Models of Computation
6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-02016-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bjørner / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28716-9Medium: 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-44115-2Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cai / Cooper / Zhu Theory and Applications of Models of Computation
4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72503-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Agrawal / Du / Duan Theory and Applications of Models of Computation
5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79227-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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, 2009Erscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-14390-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Miao / Tian / Liu Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected PapersErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-41418-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Guerraoui / Romano Transactional Memory. Foundations, Algorithms, Tools, and Applications
COST Action Euro-TM IC1001Erscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-14720-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Devismes / Mittal Stabilization, Safety, and Security of Distributed Systems
22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-64348-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort