Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1153
- 348
- Erscheinungsjahr
-
- 6
- 78
- 95
- 98
- 96
- 86
- 89
- 101
- 98
- 100
- 113
- 103
- 111
- 68
- 65
- 66
- 59
- 69
- Autoren
-
- 1
- 4
- 1
- 1
- 2
- 5
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 8
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 3
- 50
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 5
- 10
- 2
- 3
- 10
- 3
- 6
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 7
- 2
- 2
- 2
- 8
- 3
- 6
- 2
- 2
- 3
- 6
- 5
- 3
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 6
- 6
- 2
- 2
- 3
- 2
- 3
- 6
- 3
- 2
- 3
- 2
- 9
- 2
- 2
- 2
- 3
- 3
- 3
- 5
- 7
- 10
- 4
- 2
- 3
- 5
- 3
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 4
- 4
- 2
- 5
- 2
- 2
- 3
- 18
- 17
- 4
- 2
- 2
- 2
- 2
- 5
- 5
- 6
- 2
- 8
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 3
- 5
- 6
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 3
- 2
- 3
- 3
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 5
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 10
- 4
- 2
- 3
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 14
- 2
- 9
- 2
- 56
- 5
- 4
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 3
- 3
- 4
- 3
- 2
- 3
- 3
- 2
- 5
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 8
- 3
- 2
- 3
- 5
- 3
- 7
- 3
- 4
- 2
- 2
- 3
- 3
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 11
- 2
- 2
- 3
- 6
- 2
- 4
- 10
- 3
- 3
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 4
- 3
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 7
- 2
- 2
- 19
- 2
- 4
- 2
- 2
- 4
- 4
- 5
- 4
- 3
- 3
- 3
- 4
- 2
- 4
- 2
- 2
- 5
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 14
- 2
- 12
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 5
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 11
- 2
- 2
- 10
- 2
- 4
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 7
- 2
- 2
- 4
- 2
- 2
- 6
- 7
- 2
- 4
- 5
- 4
- 6
- 2
- 5
- 2
- 3
- 2
- 2
- 13
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 16
- 2
- 6
- 3
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 43
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 51
- 2
- 5
- 4
- 4
- 3
- 6
- 2
- 2
- 3
- 5
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 8
- 3
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 5
- 6
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 9
- 6
- 2
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 9
- 2
- 7
- 3
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 6
- 2
- 3
- 2
- 3
- 2
- 9
- 17
- 12
- 2
- 6
- 11
- 2
- 4
- 3
- 4
- 3
- 4
- 4
- 2
- 2
- 18
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 9
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 4
- 6
- 3
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 13
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 10
- 15
- 6
- 3
- 2
- 7
- 16
- 2
- 13
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 5
- 4
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 12
- 2
- 55
- 2
- 3
- 17
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 5
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 10
- 15
- 12
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 5
- 4
- 2
- 2
- 2
- 4
- 10
- 11
- 5
- 4
- 4
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 11
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 7
- 2
- 3
- 2
- 3
- 5
- 3
- 4
- 2
- 3
- 2
- 3
- 10
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 13
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 6
- 6
- 6
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- Verlag
-
- 1304
- 184
- 1
- 2
- 10
- Preis
-
- 64
- 1236
- 201
- Sprachen
-
- 1501
- Verfügbarkeit
-
- 1501
- Katalog
-
- 1501
- 16
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-61361-7Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (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
-
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
-
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
-
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
-
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
-
Tannen / Wong / Libkin In Search of Elegance in the Theory and Practice of Computation
Essays dedicated to Peter BunemanErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41659-0Medium: 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
-
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
-
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
-
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
-
Gomes / Sellmann 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. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38170-6Medium: 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: SpringerISBN: 978-3-030-73202-8Medium: 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, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-13520-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Goldreich Property Testing
Current Research and Surveys1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16366-1Medium: 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
-
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 Werktage
-
Corne / Frisco / Paun Membrane Computing
9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-540-95884-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hromkovic / Královic / Vahrenhold Teaching Fundamental Concepts of Informatics
4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11375-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Charron-Bost / Pedone / Schiper Replication
Theory and PracticeErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-11294-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar85,59 € (inkl. MwSt.)
sofort verfügbar
-
Skrzypczak Descriptive Set Theoretic Methods in Automata Theory
Decidability and Topological Complexity1. Auflage 2016Verlag: SpringerISBN: 978-3-662-52946-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kliemann / Sanders Algorithm Engineering
Selected Results and Surveys1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-49487-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Kovalev / Müller / Paul A Pipelined Multi-core MIPS Machine
Hardware Implementation and Correctness ProofErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13905-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Babaoglu / Jelasity / Montresor Self-star Properties in Complex Information Systems
Conceptual and Practical Foundations1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26009-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
