Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1130
- 337
- Erscheinungsjahr
-
- 9
- 91
- 84
- 94
- 110
- 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
- 3
- 2
- 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
- 2
- 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
- 2
- 4
- 2
- 26
- 12
- 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
- 3
- 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
- 4
- 3
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 2
- 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
- 2
- 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
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 11
- 2
- 7
- 3
- 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
- 12
- 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
- 2
- 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
- 2
- 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
- 7
- 14
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 20
- 3
- 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
- 3
- 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
- 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
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 3
- 6
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- Verlag
-
- 1259
- 198
- 1
- 9
- Preis
-
- 73
- 1199
- 195
- Sprachen
-
- 1467
- Verfügbarkeit
-
- 1467
- Katalog
-
- 1467
- 23
-
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
-
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
-
Fahrenberg / Tripakis Formal Modeling and Analysis of Timed Systems
9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-24310-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Iwama / Kawano / Murao Theory of Quantum Computation, Communication, and Cryptography
7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-35656-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar
-
Fermüller / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-16242-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
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
-
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
-
Lutz / Sattler / Tinelli Description Logic, Theory Combination, and All That
Essays Dedicated to Franz Baader on the Occasion of His 60th BirthdayErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-22102-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Derrick / Fitzgerald / Gnesi Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30884-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage53,49 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage
-
Fermüller / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16241-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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
-
Alvim / Chatzikokolakis / Olarte The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday1. Auflage 2019Verlag: SpringerISBN: 978-3-030-31174-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
-
Liu / Duan Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected PapersErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-17404-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark42,79 € (inkl. MwSt.)
sofort verfügbar42,79 € (inkl. MwSt.)
sofort verfügbar
-
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part II
8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-14403-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (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
-
Bonato / Mitzenmacher / Pralat Algorithms and Models for the Web Graph
10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, ProceedingsErscheinungsjahr 2013Verlag: Springer International PublishingISBN: 978-3-319-03536-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Ouaknine / Vaandrager Formal Modeling and Analysis of Timed Systems
7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04367-3Medium: 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
-
Jurdzinski / Nickovic Formal Modeling and Analysis of Timed Systems
10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33364-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cassez / Jard Formal Modeling and Analysis of Timed Systems
6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85777-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bonakdarpour / Petit Stabilization, Safety, and Security of Distributed Systems
18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49258-2Medium: 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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
