Zu den Suchergebnissen

Der folgende Text wurde mit Hilfe von KI-Programmen erstellt.

Über das Werk

Automata Languages and Programming (ISBN: 9783540614401) ist ein grundlegendes Werk, das die Schnittstelle zwischen Automaten, formalen Sprachen und Programmierparadigmen beleuchtet. Der Titel markiert einen Meilenstein in der theoretischen Informatik, indem er die Konzepte endlicher Automaten, kontextfreier Sprachen und deren Anwendungen in der Praxis systematisch entfaltet. Die klare Struktur, historische Kontextualisierung und praxisnahe Beispiele machen dieses Buch zu einer Referenz für Studierende, Forscher und Fachleute, die die Grundlagen und weiterführende Aspekte der Automata-Theorie tiefgehend erfassen möchten.

Zusammenfassung

Der Band vermittelt eine umfassende Einführung in Automatenmodelle und deren Sprachen, erläutert die Erzählungen rund um endliche Automaten, Kellerautomaten, Turingmaschinen und die damit verbundenen Parsing-Strategien. Durch eine Mischung aus mathematischer Formalisierung und algorithmischer Perspektive zeigt das Buch, wie Sprachen durch Automaten erkannt, analysiert und transformiert werden können. Zusätzlich werden Programmierparadigmen, Semantik, Komplexität und praktische Anwendungen in Bereichen wie Compilerbau, formale Verifikation und Spracherkennung systematisch miteinander verknüpft. Leserinnen und Leser gewinnen ein tiefes Verständnis dafür, wie Theorien der Automata die Entwicklung effizienter Algorithmen und zuverlässiger Software beeinflussen.

Über die Autoren

Friedhelm Meyer auf der Heide und Burkhard Monien bündeln langjährige Forschungserfahrung in der theoretischen Informatik und algorithmischen Sprachen. Als Duo vereinen sie fundierte Analysen formaler Systeme mit einer didaktischen Klarheit, die komplexe Inhalte zugänglich macht. Ihre Arbeiten zeichnen sich durch präzise Beweisführung, klare Strukturierung und einen Blick für praxisnahe Anwendungen aus.

Kurz gefasst

Automata Languages and Programming bietet eine eindrucksvolle, fundierte und gut nachvollziehbare Expedition durch Automaten, Sprachen und deren Programmierpraxis – eine unverzichtbare Referenz für alle, die die Wurzeln und Weiterentwicklungen der Automata-Theorie entschlüsseln möchten.

Zu weiteren Details

- 5 Ergebnisse
Kleinster Preis: € 5,11, größter Preis: € 163,00, Mittelwert: € 73,34
1
Automata, Languages and Programming - Burkhard Monien
Bestellen
bei AbeBooks.co.uk
£ 95,53
(ca. € 110,40)
Versand: € 30,341
Bestellen
Details beim Anbieter
gesponserter Link
Burkhard Monien:

Automata, Languages and Programming - Taschenbuch

1996, ISBN: 3540614400

[EAN: 9783540614401], New book, [SC: 30.34], [PU: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1996], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; SPRACHE FORMALE SPRACHE; AUTOM… Mehr…

NEW BOOK. Versandkosten: EUR 30.34 buchversandmimpf2000, Emtmannsberg, BAYE, Germany [53410207] [Rating: 5 (of 5)]
zuklappen (X)
2
Automata, Languages and Programming : 23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings - Friedhelm Meyer Auf Der Heide
Bestellen
bei ZVAB.com
€ 106,99
Versand: € 8,991
Bestellen
Details beim Anbieter
gesponserter Link

Friedhelm Meyer Auf Der Heide:

Automata, Languages and Programming : 23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings - Taschenbuch

1996, ISBN: 3540614400

[EAN: 9783540614401], Neubuch, [SC: 8.99], [PU: Springer, Springer], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; SPRACHE FORMALE SPRACHE; AUTOMAT; ALGORITHMS; AUTOMATA; COMBINATORICS; COMBIN… Mehr…

NEW BOOK. Versandkosten: EUR 8.99 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
3
Bestellen
bei booklooker.de
€ 98,90
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Meyer Auf Der Heide, Friedhelm:
Automata, Languages and Programming / 23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings / Friedhelm Meyer Auf Der Heide (u. a.) / Taschenbuch / xii / Englisch - Taschenbuch

1996

ISBN: 9783540614401

gewerbliches Angebot, [SC: 0.00], Neuware, [PU: Springer], 700, [GW: 1042g], [ED: Taschenbuch], DE, This volume constitutes the refereed proceedings of the 23rd International Colloquium o… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) MEOVERSA
zuklappen (X)
4
Bestellen
bei alibris.co.uk
€ 11,14
Bestellen
Details und Versand
gesponserter Link
Friedhelm Meyer Auf Der Heide, Burkhard Monien:
Automata, Languages and Programming: 23rd International Colloquium, Icalp '96, Paderborn, Germany, July 8-12, 1996. Proceedings (Lecture Notes in Computer Science V. 1099) - Taschenbuch

1996, ISBN: 9783540614401

Trade paperback, computer, *Price HAS BEEN REDUCED by 10% until Monday, Jan. 12 (weekend SALE item)* 680 pp., Paperback, ex library, else text clean and binding tight. -If you are reading… Mehr…

Versandkosten:zzgl. Versandkosten Cleveland, OH, Zubal Books
zuklappen (X)
5
Bestellen
bei alibris.co.uk
£ 10,07
(ca. € 11,64)
Bestellen
Details und Versand
gesponserter Link
Friedhelm Meyer Auf Der Heide, Burkhard Monien:
Automata, Languages and Programming: 23rd International Colloquium, Icalp '96, Paderborn, Germany, July 8-12, 1996. Proceedings (Lecture Notes in Computer Science V. 1099) - Taschenbuch

1996, ISBN: 9783540614401

Trade paperback, computer, *Price HAS BEEN REDUCED by 10% until Monday, Aug. 25 (weekend sale item)* 680 pp., Paperback, ex library, else text clean and binding tight. -If you are reading… Mehr…

Versandkosten:zzgl. Versandkosten Cleveland, OH, Zubal Books
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Automata, Languages and Programming
Autor:
Titel:
ISBN-Nummer:

3540614400

Der folgende Text wurde mit Hilfe von KI-Programmen erstellt.

Über das Werk

Automata Languages and Programming (ISBN: 9783540614401) ist ein grundlegendes Werk, das die Schnittstelle zwischen Automaten, formalen Sprachen und Programmierparadigmen beleuchtet. Der Titel markiert einen Meilenstein in der theoretischen Informatik, indem er die Konzepte endlicher Automaten, kontextfreier Sprachen und deren Anwendungen in der Praxis systematisch entfaltet. Die klare Struktur, historische Kontextualisierung und praxisnahe Beispiele machen dieses Buch zu einer Referenz für Studierende, Forscher und Fachleute, die die Grundlagen und weiterführende Aspekte der Automata-Theorie tiefgehend erfassen möchten.

Zusammenfassung

Der Band vermittelt eine umfassende Einführung in Automatenmodelle und deren Sprachen, erläutert die Erzählungen rund um endliche Automaten, Kellerautomaten, Turingmaschinen und die damit verbundenen Parsing-Strategien. Durch eine Mischung aus mathematischer Formalisierung und algorithmischer Perspektive zeigt das Buch, wie Sprachen durch Automaten erkannt, analysiert und transformiert werden können. Zusätzlich werden Programmierparadigmen, Semantik, Komplexität und praktische Anwendungen in Bereichen wie Compilerbau, formale Verifikation und Spracherkennung systematisch miteinander verknüpft. Leserinnen und Leser gewinnen ein tiefes Verständnis dafür, wie Theorien der Automata die Entwicklung effizienter Algorithmen und zuverlässiger Software beeinflussen.

Über die Autoren

Friedhelm Meyer auf der Heide und Burkhard Monien bündeln langjährige Forschungserfahrung in der theoretischen Informatik und algorithmischen Sprachen. Als Duo vereinen sie fundierte Analysen formaler Systeme mit einer didaktischen Klarheit, die komplexe Inhalte zugänglich macht. Ihre Arbeiten zeichnen sich durch präzise Beweisführung, klare Strukturierung und einen Blick für praxisnahe Anwendungen aus.

Kurz gefasst

Automata Languages and Programming bietet eine eindrucksvolle, fundierte und gut nachvollziehbare Expedition durch Automaten, Sprachen und deren Programmierpraxis – eine unverzichtbare Referenz für alle, die die Wurzeln und Weiterentwicklungen der Automata-Theorie entschlüsseln möchten.

Detailangaben zum Buch - Automata, Languages and Programming


EAN (ISBN-13): 9783540614401
ISBN (ISBN-10): 3540614400
Taschenbuch
Erscheinungsjahr: 1996
Herausgeber: Springer Berlin
700 Seiten
Gewicht: 1,040 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-29T12:49:59+02:00 (Vienna)
Buch zuletzt gefunden am 2026-04-07T09:17:38+02:00 (Vienna)
ISBN/EAN: 3540614400

ISBN - alternative Schreibweisen:
3-540-61440-0, 978-3-540-61440-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: meyer, monien, auf der, friedhelm, heide heide, burkhard, july
Titel des Buches: michaels kloster paderborn, proceedings the international colloquium language, who who germany, was paderborn, automata languages and programming lecture notes computer science 1099, auf, pade, automata languages and programming 23rd international colloquium icalp paderborn germany july 1996 proceedings

Daten vom Verlag:

Autor/in: Friedhelm Meyer auf der Heide; Burkhard Monien
Titel: Lecture Notes in Computer Science; Automata, Languages and Programming - 23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings
Verlag: Springer; Springer Berlin
684 Seiten
Erscheinungsjahr: 1996-06-26
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 684 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automat; algorithms; automata; combinatorics on words; complexity; complexity theory; computer; computer science; data structures; logic; programming; combinatorics; Theory of Computation; Software Engineering; Data Science; Discrete Mathematics; Software Engineering; Datenbanken; Diskrete Mathematik; EA

Saturation-based theorem proving (abstract).- Bandwidth efficient parallel computation.- Variable-length maximal codes.- Lower bounds for prepositional proofs and independence results in bounded arithmetic.- Algebraic characterizations of decorated trace equivalences over tree-like structures.- Fast asynchronous systems in dense time.- A hierarchy theorem for the ?-calculus.- An effective tableau system for the linear time ?-calculus.- Characterizing fairness implementability for multiparty interaction.- Termination of context-sensitive rewriting by rewriting.- A complete gentzen-style axiomatization for set constraints.- Fatal errors in conditional expressions.- Different types of arrow between logical frameworks.- Effective models of polymorphism, subtyping and recursion (extended abstract).- Regularity for a large class of context-free processes is decidable.- On infinite transition graphs having a decidable monadic theory.- Semi-groups acting on context-free graphs.- Hard sets method and semilinear reservoir method with applications.- Random polynomials and polynomial factorization.- Optimal gröbner base algorithms for binomial ideals.- Minimum fill-in on circle and circular-arc graphs.- Practical approximation schemes for maximum induced-subgraph problems on K 3,3-free or K 5-free graphs.- Searching a fixed graph.- Improved sampling with applications to dynamic graph algorithms.- The expressive power of existential first order sentences of büchi's sequential calculus.- Fixpoints for rabin tree automata make complementation easy.- New upper bounds to the limitedness of distance automata.- Recognizing regular expressions by means of dataflow networks.- On the power of randomized branching programs.- Hitting sets derandomize BPP.- On type-2 probabilisticquantifiers.- Speeding-up single-tape nondeterministic computations by single alternation, with separation results.- On ?-generators and codes.- On standard Sturmian morphisms.- Constructions and bounds for visual cryptography.- On capital investment.- Lower bounds for static dictionaries on RAMs with bit operations but no multiplication.- Lower bounds for row minima searching.- On the complexity of relational problems for finite state processes.- Deciding finiteness of Petri nets up to bisimulation.- Mobile processes with a distributed environment.- The meaning of negative premises in transition system specifications II.- Average case analyses of list update algorithms, with applications to data compression.- Self-organizing data structures with dependent accesses.- Lopsided trees: Analyses, algorithms, and applications.- Optimal logarithmic time randomized suffix tree construction.- Improved parallel approximation of a class of integer programming problems.- Efficient collective communication in optical networks.- Shared-memory simulations on a faulty-memory DMM.- Fast deterministic backtrack search.- Agent rendezvous: A dynamic symmetry-breaking problem.- Efficient asynchronous consensus with the value-oblivious adversary scheduler.- A formal framework for evaluating heuristic programs.- Improved scheduling algorithms for minsum criteria.- On the complexity of string folding.- A polynomial-time algorithm for near-perfect phylogeny.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9780387088600 Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17-21, 1978 (G. Ausiello)

< zum Archiv...