Angebote zu "Formale" (93 Treffer)

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: 11.07.2017
Zum Angebot
Angewandte Informatik und Formale Beschreibungs...
49,95 € *
ggf. zzgl. Versand
(49,95 € / in stock)

Angewandte Informatik und Formale Beschreibungsverfahren:Festschrift zum 60. Geburtstag von Wolffried Stucky Teubner Texte zur Informatik. 1999. Auflage

Anbieter: Hugendubel.de
Stand: 28.09.2017
Zum Angebot
Integrated Formal Methods
70,62 € *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..

Anbieter: buecher.de
Stand: 04.10.2017
Zum Angebot
Eirund, Helmut: Formale Beschreibungsverfahren ...
24,95 € *
ggf. zzgl. Versand

Formale Beschreibungsverfahren der InformatikEin Arbeitsbuch für die PraxisTaschenbuchvon Helmut EirundEAN: 9783519026433Einband: Kartoniert / BroschiertSprache: DeutschSeiten: 124Abbildungen: Mit Abb. und Tab.Maße: 229 x 161 x 9 mmAutor: Helmut

Anbieter: RAKUTEN: Ihr Mark...
Stand: 12.10.2017
Zum Angebot
Scalable Bit-precise Formal Verification of Emb...
45,90 € *
ggf. zzgl. Versand

Scalable Bit-precise Formal Verification of Embedded Software

Anbieter: Allyouneed.com
Stand: 17.10.2017
Zum Angebot
GI Proceedings 179 FM+AM 2010 - Second Internat...
31,50 € *
ggf. zzgl. Versand

GI Proceedings 179 FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods

Anbieter: Allyouneed.com
Stand: 17.10.2017
Zum Angebot
Angewandte Informatik und Formale Beschreibungs...
13,49 € *
zzgl. 3,99 € Versand

Erscheinungsjahr:

Anbieter: reBuy.de
Stand: 14.10.2017
Zum Angebot
Praktische Informatik - Eine Einführung
29,95 € *
ggf. zzgl. Versand

Im Zentrum der Praktischen Informatik steht die Programmierung eines Rechners. Programmierung bedeutet im Wesentlichen die Übertragung von Funktionen des menschlichen Denkens auf einen Digitalrechner. Damit dieses gelingt, benötigt man Vorstellungen, wie ein Rechner aufgebaut ist, wie Daten unterschiedlicher Typen strukturiert und verwaltet werden können, wie man ein Problem geeignet in einfachere Teilprobleme zerlegt und wie eine Programmiersprache aufgebaut ist. Das Buch ist an Studienanfänger und an Informatik interessierte Leser gerichtet. Programmierkenntnisse werden nicht vorausgesetzt, alles wird von Anfang an erklärt. Viele Programmbeispiele in der Programmiersprache Java ergänzen die Erläuterungen. Das Buch besteht aus Tafelbildern und ist als Lern- und Arbeitsbuch für eine Einführungsvorlesung der Informatik geeignet. Erläuternde Audio-Dateien sind auf www.vieweteubner.de als Download erhältlich. Der Inhalt Der Aufbau eines programmierbaren Digitalrechners Vom Problem über den Algorithmus zum Programm Einführung in die Programmierung: Datentypen, Steueranweisungen, Felder, Modularisierung Das Klassenkonzept einer objektorientierten Programmiersprache Dateiverarbeitung Listen, Mengen, Graphen, Rekursion, Bäume Formale Spezifikation syntaktischer Strukturen/Backus Naur-Form Die Zielgruppe Studierende der Informatik (Haupt- oder Nebenfach) des ersten Studienjahres in Bachelor-Studiengängen Schülerinnen und Schüler in Informatik-Kursen der Oberstufe Auszubildende zum Fachinformatiker Der Autor Prof. Dr. Gregor Büchel war 1986 bis 1991 Softwareentwickler in der chemischen Industrie. Seit 1991 ist er Professor an der FH Köln, Institut für Nachrichtentechnik. Lehrgebiete: Praktische Informatik und Datenbanken.

Anbieter: buecher.de
Stand: 18.09.2017
Zum Angebot