Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 43 Algorithmen & Datenstrukturen
- 5 Compiler
- 18 Funktionale, Logische, Parallele und Visuelle Programmierung
- 17 Grafikprogrammierung
- 4 Objektorientierte Programmierung
- 76 Programmier- und Skriptsprachen
- 83 Programmierung: Methoden und Allgemeines
- 49 Prozedurale Programmierung
- 363 Software Engineering
- 10 Web Services
- 1 Webprogrammierung
- Medium
-
- 408
- Erscheinungsjahr
-
- 1
- 11
- 16
- 19
- 25
- 19
- 29
- 17
- 19
- 31
- 26
- 20
- 29
- 26
- 30
- 35
- 28
- 27
- Autoren
-
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 5
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 4
- 2
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 3
- 1
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 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
- 2
- 1
- 1
- 1
- 6
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Verlag
-
- 408
- Preis
-
- 26
- 355
- 27
- Sprachen
-
- 408
- Verfügbarkeit
-
- 408
- Katalog
-
- 408
- 21
-
Hou / Ganesh Automated Technology for Verification and Analysis
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-88884-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Akehurst / Vogel / Paige Model Driven Architecture - Foundations and Applications
Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72900-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Van Hung / Ogawa Automated Technology for Verification and Analysis
11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-02443-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Doherty / Blandford Interactive Systems. Design, Specification, and Verification
13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-69553-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Lahiri / Wang Automated Technology for Verification and Analysis
16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-01089-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Blass / Cégielski / Dershowitz Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday1. Auflage 2020Verlag: SpringerISBN: 978-3-030-48005-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
de Boer / Bonsangue / Hallerstede Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers2010Verlag: SpringerISBN: 978-3-642-17070-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bauer / Großmann / Seehusen Risk Assessment and Risk-Driven Testing
First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07075-9Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
D'Souza / Narayan Kumar Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68166-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bonsangue / Graf / de Roever Formal Methods for Components and Objects
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised LecturesErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-92187-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Artho / Legay / Peled Automated Technology for Verification and Analysis
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46519-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Chen / Cheng / Esparza Automated Technology for Verification and Analysis
17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-31783-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bouajjani / Chin Automated Technology for Verification and Analysis
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15642-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Graham / Palanque Interactive Systems. Design, Specification, and Verification
15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70568-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rensink / Sánchez Cuadrado Theory and Practice of Model Transformation
11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-93316-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Jörges Construction and Evolution of Code Generators
A Model-Driven and Service-Oriented Approach1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36126-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Beckert / Damiani / de Boer Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-35886-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Aichernig / de Boer / Bonsangue Formal Methods for Components and Objects
9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 20101. Auflage 2011Verlag: SpringerISBN: 978-3-642-25270-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rensink / Warmer Model-Driven Architecture - Foundations and Applications
Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35909-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hung / Sokolsky Automated Technology for Verification and Analysis
18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-59151-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Finkbeiner / Pu / Zhang Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24952-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hildebrandt / Ravara / van der Werf Web Services, Formal Methods, and Behavioral Types
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33611-4Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Jacko Human-Computer Interaction. Interaction Design and Usability
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73104-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Nambiar / Poess Selected Topics in Performance Evaluation and Benchmarking
4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36726-7Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Petrucci / Seceleanu / Cavalcanti Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67112-3Medium: 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
