Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1205
- 348
- Erscheinungsjahr
-
- 9
- 87
- 91
- 126
- 102
- 95
- 98
- 98
- 101
- 124
- 103
- 102
- 106
- 57
- 65
- 67
- 57
- 65
- Autoren
-
- 3
- 5
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 7
- 4
- 2
- 3
- 3
- 3
- 4
- 53
- 2
- 3
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 14
- 2
- 10
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 3
- 5
- 3
- 5
- 2
- 2
- 4
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 8
- 2
- 2
- 2
- 5
- 3
- 3
- 4
- 2
- 2
- 2
- 10
- 2
- 2
- 2
- 6
- 7
- 2
- 5
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 7
- 2
- 2
- 4
- 5
- 4
- 2
- 3
- 3
- 2
- 2
- 9
- 3
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 9
- 9
- 6
- 4
- 3
- 2
- 2
- 9
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 5
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 23
- 14
- 4
- 2
- 2
- 4
- 3
- 3
- 2
- 12
- 2
- 9
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 5
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 2
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 6
- 4
- 4
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 14
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 4
- 12
- 7
- 60
- 5
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 4
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 3
- 10
- 5
- 2
- 3
- 2
- 2
- 2
- 6
- 14
- 4
- 3
- 5
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 4
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 7
- 2
- 2
- 17
- 2
- 2
- 2
- 5
- 4
- 2
- 3
- 8
- 5
- 2
- 4
- 5
- 8
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 10
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 10
- 2
- 3
- 3
- 7
- 7
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 6
- 5
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 8
- 3
- 3
- 2
- 2
- 6
- 4
- 4
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 17
- 3
- 3
- 2
- 7
- 3
- 2
- 17
- 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
- 44
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 8
- 54
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 7
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 6
- 5
- 3
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 4
- 3
- 4
- 4
- 2
- 2
- 4
- 2
- 2
- 6
- 5
- 3
- 4
- 2
- 3
- 2
- 3
- 4
- 6
- 2
- 2
- 2
- 6
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 3
- 2
- 6
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 13
- 20
- 9
- 4
- 5
- 2
- 10
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 24
- 2
- 4
- 2
- 6
- 3
- 3
- 2
- 3
- 4
- 2
- 3
- 14
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 3
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 15
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 19
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 6
- 19
- 2
- 2
- 17
- 3
- 2
- 3
- 6
- 3
- 3
- 8
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 14
- 2
- 59
- 2
- 26
- 5
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 14
- 11
- 16
- 2
- 2
- 2
- 2
- 3
- 10
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 6
- 7
- 6
- 5
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 2
- 3
- 3
- 12
- 2
- 4
- 4
- 3
- 3
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 10
- 5
- 5
- 3
- 2
- 2
- 2
- 3
- 3
- 8
- 3
- 15
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 8
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 4
- 3
- 4
- 3
- 4
- Verlag
-
- 1334
- 202
- 8
- 9
- Preis
-
- 74
- 1268
- 211
- Sprachen
-
- 1553
- 1
- Verfügbarkeit
-
- 1553
- Katalog
-
- 1553
- 20
-
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
-
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
-
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: 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
-
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
-
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
-
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
-
Tannen / Wong / Libkin In Search of Elegance in the Theory and Practice of Computation
Essays dedicated to Peter BunemanErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41660-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
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 Birthday1. Auflage 2019Verlag: SpringerISBN: 978-3-030-22347-2Medium: 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: Discussion, Dissemination, Applications
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47168-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
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, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-23446-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
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
-
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 Birthday1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38163-8Medium: 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. Technologies for Mastering Change
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45233-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Lodi / Milano / Toth Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-13519-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Beldiceanu / Jussien / Pinson Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June 1, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29827-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
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, 20051. Auflage 2005Verlag: SpringerISBN: 978-3-540-26152-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Van Hentenryck / Wolsey Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-72396-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
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
-
Durand / Thomas STACS 2006
23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32301-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Thomas / Weil STACS 2007
24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-70917-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Branke / Deb / Miettinen Multiobjective Optimization
Interactive and Evolutionary Approaches1. Auflage 2008Verlag: SpringerISBN: 978-3-540-88907-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
van Benthem / Ghosh / Verbrugge Models of Strategic Reasoning
Logics, Games, and Communities1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48539-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ganesalingam The Language of Mathematics
A Linguistic and Philosophical Investigation1. Auflage 2013Verlag: SpringerISBN: 978-3-642-37011-3Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cheung / Kwok / Shang Blended Learning: Aligning Theory with Practices
9th International Conference, ICBL 2016, Beijing, China, July 19-21, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-41165-1Medium: 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
