Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1130
- 335
- Erscheinungsjahr
-
- 9
- 91
- 84
- 94
- 108
- 84
- 95
- 78
- 101
- 99
- 108
- 110
- 98
- 64
- 61
- 57
- 59
- 65
- Autoren
-
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 3
- 5
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 4
- 2
- 1
- 1
- 6
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 53
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 6
- 13
- 3
- 11
- 2
- 2
- 5
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 6
- 4
- 5
- 4
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 4
- 4
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 8
- 3
- 2
- 2
- 5
- 4
- 7
- 2
- 2
- 2
- 2
- 4
- 3
- 6
- 3
- 2
- 9
- 7
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 3
- 4
- 2
- 25
- 13
- 2
- 6
- 2
- 2
- 4
- 3
- 2
- 6
- 5
- 7
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 4
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 3
- 13
- 2
- 7
- 4
- 60
- 4
- 6
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 2
- 3
- 5
- 3
- 2
- 2
- 4
- 2
- 4
- 4
- 5
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 5
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 5
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 7
- 3
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 4
- 11
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 15
- 2
- 4
- 6
- 5
- 5
- 3
- 5
- 5
- 3
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 11
- 2
- 8
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 4
- 6
- 3
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 12
- 2
- 3
- 5
- 2
- 6
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 7
- 2
- 2
- 3
- 2
- 8
- 2
- 2
- 7
- 2
- 3
- 3
- 2
- 2
- 8
- 4
- 3
- 4
- 3
- 2
- 3
- 2
- 3
- 3
- 11
- 2
- 2
- 2
- 3
- 2
- 15
- 2
- 2
- 7
- 4
- 4
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 45
- 2
- 2
- 2
- 2
- 7
- 4
- 3
- 3
- 2
- 2
- 3
- 3
- 6
- 2
- 2
- 5
- 2
- 2
- 54
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 5
- 6
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 5
- 3
- 2
- 2
- 2
- 3
- 9
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 5
- 4
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 8
- 4
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 9
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 16
- 17
- 7
- 3
- 3
- 2
- 7
- 3
- 2
- 2
- 5
- 3
- 5
- 2
- 3
- 2
- 17
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 12
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 6
- 14
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 19
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 4
- 20
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 2
- 58
- 2
- 22
- 2
- 5
- 4
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 9
- 17
- 16
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 9
- 12
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 10
- 3
- 2
- 4
- 7
- 2
- 8
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 6
- 6
- 4
- 5
- 2
- 13
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 6
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 3
- 6
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- Verlag
-
- 1259
- 196
- 1
- 9
- Preis
-
- 73
- 1197
- 195
- Sprachen
-
- 1465
- Verfügbarkeit
-
- 1465
- Katalog
-
- 1465
- 23
-
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
-
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
-
Tetko / Ku°rková / Karpov Artificial Neural Networks and Machine Learning - ICANN 2019: Deep Learning
28th International Conference on Artificial Neural Networks, Munich, Germany, September 17-19, 2019, Proceedings, Part II1. Auflage 2019Verlag: SpringerISBN: 978-3-030-30483-6Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (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
-
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: Springer International PublishingISBN: 978-3-319-47169-3Medium: 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
-
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 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
-
Goldreich Property Testing
Current Research and SurveysErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-16367-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
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, 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
-
Ferreira / Mendes / Menghi Formal Methods Teaching
4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-91550-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar58,84 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Barendsen / Chytas Informatics in Schools. Rethinking Computing Education
14th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2021, Virtual Event, November 3–5, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-90228-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar58,84 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Moot / Retore The Logic of Categorial Grammars
A deductive account of natural language syntax and semantics1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31554-1Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Anderson / Bhanja Field-Coupled Nanocomputing
Paradigms, Progress, and PerspectivesErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-43722-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Mittermeir / Syslo Informatics Education - Supporting Computational Thinking
Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008 Torun Poland, July 1-4, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69923-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Flocchini / Prencipe / Santoro Distributed Computing by Mobile Entities
Current Research in Moving and Computing1. Auflage 2019Verlag: SpringerISBN: 978-3-030-11071-0Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (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
-
Keller / Kramer / Weiss Facing the Multicore-Challenge
Aspects of New Paradigms and Technologies in Parallel Computing1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16232-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ferreira / Mendes / Menghi Formal Methods Teaching
4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-91549-0Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (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
