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
-
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 -
Hebrard / Musliu Integration of Constraint Programming, Artificial Intelligence, and Operations Research
17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58941-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Salvagnin / Lombardi Integration of AI and OR Techniques in Constraint Programming
14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-59775-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brodnik / Tort Informatics in Schools: Improvement of Informatics Knowledge and Perception
9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46746-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 -
Ait Ameur / Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z
4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-43651-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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: SpringerISBN: 978-3-319-45233-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kolodziej / Kolodziej / González-Vélez High-Performance Modelling and Simulation for Big Data Applications
Selected Results of the COST Action IC1406 cHiPSet1. Auflage 2019Verlag: SpringerISBN: 978-3-030-16271-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jarvis / Wright / Hammond High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation
5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected PapersErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-17248-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark50,28 € (inkl. MwSt.)
sofort verfügbar50,28 € (inkl. MwSt.)
sofort verfügbar -
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: SpringerISBN: 978-3-319-33599-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73093-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vanneschi / Bush / Giacobini Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-37188-2Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 Werktage -
Middeldorp / van Oostrom / van Raamsdonk Processes, Terms and Cycles: Steps on the Road to Infinity
Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30911-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II1. Auflage 2020Verlag: SpringerISBN: 978-3-030-61469-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thulasiraman / He / Xu Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops
ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74766-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03426-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-61470-6Medium: 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. 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 -
Tetko / Ku°rková / Karpov Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing
28th International Conference on Artificial Neural Networks, Munich, Germany, September 17-19, 2019, Proceedings, Part III1. Auflage 2019Verlag: SpringerISBN: 978-3-030-30507-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03427-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-49860-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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: SpringerISBN: 978-3-030-03423-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Omatu / Rocha / Bravo Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part IIErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02480-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,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