Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 217 Algorithmen & Datenstrukturen
- 16 Compiler
- 79 Funktionale, Logische, Parallele und Visuelle Programmierung
- 77 Grafikprogrammierung
- 1 Microsoft Programmierung
- 1 Objektorientierte Programmierung
- 51 Programmier- und Skriptsprachen
- 150 Programmierung: Methoden und Allgemeines
- 28 Prozedurale Programmierung
- 237 Software Engineering
- 12 Spiele-Programmierung, Rendering, Animation
- 1 Webprogrammierung
- Medium
-
- 541
- Erscheinungsjahr
-
- 14
- 15
- 18
- 25
- 12
- 24
- 23
- 21
- 29
- 27
- 33
- 57
- 40
- 50
- 54
- 50
- 49
- Autoren
-
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 14
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 6
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 17
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 19
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 8
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 11
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 15
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 4
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 3
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 8
- 2
- 3
- 2
- 2
- 2
- 2
- 17
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 6
- 2
- 2
- 3
- 2
- 10
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- Verlag
-
- 535
- 6
- Preis
-
- 22
- 410
- 109
- Sprachen
-
- 541
- Verfügbarkeit
-
- 541
- Katalog
-
- 541
- 8
Der Inhalt wurde erfolgreich kopiert
-
Cassez / Jard Formal Modeling and Analysis of Timed Systems
6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85777-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gleich / Komjáthy / Litvak Algorithms and Models for the Web Graph
12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26783-8Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Brodnik / Lopez-Ortiz / Raman Space-Efficient Data Structures, Streams, and Algorithms
Papers in Honor of J. Ian Munro, on the Occasion of His 66th BirthdayErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40272-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kullmann Theory and Applications of Satisfiability Testing - SAT 2009
12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02776-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bonato / Chung Algorithms and Models for the Web-Graph
5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77003-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bonato / Graham / Pralat Algorithms and Models for the Web Graph
13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49786-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Xiang / Cuzzocrea / Hobbs Algorithms and Architectures for Parallel Processing, Part II
11th International Conference, ICA3PP 2011, Workshops, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24668-5Medium: 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
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34031-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Marchiori / Moore Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78756-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bras-Amorós / Høholdt Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
18th International Symposium, AAECC-18, Tarragona, Sapin, June 8-12, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02180-0Medium: 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
10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-89158-9Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Applications
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III1. Auflage 2020Verlag: SpringerISBN: 978-3-030-61466-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Biere / Gomes Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37206-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Stützle / Birattari / Hoos Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics
International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03750-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Donatelli / Thiagarajan 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, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34699-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: 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: 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: Foundational Techniques
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47165-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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: 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
-
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
-
Kliemann / Sanders Algorithm Engineering
Selected Results and Surveys1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49486-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Eleftherakis / Kefalas / Paun Membrane Computing
8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77311-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Mauri / Paun / Pérez-Jiménez Membrane Computing
5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25080-7Medium: 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
