Ergebnisse filtern
-
- 78
- 3
- 1
-
- 10
- 50
- 22
-
- 80
- 3
-
- 82
-
- 82
- 3
Modellierung, UML, SysML
-
Lakshmanan / Robinson / Munn Design Patterns für Machine Learning
Entwurfsmuster für Datenaufbereitung, Modellbildung und MLOps - Best Practices für die gesamte ML-Pipeline1. Auflage 2021Verlag: Dpunkt.Verlag GmbHISBN: 978-3-96009-164-6Medium: Buch44,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Fisseler Learning and Modeling with Probabilistic Conditional Logic
Erscheinungsjahr 2010Verlag: IOS PressISBN: 978-1-60750-098-8Medium: BuchLieferzeit ca. 10 Werktage -
Schellhase Entwicklungsmethoden und Architekturkonzepte für Web-Applikationen
Erstellung und Administration Web-basierter Lernumgebungen2001Verlag: Deutscher UniversitätsverlagISBN: 978-3-8244-7379-3Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lecomte / Ribeiro Formal Methods: Foundations and Applications
19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-49814-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Seidl / Kappel / Scholz UML @ Classroom
An Introduction to Object-Oriented Modeling2015Verlag: Springer International PublishingISBN: 978-3-319-12741-5Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ricci / Lawless / Bontcheva User Modeling, Adaptation and Personalization
23rd International Conference, UMAP 2015, Dublin, Ireland, June 29 -- July 3, 2015. Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-20266-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brézillon / Dapoigny / Blackburn Modeling and Using Context
8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-40971-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wu / Kimbrough Formal Modelling in Electronic Commerce
2005Verlag: SpringerISBN: 978-3-642-43561-4Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thurimella / Maalej Managing Requirements Knowledge
2013Verlag: SpringerISBN: 978-3-642-44382-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thurimella / Maalej Managing Requirements Knowledge
2013Verlag: SpringerISBN: 978-3-642-34418-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria 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-47168-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria 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-47165-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tian / Sebe / Liu MultiMedia Modeling
22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part II1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-27673-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chen / Mishra / Qin System-Level Validation
High-Level Modeling and Directed Test Generation Techniques2013Verlag: SpringerISBN: 978-1-4899-8629-0Medium: Buch109,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tian / Sebe / Liu MultiMedia Modeling
22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part I1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-27670-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jain / Chatterjee / Bansal Computational Intelligence in Software Modeling
1. Auflage 2022Verlag: De GruyterISBN: 978-3-11-070934-6Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)123,95 € (inkl. MwSt.)
sofort verfügbar -
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I2012Verlag: SpringerISBN: 978-3-642-34025-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Woo / Lu / Lee Advances in Conceptual Modeling
ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi¿an, China, October 22-25, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-01390-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huisman / Ábrahám Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33692-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Salaün / Giannakopoulou Software Engineering and Formal Methods
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-10430-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hähnle / Knoop / Steffen Leveraging Applications of Formal Methods, Verification, and Validation
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-34780-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Narayan Kumar / D'Souza Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3¿6, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68166-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Noda / Kuffner / Ando Simulation, Modeling, and Programming for Autonomous Robots
Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-34326-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
ter Beek / Oliveira / McIver Formal Methods ¿ The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7¿11, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-30941-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lamprecht Leveraging Applications of Formal Methods, Verification, and Validation
6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-51640-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort