Angebote zu "Formale" (1.147 Treffer)

Eirund, Helmut: Formale Beschreibungsverfahren ...
24,95 € *
zzgl. 3,99 € Versand

Erscheinungsdatum: 10/2000Medium: TaschenbuchEinband: Kartoniert / BroschiertTitel: Formale Beschreibungsverfahren der InformatikTitelzusatz: Ein Arbeitsbuch fuer die PraxisAutor: Eirund, Helmut // Mueller, Bernd // Schreiber, GerlindeVerlag: Teubner

Anbieter: RAKUTEN: Ihr Mark...
Stand: 26.04.2017
Zum Angebot
Einführung in die Theoretische Informatik - For...
24,95 € *
ggf. zzgl. Versand

Die Immobilienökonomie befasst sich zum einen mit den Immobilien selbst, und zwar mit allen Phasen des Lebenszyklus von Gewerbe-, Wohn- und Sonderimmobilien - von der Projektentwicklung über das Bau-Projektmanagement bis zum Facilities Management. Ein Schwerpunkt liegt in den funktionalen Aspekten Immobilieninvestition und -finanzierung, Immobilienanalyse- und -bewertung sowie Immobilienmarketing. Zum anderen ist das Management von Immobilienunternehmen (Planung, Organisation, Kontrolle) Gegenstand des Fachgebiets; insofern handelt es sich um eine branchenbezogene Betriebswirtschaftslehre. Dieses Buch richtet sich primär an (angehende) Immobilien-Professionals. Ziel ist, ihnen Einblick in die Komplexität der betriebschaftlichen Zusammenhänge zu geben.

Anbieter: ciando eBooks
Stand: 05.09.2016
Zum Angebot
NASA Formal Methods
60,99 € *
ggf. zzgl. Versand

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

Anbieter: buecher.de
Stand: 14.04.2017
Zum Angebot
Integrated Formal Methods (Taschenbuch)
53,31 € *
zzgl. 3,99 € Versand

Erscheinungsdatum: 06/2012Medium: TaschenbuchEinband: Kartoniert / BroschiertTitel: Integrated Formal MethodsTitelzusatz: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. ProceedingsRedaktion: Derrick, John // Gnesi, Stefania //

Anbieter: RAKUTEN: Ihr Mark...
Stand: 27.04.2017
Zum Angebot
Formal Grammar (Taschenbuch)
53,31 € *
zzgl. 3,99 € Versand

Erscheinungsdatum: 10/2011Medium: TaschenbuchEinband: Kartoniert / BroschiertTitel: Formal GrammarTitelzusatz: 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected PaperseRedaktion: Groote, Philippe de // Egg,

Anbieter: RAKUTEN: Ihr Mark...
Stand: 27.04.2017
Zum Angebot
Formal Concept Analysis (Taschenbuch)
53,31 € *
zzgl. 3,99 € Versand

Erscheinungsdatum: 10/2011Medium: TaschenbuchEinband: Kartoniert / BroschiertTitel: Formal Concept AnalysisTitelzusatz: 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011, ProceedingsAuflage: EditionRedaktion: Valtchev, Petko /

Anbieter: RAKUTEN: Ihr Mark...
Stand: 27.04.2017
Zum Angebot
Nasa Formal Methods (Taschenbuch)
79,79 € *
zzgl. 3,99 € Versand

Erscheinungsdatum: 05/2011Medium: TaschenbuchEinband: Kartoniert / BroschiertTitel: NASA Formal MethodsTitelzusatz: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, ProceedingsAuflage: EditionRedaktion: Bobaru, Mihaela

Anbieter: RAKUTEN: Ihr Mark...
Stand: 27.04.2017
Zum Angebot
Integrated Formal Methods (Taschenbuch)
62,14 € *
zzgl. 3,99 € Versand

Erscheinungsdatum: 11/2010Medium: TaschenbuchEinband: Kartoniert / BroschiertTitel: Integrated Formal MethodsTitelzusatz: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, ProceedingsRedaktion: Méry, Dominique // Merz, Steph

Anbieter: RAKUTEN: Ihr Mark...
Stand: 27.04.2017
Zum Angebot
Teaching Formal Methods (Taschenbuch)
62,14 € *
zzgl. 3,99 € Versand

Erscheinungsdatum: 26.10.2009Medium: TaschenbuchEinband: Kartoniert / BroschiertTitel: Teaching Formal MethodsTitelzusatz: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, ProceedingsAuflage: 2009 // 2009. 20

Anbieter: RAKUTEN: Ihr Mark...
Stand: 27.04.2017
Zum Angebot
Formal Concept Analysis (Taschenbuch)
66,55 € *
zzgl. 3,99 € Versand

Erscheinungsdatum: 12.05.2009Medium: TaschenbuchEinband: Kartoniert / BroschiertTitel: Formal Concept AnalysisTitelzusatz: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 ProceedingsAuflage: 2009Redaktion: Ferrè, Sèbasti

Anbieter: RAKUTEN: Ihr Mark...
Stand: 26.04.2017
Zum Angebot