Ergebnisse filtern
-
- 93
-
- 42
- 4
- 47
-
- 16
- 71
- 6
-
- 93
-
- 93
-
- 93
- 9
Modellierung, UML, SysML
-
Kucera / Henzinger / Antos Mathematical and Engineering Methods in Computer Science
8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-36044-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pasareanu / Kroening / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-21667-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pasareanu / Kroening / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-21689-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bloem / Biere Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08866-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Karlapalem / Jeusfeld Advances in Conceptual Modeling
ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-25746-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Purao / Indulska Advances in Conceptual Modeling
ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-12255-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
vom Brocke / Rossi / Hekkala Design Science at the Intersection of Physical and Virtual Design
8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12,2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-38826-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Quirchmayer / Basl / Weippl Multidisciplinary Research and Practice for Informations Systems
IFIP WG 8.4, 8.9, TC 5 International Cross Domain Conference and Workshop on Availability, Reliability, and Security, CD-ARES 2012, Prague, Czech Republic, August 20-24, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-32497-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ardagna / Damiani / Parkin Business System Management and Engineering
From Open Issues to Applications2012Verlag: SpringerISBN: 978-3-642-32438-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rubin / Cabot Modelling Foundations and Applications
10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-09194-5Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kobryn / Gogolla UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools
4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42667-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Evans / Selic / Kent UML 2000 - The Unified Modeling Language: Advancing the Standard
Third International Conference York, UK, October 2-6, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41133-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nurcan / Eder / Soffer Advanced Information Systems Engineering
28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-39695-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gerth Business Process Models
Change Management2013Verlag: SpringerISBN: 978-3-642-38603-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chiu / Parsons Advances in Conceptual Modeling
ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers2014Verlag: Springer International PublishingISBN: 978-3-319-14138-1Medium: 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 -
Codescu / ?u?u / Diaconescu Recent Trends in Algebraic Development Techniques
22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-28113-1Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bernardo / Damiani / Schaefer Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures2014Verlag: Springer International PublishingISBN: 978-3-319-07316-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bernardo / Pierantonio / Cortellessa Formal Methods for Model-Driven Engineering
12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures2012Verlag: SpringerISBN: 978-3-642-30981-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bernardo / Wiklicky / de Vink Formal Methods for Dynamical Systems
13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures2013Verlag: SpringerISBN: 978-3-642-38873-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ebert / van der Veer / Scheler Building Bridges: HCI, Visualization, and Non-formal Modeling
IFIP WG 13.7 Workshops on Human¿Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers2014Verlag: SpringerISBN: 978-3-642-54893-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jones / Woodcock / Liu Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75220-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 -
Meyer / Wehrheim / Platzer Correct System Design
Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23505-9Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort