Angebote zu "Formale" (105 Treffer)

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. Auflage 1999

Anbieter: Hugendubel.de
Stand: 23.03.2018
Zum Angebot
Einführung in die Theoretische Informatik: Form...
19,49 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 25.05.2018
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: 07.11.2017
Zum Angebot
Angewandte Informatik und Formale Beschreibungs...
4,79 € *
zzgl. 3,99 € Versand

Erscheinungsjahr:

Anbieter: reBuy.de
Stand: 16.05.2018
Zum Angebot
Formale Beschreibungsverfahren der Informatik. ...
0,49 € *
zzgl. 3,99 € Versand
Anbieter: trade-a-game
Stand: 26.05.2018
Zum Angebot
Formale Beschreibungsverfahren der Informatik a...
27,99 € *
ggf. zzgl. Versand
(27,99 € / in stock)

Formale Beschreibungsverfahren der Informatik:Ein Arbeitsbuch für die Praxis Informatik & Praxis. Auflage 2000 Helmut Eirund, Bernd Müller, Gerlinde Schreiber

Anbieter: Hugendubel.de
Stand: 07.04.2018
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: 12.04.2018
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: 12.04.2018
Zum Angebot
Einführung in die Theoretische Informatik
34,95 € *
ggf. zzgl. Versand

Dieses Lehrbuch bietet eine prägnante und leicht verständliche Einführung in zwei grundlegende Gebiete der theoretischen Informatik: Formale Sprachen und Automatentheorie. Der Autor vermittelt einen fundierten Einblick in die Formalisierung und algorithmische Aufbereitung von Problemen, damit diese durch den Computer gelöst werden können. Anhand der vier Stufen der Chomsky-Hierarchie werden Kenntnisse zur Beurteilung des Schwierigkeitsgrads eines Problems vermittelt. Alle behandelten Themen sind unentbehrlich für das Verständnis wichtiger Konzepte der Informatik wie die Spezifikation von Programmiersprachen, das Übersetzen von Programmen oder die Verarbeitung natürlicher Sprache. Das Buch beinhaltet Abschnitte zu Formalen Sprachen, Grammatikformalismen, endlichen Automaten, Kellerautomaten und Turingmaschinen. Ein eigener Abschnitt ist der Internet-Technologie XML gewidmet mit einer Einordnung in die Theorie der formalen Sprachen. Insbesondere werden die Grundprinzipien von Document Type Definitions und XML-Schemata, den Spezifikationsstandards für XML-Dokumente, in Form von anschaulichen Beispielen dargelegt. Zielgruppe sind Studierende der Informatik im Grundstudium an Fachhochschulen und Universitäten.

Anbieter: buecher.de
Stand: 22.05.2018
Zum Angebot
Logik für Informatiker
20,00 € *
ggf. zzgl. Versand

Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet.Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes.

Anbieter: buecher.de
Stand: 05.04.2018
Zum Angebot