Angebote zu "Formale" (998 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: 05.09.2016
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: 26.01.2017
Zum Angebot
Einführung in Automatentheorie, Formale Sprache...
49,95 € *
ggf. zzgl. Versand

In dieser Neuauflage des Standardwerks Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit vermittelt das Autorenteam John Hopcroft, Rajeev Motwani und Jeffrey D. Ullman das Fundament der Theoretischen Informatik. Klar gegliedert und gut strukturiert präsentiert das Lehrbuch das grundlegende Wissen zu den Themenbereichen Formale Sprachen, Automaten- und Komplexitätstheorie sowie Berechenbarkeit einschließlich Unentscheidbarkeit - unter besonderer Berücksichtigung auch der praktischen Anwendungen. Viele anschauliche Beispiele, Illustrationen und ergänzende Erläuterungen erleichtern das Verstehen dieses für Studierende schwierigen Lehrstoffs. Umfangreiche Übungsaufgaben am Ende der einzelnen Abschnitte ermöglichen die unmittelbare Überprüfung des gelernten Stoffes. Die vielen inhaltlichen Verbesserungen und zusätzlichen Hinweise mit Anpassung an die hiesige Lehre bilden für die Studierenden eine ideale Voraussetzung, sich dieses Thema auch im Rahmen des Selbststudiums anzueignen. Das Buch eignet sich sowohl als Nachschlagewerk als auch zum Einsatz in der Lehre an Hochschulen und Universitäten.AIS DEM INHALT:Automaten: Die Grundlagen und MethodenEndliche AutomatenReguläre Ausdrücke und SprachenEigenschaften regulärer SprachenKontextfreie Grammatiken und SprachenKeller-AutomatenEigenschaften kontextfreier SprachenEinführung in Turing-MaschinenUnentscheidbarkeitNicht-handhabbare ProblemeZusätzliche ProblemklassenÜBER DIE AUTOREN:John E. Hopcroft wirkt als IBM Professor of Engineering and Applied Mathematics am Department of Computer Science, Cornell University. Rajeev Motwani war Professor am Department of Computer Science der Stanford University. Jeffrey D. Ullman ist dort als Stanford W. Ascherman Professor of Computer Science (Emeritus).ÜBER DEN FACHLEKTOR: Walter Hower erhielt den Lehrpreis 2006 des Landes Baden-Württemberg und lehrt dort als Professor Informatikgrundlagen wie Theoretische Informatik, Algorithmik und Diskrete Mathematik. Er fungiert ehrenamtlich als Vertrauensdozent der Gesellschaft für Informatik sowie als MINT-Botschafter.AUF DER COMPANION-WEBSITE:Für DozentenAusgearbeiteter Foliensatz für den Einsatz in der LehreFür StudentenLösungshinweise zu gekennzeichneten Aufgaben

Anbieter: Thalia.de
Stand: 17.02.2017
Zum Angebot
Einführung in Automatentheorie, Formale Sprache...
49,95 € *
ggf. zzgl. Versand

In dieser Neuauflage des Standardwerks Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit vermittelt das Autorenteam John Hopcroft, Rajeev Motwani und Jeffrey D. Ullman das Fundament der Theoretischen Informatik. Klar gegliedert und gut strukturiert präsentiert das Lehrbuch das grundlegende Wissen zu den Themenbereichen Formale Sprachen, Automaten- und Komplexitätstheorie sowie Berechenbarkeit einschließlich Unentscheidbarkeit - unter besonderer Berücksichtigung auch der praktischen Anwendungen. Viele anschauliche Beispiele, Illustrationen und ergänzende Erläuterungen erleichtern das Verstehen dieses für Studierende schwierigen Lehrstoffs. Umfangreiche Übungsaufgaben am Ende der einzelnen Abschnitte ermöglichen die unmittelbare Überprüfung des gelernten Stoffes. Die vielen inhaltlichen Verbesserungen und zusätzlichen Hinweise mit Anpassung an die hiesige Lehre bilden für die Studierenden eine ideale Voraussetzung, sich dieses Thema auch im Rahmen des Selbststudiums anzueignen. Das Buch eignet sich sowohl als Nachschlagewerk als auch zum Einsatz in der Lehre an Hochschulen und Universitäten. In dieser Neuauflage des Standardwerks Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit vermittelt das Autorenteam John Hopcroft, Rajeev Motwani und Jeffrey D. Ullman das Fundament der Theoretischen Informatik. Klar gegliedert und gut strukturiert präsentiert das Lehrbuch das grundlegende Wissen zu den Themenbereichen Formale Sprachen, Automaten- und Komplexitätstheorie sowie Berechenbarkeit einschließlich Unentscheidbarkeit - unter besonderer Berücksichtigung auch der praktischen Anwendungen. Viele anschauliche Beispiele, Illustrationen und ergänzende Erläuterungen erleichtern das Verstehen dieses für Studierende schwierigen Lehrstoffs. Umfangreiche Übungsaufgaben am Ende der einzelnen Abschnitte ermöglichen die unmittelbare Überprüfung des gelernten Stoffes. Die vielen inhaltlichen Verbesserungen und zusätzlichen Hinweise mit Anpassung an die hiesige Lehre bilden für die Studierenden eine ideale Voraussetzung, sich dieses Thema auch im Rahmen des Selbststudiums anzueignen. Das Buch eignet sich sowohl als Nachschlagewerk als auch zum Einsatz in der Lehre an Hochschulen und Universitäten. AIS DEM INHALT: Automaten: Die Grundlagen und Methoden Endliche Automaten Reguläre Ausdrücke und Sprachen Eigenschaften regulärer Sprachen Kontextfreie Grammatiken und Sprachen Keller-Automaten Eigenschaften kontextfreier Sprachen Einführung in Turing-Maschinen Unentscheidbarkeit Nicht-handhabbare Probleme Zusätzliche Problemklassen ÜBER DIE AUTOREN: John E. Hopcroft wirkt als IBM Professor of Engineering and Applied Mathematics am Department of Computer Science, Cornell University. Rajeev Motwani war Professor am Department of Computer Science der Stanford University. Jeffrey D. Ullman ist dort als Stanford W. Ascherman Professor of Computer Science (Emeritus) . ÜBER DEN FACHLEKTOR: Walter Hower erhielt den Lehrpreis 2006 des Landes Baden-Württemberg und lehrt dort als Professor Informatikgrundlagen wie Theoretische Informatik, Algorithmik und Diskrete Mathematik. Er fungiert ehrenamtlich als Vertrauensdozent der Gesellschaft für Informatik sowie als MINT-Botschafter. AUF DER COMPANION-WEBSITE: Für Dozenten Ausgearbeiteter Foliensatz für den Einsatz in der Lehre Für Studenten Lösungshinweise zu gekennzeichneten Aufgaben

Anbieter: buecher.de
Stand: 18.02.2017
Zum Angebot
Formale Sprachen, abstrakte Automaten und Compiler
9,99 € *
ggf. zzgl. Versand

Die eher abstrakten Inhalte der Theoretischen Informatik werden aus praktischen Anwendungsbeispielen heraus motiviert, anschaulich vermittelt und in Übungen vertieft. Durch das gesamte Buch hindurch zieht sich das Vorhaben, einen Compiler für eine Sprache mit grafischen Effekten herzustellen. An den entsprechenden Stellen werden die dafür notwendigen Beiträge erarbeitet und Aspekte automatisierter Compilergenerierung thematisiert. Zur Modellierung formaler Sprachen, regulärer Ausdrücke, abstrakter Automaten und zur automatisierten Compilergenerierung aus einer grafisch-visuellen Beschreibung stellt AtoCC miteinander vernetzte Komponenten zur Verfügung. Die Lern- und Arbeitsumgebung AtoCC wurde speziell für das Studium der theoretischen Informatik entwickelt und bereits an mehreren Hochschulen und Schulen erfolgreich eingesetzt. AtoCC vertieft Theoriewissen durch praktische Übungen und attraktive Anwendungsprojekte aus dem Grafik- und Audiobereich. Übersetzung und Verarbeitung mehr oder weniger komplexer Sprachen finden wir heute beispielsweise auch in modernen Web-Applikationen.

Anbieter: buch.de
Stand: 17.02.2017
Zum Angebot
Formal Methods Applied to Complex Systems
165,99 € *
ggf. zzgl. Versand

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these “formal methods” (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).

Anbieter: ciando eBooks
Stand: 13.12.2016
Zum Angebot
Formal Methods Applied to Complex Systems
165,99 € *
ggf. zzgl. Versand

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these “formal methods” (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).

Anbieter: ciando eBooks
Stand: 13.12.2016
Zum Angebot
Formal Languages, Automata and Numeration Systems
129,99 € *
ggf. zzgl. Versand

Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory). Combinatorics on words deals with problems that can be stated in a non-commutative monoid, such as subword complexity of finite or infinite words, construction and properties of infinite words, unavoidable regularities or patterns. When considering some numeration systems, any integer can be represented as a finite word over an alphabet of digits. This simple observation leads to the study of the relationship between the arithmetical properties of the integers and the syntactical properties of the corresponding representations. One of the most profound results in this direction is given by the celebrated theorem by Cobham. Surprisingly, a recent extension of this result to complex numbers led to the famous Four Exponentials Conjecture. This is just one example of the fruitful relationship between formal language theory (including the theory of automata) and number theory. Contents to include: • algebraic structures, homomorphisms, relations, free monoid • finite words, prefixes, suffixes, factors, palindromes • periodicity and Fine–Wilf theorem • infinite words are sequences over a finite alphabet • properties of an ultrametric distance, example of the p-adic norm • topology of the set of infinite words • converging sequences of infinite and finite words, compactness argument • iterated morphism, coding, substitutive or morphic words • the typical example of the Thue–Morse word • the Fibonacci word, the Mex operator, the n-bonacci words • wordscomingfromnumbertheory(baseexpansions,continuedfractions,...) • the taxonomy of Lindenmayer systems • S-adic sequences, Kolakoski word • repetition in words, avoiding repetition, repetition threshold • (complete) de Bruijn graphs • concepts from computability theory and decidability issues • Post correspondence problem and application to mortality of matrices • origins of combinatorics on words • bibliographic notes • languages of finite words, regular languages • factorial, prefix/suffix closed languages, trees and codes • unambiguous and deterministic automata, Kleene’s theorem • growth function of regular languages • non-deterministic automata and determinization • radix order, first word of each length and decimation of a regular language • the theory of the minimal automata • an introduction to algebraic automata theory, the syntactic monoid and the syntactic complexity • star-free languages and a theorem of Schu ̈tzenberger • rational formal series and weighted automata • context-free languages, pushdown automata and grammars • growth function of context-free languages, Parikh’s theorem • some decidable and undecidable problems in formal language theory • bibliographic notes • factor complexity, Morse–Hedlund theorem • arithmetic complexity, Van Der Waerden theorem, pattern complexity • recurrence, uniform recurrence, return words • Sturmian words, coding of rotations, Kronecker’s theorem • frequencies of letters, factors and primitive morphism • critical exponent • factor complexity of automatic sequences • factor complexity of purely morphic sequences • primitive words, conjugacy, Lyndon word • abelianisation and abelian complexity • bibliographic notes • automatic sequences, equivalent definitions • a theorem of Cobham, equivalence of automatic sequences with constant length morphic sequences • a few examples of well-known automatic sequences • about Derksen’s theorem • some morphic sequences are not automatic • abstract numeration system and S-automatic sequences • k − ∞-automatic sequences • bibliographic notes • numeration systems, greedy algorithm • positional numeration systems, recognizable sets of integers • divisibility criterion and recognizability of N • properties of k-recognizable sets of integers, ratio and difference of consec- utive elements: syndeticity • integer base and Cobham’s theorem on the base dependence of the recog- nizability • non-standard numeration systems based on sequence of integers • linear recurrent sequences, Loraud and Hollander results • Frougny’s normalization result and addition • morphic numeration systems/sets of integers whose characteristic

Anbieter: ciando eBooks
Stand: 13.12.2016
Zum Angebot
Formal Languages, Automata and Numeration Systems
129,99 € *
ggf. zzgl. Versand

Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory). Combinatorics on words deals with problems that can be stated in a non-commutative monoid, such as subword complexity of finite or infinite words, construction and properties of infinite words, unavoidable regularities or patterns. When considering some numeration systems, any integer can be represented as a finite word over an alphabet of digits. This simple observation leads to the study of the relationship between the arithmetical properties of the integers and the syntactical properties of the corresponding representations. One of the most profound results in this direction is given by the celebrated theorem by Cobham. Surprisingly, a recent extension of this result to complex numbers led to the famous Four Exponentials Conjecture. This is just one example of the fruitful relationship between formal language theory (including the theory of automata) and number theory. Contents to include: • algebraic structures, homomorphisms, relations, free monoid • finite words, prefixes, suffixes, factors, palindromes • periodicity and Fine–Wilf theorem • infinite words are sequences over a finite alphabet • properties of an ultrametric distance, example of the p-adic norm • topology of the set of infinite words • converging sequences of infinite and finite words, compactness argument • iterated morphism, coding, substitutive or morphic words • the typical example of the Thue–Morse word • the Fibonacci word, the Mex operator, the n-bonacci words • wordscomingfromnumbertheory(baseexpansions,continuedfractions,...) • the taxonomy of Lindenmayer systems • S-adic sequences, Kolakoski word • repetition in words, avoiding repetition, repetition threshold • (complete) de Bruijn graphs • concepts from computability theory and decidability issues • Post correspondence problem and application to mortality of matrices • origins of combinatorics on words • bibliographic notes • languages of finite words, regular languages • factorial, prefix/suffix closed languages, trees and codes • unambiguous and deterministic automata, Kleene’s theorem • growth function of regular languages • non-deterministic automata and determinization • radix order, first word of each length and decimation of a regular language • the theory of the minimal automata • an introduction to algebraic automata theory, the syntactic monoid and the syntactic complexity • star-free languages and a theorem of Schu ̈tzenberger • rational formal series and weighted automata • context-free languages, pushdown automata and grammars • growth function of context-free languages, Parikh’s theorem • some decidable and undecidable problems in formal language theory • bibliographic notes • factor complexity, Morse–Hedlund theorem • arithmetic complexity, Van Der Waerden theorem, pattern complexity • recurrence, uniform recurrence, return words • Sturmian words, coding of rotations, Kronecker’s theorem • frequencies of letters, factors and primitive morphism • critical exponent • factor complexity of automatic sequences • factor complexity of purely morphic sequences • primitive words, conjugacy, Lyndon word • abelianisation and abelian complexity • bibliographic notes • automatic sequences, equivalent definitions • a theorem of Cobham, equivalence of automatic sequences with constant length morphic sequences • a few examples of well-known automatic sequences • about Derksen’s theorem • some morphic sequences are not automatic • abstract numeration system and S-automatic sequences • k − ∞-automatic sequences • bibliographic notes • numeration systems, greedy algorithm • positional numeration systems, recognizable sets of integers • divisibility criterion and recognizability of N • properties of k-recognizable sets of integers, ratio and difference of consec- utive elements: syndeticity • integer base and Cobham’s theorem on the base dependence of the recog- nizability • non-standard numeration systems based on sequence of integers • linear recurrent sequences, Loraud and Hollander results • Frougny’s normalization result and addition • morphic numeration systems/sets of integers whose characteristic

Anbieter: ciando eBooks
Stand: 13.12.2016
Zum Angebot
Angewandte Informatik und Formale Beschreibungs...
49,95 € *
ggf. zzgl. Versand

Festschrift zum 60. Geburtstag von Wolffried Stucky Teubner Texte zur Informatik. 1999. Auflage

Anbieter: eBook.de
Stand: 18.12.2016
Zum Angebot