Automata, Languages and Programming 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings - neues Buch
1993, ISBN: 3540569391
1993 Kartoniert / Broschiert Algorithmus, Datenverarbeitung / Datenverschlüsselung, Kryptografie, Mathematik, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, Au… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9783540569398
Automata Languages and Programming ab 128.49 € als Taschenbuch: 20th International Colloquium ICALP 93 Lund Sweden July 5-9 1993. Proceedings. Auflage 1993. Aus dem Bereich: Bücher, Ratge… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1993, ISBN: 3540569391
[EAN: 9783540569398], [SC: 3.31], [PU: Springer], Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the a… Mehr…
ZVAB.com |
Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1993, ISBN: 3540569391
[EAN: 9783540569398], [SC: 0.0], [PU: Springer], Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the av… Mehr…
ZVAB.com medimops, Berlin, Germany [55410863] [Rating: 5 (von 5)] Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
1993, ISBN: 9783540569398
20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1993
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Automata, Languages and Programming 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings - neues Buch
1993, ISBN: 3540569391
1993 Kartoniert / Broschiert Algorithmus, Datenverarbeitung / Datenverschlüsselung, Kryptografie, Mathematik, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, Au… Mehr…
ISBN: 9783540569398
Automata Languages and Programming ab 128.49 € als Taschenbuch: 20th International Colloquium ICALP 93 Lund Sweden July 5-9 1993. Proceedings. Auflage 1993. Aus dem Bereich: Bücher, Ratge… Mehr…
Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1993
ISBN: 3540569391
[EAN: 9783540569398], [SC: 3.31], [PU: Springer], Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the a… Mehr…
Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1993, ISBN: 3540569391
[EAN: 9783540569398], [SC: 0.0], [PU: Springer], Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the av… Mehr…
1993, ISBN: 9783540569398
20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1993
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Automata Languages and Programming
EAN (ISBN-13): 9783540569398
ISBN (ISBN-10): 3540569391
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1993
Herausgeber: Springer Berlin Heidelberg
697 Seiten
Gewicht: 1,064 kg
Buch in der Datenbank seit 2007-07-06T23:44:40+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-03-31T10:32:21+02:00 (Vienna)
ISBN/EAN: 9783540569398
ISBN - alternative Schreibweisen:
3-540-56939-1, 978-3-540-56939-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: svante, karlsson, lingas, carlsson, weihrauch
Titel des Buches: the programming language, automaton, proceedings the international colloquium language, automata languages and programming, lecture notes computer science automata, sweden, international 1993 1998
Daten vom Verlag:
Autor/in: Andrzej Lingas; Rolf Karlsson; Svante Carlsson
Titel: Lecture Notes in Computer Science; Automata, Languages and Programming - 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings
Verlag: Springer; Springer Berlin
703 Seiten
Erscheinungsjahr: 1993-06-23
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XIII, 703 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automat; algorithms; automata; complexity; computer science; data structure; data structures; formal language; programming; programming language; robot; robotics; semantics; term rewriting; verification; algorithm analysis and problem complexity; Theory of Computation; Algorithms; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Programming Techniques; Algorithmen und Datenstrukturen; Computerprogrammierung und Softwareentwicklung; EA
Program result checking: A new approach to making programs more reliable.- Dynamic interpolation search in o(log log n) time.- Searching among intervals and compact routing tables.- The approximation of maximum subgraph problems.- Polynomially bounded minimization problems which are hard to approximate.- Primal-dual approximation algorithms for integral flow and multicut in trees, with applications to matching and set cover.- The complexity of approximating PSPACE-complete problems for hierarchical specifications.- Problems on pairs of trees and the four colour problem of planar graphs.- Constructing competitive tours from local information.- Treewidth and pathwidth of permutation graphs.- A theory of even functionals and their algorithmic applications.- Exact asymptotics of divide-and-conquer recurrences.- Optimal bounds for the change-making problem.- The complexity of N-body simulation.- A simple method for resolving degeneracies in Delaunay triangulations.- Fault-tolerance and complexity (Extended abstract).- Reversal-space trade-offs for simultaneous resource-bounded nondeterministic Turing machines.- On the computational power of discrete Hopfield nets.- On randomized versus deterministic computation.- Lower bounds for one-way probabilistic communication complexity.- Maintaining discrete probability distributions optimally.- Secure and efficient off-line digital money (extended abstract).- Computational depth and reducibility.- Learnability: Admissible, co-finite, and hypersimple languages.- Inclusion is undecidable for pattern languages.- New decidability results concerning two-way counter machines and applications.- Cobham's Theorem seen through Büchi's Theorem.- Logical definability on infinite traces.- Algebras for classifying regular tree languages and anapplication to frontier testability.- Finite automata as characterizations of minor closed tree families (extended abstract).- On distributed algorithms in a broadcast domain.- Sparse networks supporting efficient reliable broadcasting.- Strongly adaptive token distribution.- Fast parallel computation of characteristic polynomials by Leverrier's power sum method adapted to fields of finite characteristic.- Fast parallel constraint satisfaction.- The product of rational languages.- On regular compatibility of semi-commutations.- Algebraic aspects of B-regular series.- Products of finite state machines with full coverage.- An effective version of Stallings' theorem in the case of context-free groups.- On the power of periodic iteration of morphisms.- If a DOL language is k-power free then it is circular.- Deciding true concurrency equivalences on finite safe nets (preliminary report).- Timed testing of concurrent systems.- The fork calculus.- Extended transition systems for parametric bisimulation.- Temporal logic and categories of Petri nets.- Decidability of a partial order based temporal logic.- Local model checking for context-free processes.- Computing on structures.- A partial solution for D-unification based on a reduction to AC 1-unification.- Efficient analysis of concurrent constraint logic programs.- A confluent reduction for the extensional typed ?-calculus with pairs, sums, recursion and terminal object.- Modularity of termination and confluence in combinations of rewrite systems with ??.- From domains to automata with concurrency.- What is a universal higher-order programming language?.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...