Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1171
- 1121
- Erscheinungsjahr
-
- 10
- 108
- 133
- 142
- 154
- 116
- 133
- 136
- 143
- 159
- 157
- 135
- 144
- 125
- 129
- 105
- 120
- 142
- 1
- Autoren
-
- 2
- 3
- 3
- 3
- 2
- 2
- 9
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 15
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 72
- 2
- 3
- 2
- 2
- 5
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 3
- 16
- 4
- 2
- 2
- 2
- 17
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 8
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 3
- 4
- 3
- 5
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 4
- 2
- 6
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 4
- 9
- 2
- 2
- 2
- 2
- 6
- 2
- 7
- 2
- 5
- 2
- 4
- 5
- 3
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 12
- 2
- 3
- 2
- 2
- 6
- 3
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 3
- 2
- 2
- 2
- 6
- 5
- 2
- 2
- 6
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 8
- 3
- 11
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 7
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 13
- 4
- 2
- 2
- 7
- 2
- 2
- 3
- 3
- 7
- 3
- 3
- 5
- 2
- 11
- 3
- 2
- 12
- 10
- 2
- 2
- 6
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 9
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 6
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 3
- 6
- 3
- 2
- 2
- 7
- 3
- 2
- 3
- 3
- 35
- 12
- 9
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 18
- 2
- 2
- 10
- 2
- 10
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 3
- 7
- 5
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 4
- 2
- 5
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 7
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 10
- 7
- 4
- 3
- 3
- 4
- 8
- 5
- 4
- 3
- 4
- 16
- 8
- 3
- 4
- 4
- 3
- 10
- 26
- 3
- 8
- 3
- 85
- 5
- 4
- 5
- 5
- 3
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 11
- 5
- 6
- 5
- 4
- 5
- 4
- 3
- 8
- 6
- 4
- 3
- 4
- 3
- 3
- 3
- 6
- 3
- 3
- 6
- 4
- 3
- 3
- 4
- 6
- 9
- 3
- 3
- 4
- 6
- 11
- 3
- 13
- 3
- 8
- 4
- 4
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 11
- 3
- 9
- 4
- 3
- 3
- 4
- 3
- 5
- 11
- 4
- 3
- 4
- 8
- 3
- 8
- 18
- 6
- 4
- 3
- 4
- 3
- 5
- 3
- 5
- 6
- 3
- 3
- 6
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 3
- 7
- 3
- 4
- 6
- 3
- 8
- 4
- 3
- 4
- 5
- 6
- 3
- 4
- 16
- 4
- 4
- 10
- 4
- 5
- 5
- 4
- 8
- 5
- 3
- 8
- 14
- 5
- 3
- 3
- 6
- 3
- 9
- 3
- 4
- 6
- 13
- 8
- 4
- 6
- 5
- 4
- 4
- 5
- 11
- 3
- 5
- 4
- 7
- 7
- 4
- 4
- 3
- 4
- 7
- 4
- 5
- 4
- 3
- 4
- 4
- 3
- 4
- 8
- 15
- 3
- 6
- 9
- 3
- 5
- 3
- 4
- 6
- 3
- 6
- 10
- 5
- 6
- 3
- 3
- 8
- 6
- 6
- 4
- 3
- 3
- 5
- 9
- 5
- 3
- 3
- 5
- 5
- 22
- 6
- 3
- 6
- 3
- 18
- 5
- 4
- 7
- 7
- 9
- 3
- 9
- 5
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 61
- 4
- 3
- 4
- 6
- 3
- 6
- 4
- 3
- 6
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 12
- 73
- 3
- 3
- 4
- 3
- 4
- 7
- 7
- 9
- 3
- 3
- 6
- 4
- 5
- 4
- 3
- 5
- 4
- 4
- 4
- 4
- 3
- 14
- 5
- 4
- 3
- 3
- 3
- 7
- 5
- 8
- 7
- 5
- 3
- 5
- 3
- 3
- 4
- 4
- 10
- 5
- 4
- 3
- 3
- 4
- 3
- 6
- 4
- 4
- 13
- 8
- 3
- 5
- 4
- 5
- 3
- 5
- 3
- 3
- 11
- 4
- 4
- 7
- 4
- 4
- 5
- 3
- 3
- 3
- 6
- 7
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 12
- 4
- 5
- 15
- 28
- 11
- 3
- 6
- 3
- 11
- 9
- 3
- 4
- 7
- 3
- 23
- 3
- 3
- 3
- 6
- 3
- 3
- 7
- 3
- 3
- 15
- 4
- 9
- 3
- 3
- 6
- 3
- 9
- 5
- 3
- 3
- 9
- 5
- 9
- 5
- 9
- 4
- 6
- 3
- 4
- 4
- 3
- 3
- 4
- 6
- 21
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 18
- 7
- 5
- 3
- 4
- 12
- 27
- 24
- 3
- 3
- 5
- 4
- 10
- 10
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 6
- 4
- 20
- 3
- 83
- 4
- 30
- 3
- 4
- 5
- 3
- 4
- 4
- 4
- 3
- 5
- 3
- 5
- 20
- 19
- 18
- 3
- 3
- 3
- 4
- 10
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 4
- 3
- 5
- 6
- 3
- 3
- 4
- 4
- 3
- 5
- 3
- 3
- 4
- 10
- 11
- 8
- 5
- 3
- 4
- 5
- 4
- 4
- 9
- 3
- 5
- 7
- 3
- 3
- 3
- 17
- 7
- 10
- 3
- 4
- 5
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 8
- 7
- 6
- 7
- 3
- 7
- 3
- 19
- 4
- 4
- 3
- 3
- 3
- 12
- 3
- 3
- 5
- 3
- 4
- 7
- 3
- 12
- 4
- 8
- 5
- 6
- 5
- 6
- 3
- 3
- 3
- 5
- 4
- 6
- 3
- 4
- 3
- Verlag
-
- 1143
- 172
- 936
- 34
- 7
- Preis
-
- 101
- 1956
- 235
- Sprachen
-
- 2292
- Verfügbarkeit
-
- 2288
- 4
- Katalog
-
- 2292
- 20
-
Butler / Schewe / Mashkoor Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33600-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Dwivedi / Mäntymäki / Ravishankar Social Media: The Good, the Bad, and the Ugly
15th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2016, Swansea, UK, September 13–15, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-45234-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03418-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Verification
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03420-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Kleijn / Yakovlev Petri Nets and Other Models of Concurrency - ICATPN 2007
28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-73094-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Marchiori / Moore Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-78757-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
van Hoeve Integration of Constraint Programming, Artificial Intelligence, and Operations Research
15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-93031-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Beigl / Lukowicz Systems Aspects in Organic and Pervasive Computing - ARCS 2005
18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-31967-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03417-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Butler / Raschke / Hoang Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-91271-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Jarvis / Wright / Hammond High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation
4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected PapersErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-10214-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Quimper Integration of AI and OR Techniques in Constraint Programming
13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33954-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Stergiou / Rousseau Integration of Constraint Programming, Artificial Intelligence, and Operations Research
16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-19211-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Thiagarajan / Donatelli Petri Nets and Other Models of Concurrency - ICATPN 2006
27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-34699-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Jarvis / Hammond / Wright High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation
4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers2014Verlag: Springer International PublishingISBN: 978-3-319-10213-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Ferrández Vicente / Álvarez-Sánchez / Adeli From Bioinspired Systems and Biomedical Applications to Machine Learning
8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3-7, 2019, Proceedings, Part II1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-19650-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Pizzuti / Ritchie / Giacobini Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12210-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Butler / Biro / Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33599-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Simonis Integration of AI and OR Techniques in Constraint Programming
11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-07045-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Yakovlev / Kleijn Petri Nets and Other Models of Concurrency - ICATPN 2007
28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73093-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Min / Di Martino / Yang Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops
ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-49862-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-47166-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
Duch / Oja / Zadrozny Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005
15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28755-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Middeldorp / de Vrijer / van Oostrom Processes, Terms and Cycles: Steps on the Road to Infinity
Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30911-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03424-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
