Ergebnisse filtern
- Fachgebiet
- Medium
-
- 513
- 506
- Erscheinungsjahr
-
- 8
- 34
- 51
- 47
- 65
- 64
- 64
- 53
- 56
- 84
- 64
- 64
- 60
- 55
- 66
- 73
- 52
- 59
- Autoren
-
- 2
- 1
- 2
- 10
- 2
- 1
- 2
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 6
- 2
- 7
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 6
- 1
- 4
- 2
- 1
- 2
- 2
- 2
- 2
- 6
- 1
- 7
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 13
- 6
- 2
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 2
- 13
- 2
- 2
- 2
- 1
- 3
- 2
- 2
- 3
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 12
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 4
- 1
- 2
- 4
- 2
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 3
- 1
- 5
- 4
- 1
- 4
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 5
- 1
- 1
- 1
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 4
- 3
- 1
- 2
- 6
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 3
- 1
- 2
- 1
- 2
- 3
- 1
- 2
- 3
- 6
- 2
- 2
- 7
- 1
- 3
- 1
- 1
- 6
- 4
- 6
- 4
- 1
- 1
- 2
- 2
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 9
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 2
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 5
- 1
- 1
- 2
- 3
- 1
- 1
- 6
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 4
- 2
- 1
- 4
- 2
- 5
- 2
- 4
- 1
- 1
- 2
- 1
- 2
- 5
- 3
- 5
- 1
- 5
- 6
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 5
- 1
- 1
- 2
- 2
- 1
- 4
- 1
- 2
- 3
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 2
- 3
- 1
- 3
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 2
- 2
- 4
- 1
- 3
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 5
- 2
- 6
- 1
- 2
- 4
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 7
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 4
- 1
- 2
- 4
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 3
- 6
- 2
- 2
- 1
- 3
- 3
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 3
- 1
- 4
- 2
- 2
- 1
- 2
- 5
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 6
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 3
- 2
- 2
- 4
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 6
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 11
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 5
- 8
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 6
- 4
- 4
- 2
- 2
- 6
- 7
- 7
- 3
- 2
- 4
- 4
- 2
- 3
- 2
- 10
- 2
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 4
- 2
- 3
- 4
- 13
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 7
- 2
- 2
- 10
- 3
- 2
- 2
- 12
- 2
- 16
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 10
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 4
- 2
- 3
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 7
- 2
- 2
- 4
- 9
- 3
- 2
- 2
- 2
- 11
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- Verlag
-
- 516
- 87
- 402
- 13
- 1
- Preis
-
- 80
- 893
- 46
- Sprachen
-
- 1019
- Verfügbarkeit
-
- 1018
- 1
- Katalog
-
- 1019
- 16
-
Sánchez Cuadrado / Rensink 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: Springer International PublishingISBN: 978-3-319-93316-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kreische / Hartman Model Driven Architecture - Foundations and Applications
First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30026-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Giachino / Hähnle / de Boer Formal Methods for Components and Objects
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised LecturesErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40615-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar -
Kappel / Duddy Theory and Practice of Model Transformations
6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-38882-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Giachino / Bonsangue / Hähnle Formal Methods for Components and Objects
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures2013Verlag: SpringerISBN: 978-3-642-40614-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jörges Construction and Evolution of Code Generators
A Model-Driven and Service-Oriented Approach2013Verlag: SpringerISBN: 978-3-642-36126-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
de Boer / Bonsangue / Graf Formal Methods for Components and Objects
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures2005Verlag: SpringerISBN: 978-3-540-31939-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Alferes / Bertossi / Governatori Rule Technologies. Research, Tools, and Applications
10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-42019-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Beckert / Bonsangue / Damiani Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-35886-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vallecillo / Gray / Pierantonio Theory and Practice of Model Transformations
First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-69927-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Liu / Ravn Automated Technology for Verification and Analysis
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04761-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Kounev / Gorton Performance Evaluation: Metrics, Models and Benchmarks
SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69814-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar74,89 € (inkl. MwSt.)
sofort verfügbar -
Zhuge / Fox Grid and Cooperative Computing - GCC 2005
4th International Conference, Beijing, China, November 30 -- December 3, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30510-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
de Boer / Bonsangue / Graf Formal Methods for Components and Objects
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29131-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Paige / Hartman / Rensink Model Driven Architecture - Foundations and Applications
5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-02674-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Blass / Cégielski / Dershowitz Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-48006-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Bassiliades / Gottlob / Sadri Rule Technologies: Foundations, Tools, and Applications
9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, ProceedingsErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-21542-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Seehusen / Felderer / Großmann Risk Assessment and Risk-Driven Testing
Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-26416-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark42,79 € (inkl. MwSt.)
sofort verfügbar42,79 € (inkl. MwSt.)
sofort verfügbar -
Bultan / Hsiung Automated Technology for Verification and Analysis
9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-24372-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Jörges Construction and Evolution of Code Generators
A Model-Driven and Service-Oriented ApproachErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-36127-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Hou / Ganesh Automated Technology for Verification and Analysis
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-88885-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark80,24 € (inkl. MwSt.)
sofort verfügbar80,24 € (inkl. MwSt.)
sofort verfügbar -
Gilroy / Harrison Interactive Systems. Design Specification, and Verification
12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers2006Verlag: SpringerISBN: 978-3-540-34146-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Sokolsky / Hung Automated Technology for Verification and Analysis
18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-59151-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Biletskiy / Paschke Advances in Rule Interchange and Applications
International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75974-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort