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
-
Steffen / Margaria 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-47165-5Medium: 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. 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
-
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, Proceedings2007Verlag: SpringerISBN: 978-3-540-74767-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
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 Birthday2005Verlag: SpringerISBN: 978-3-540-32425-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
Steffen / Margaria 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-03423-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Min / Di Martino / Ruenger 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: Springer Berlin HeidelbergISBN: 978-3-540-49860-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Kranzlmüller / Tjoa Information and Communication on Technology for the Fight against Global Warming
First International Conference, ICT-GLOW 2011, Toulouse, France, August 30-31, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-23447-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
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 Tage
-
Margaria / Graf / Larsen Models, Mindsets, Meta: The What, the How, and the Why Not?
Essays Dedicated to Bernhard Steffen on the Occasion of His 60th BirthdayErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-22348-9Medium: 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: Discussion, Dissemination, Applications
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-47168-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
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 II2009Verlag: SpringerISBN: 978-3-642-02481-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar149,79 € (inkl. MwSt.)
sofort verfügbar
-
Coecke / Panangaden / Ong Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday2013Verlag: SpringerISBN: 978-3-642-38163-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45234-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Coecke / Ong / Panangaden Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
Essays Dedicted to Samson Abramsky on the Occasion of His 60th BirthdayErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-38164-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Achterberg / Beck Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-21311-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Achterberg / Beck Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21310-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Barták / Milano Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 20052005Verlag: SpringerISBN: 978-3-540-32264-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Perron / Trick Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings2008Verlag: SpringerISBN: 978-3-540-68155-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Milano / Barták Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 20052005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-26152-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Sellmann / Gomes Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings2013Verlag: SpringerISBN: 978-3-642-38170-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Aiello / van den Heuvel / Bouguettaya Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future
Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-73202-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Aiello / Bouguettaya / Tamburri Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future
Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-73203-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Müller-Hannemann / Schirra Algorithm Engineering
Bridging the Gap Between Algorithm Theory and Practice1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14865-1Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Hromkovic / Hromkovic / Královic Teaching Fundamental Concepts of Informatics
4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-11376-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Müller-Hannemann / Schirra Algorithm Engineering
Bridging the Gap Between Algorithm Theory and PracticeErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-14866-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark90,94 € (inkl. MwSt.)
sofort verfügbar90,94 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
