1982, ISBN: 3540115765
1982 Kartoniert / Broschiert Theoretische Informatik, approximation; Notation; Algebra; algorithms; complexity; Forcing; Grammar; homomorphism; logic; programminglanguage; proof; Semant… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9783540115762
Automata Languages and Programming,M Nielsen Trade Books>Trade Paperback>Technology>Xxxsoftware Engr>* Desc Unknown, Springer Berlin Heidelberg Core >1
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Automata, Languages and Programming. (=Lecture Notes in Computer Science 140). - gebunden oder broschiert
1982, ISBN: 9783540115762
613 Seiten Hardcover Guter Zustand/ Good With figures and tables. Additional cover foliation. ha1045407 Versand D: 8,00 EUR, [PU:Springer Berlin,]
buchfreund.de ralfs-buecherkiste, 15378 Herzfelde Versandkosten:Versandkosten innerhalb der BRD. (EUR 8.00) Details... |
Automata, languages and programming. - Berlin [West] : Springer 99, Aarhus, Denmark July 12-16, 1982 / ed. by M. Nielsen and E. M. Schmidt - gebrauchtes Buch
1982, ISBN: 9783540115762
VII, 613 S. : graph. Darst., [PU: Springer, Berlin/Heidelberg]
Antikbuch24.de |
ISBN: 9783540115762
There is currently no description available, Springer
Springer.com Nr. 978-3-540-11576-2. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
1982, ISBN: 3540115765
1982 Kartoniert / Broschiert Theoretische Informatik, approximation; Notation; Algebra; algorithms; complexity; Forcing; Grammar; homomorphism; logic; programminglanguage; proof; Semant… Mehr…
ISBN: 9783540115762
There is currently no description available, Springer
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12-16, 1982 M. Nielsen Editor
EAN (ISBN-13): 9783540115762
ISBN (ISBN-10): 3540115765
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1982
Herausgeber: Springer Berlin Heidelberg Core >1
Buch in der Datenbank seit 2007-04-27T10:57:08+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-11T12:49:13+01:00 (Berlin)
ISBN/EAN: 9783540115762
ISBN - alternative Schreibweisen:
3-540-11576-5, 978-3-540-11576-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: mogens, nielsen, schmidt
Titel des Buches: denmark, aarhus, west berlin mauer, the programming language, automaton, nielsen, automata languages and programming, 1982, lecture notes computer science automata
Daten vom Verlag:
Autor/in: M. Nielsen; E. M. Schmidt
Titel: Lecture Notes in Computer Science; Automata, Languages and Programming - Ninth Colloquium Aarhus, Denmark, July 12–16, 1982
Verlag: Springer; Springer Berlin
615 Seiten
Erscheinungsjahr: 1982-07-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VII, 615 p.
BC; Hardcover, Softcover / Mathematik/Wahrscheinlichkeitstheorie, Stochastik, Mathematische Statistik; Algorithmen und Datenstrukturen; Verstehen; Approximation; Notation; algebra; algorithms; automata; complexity; forcing; grammar; homomorphism; logic; programming; programming language; proof; semantics; term rewriting; algorithm analysis and problem complexity; Algorithms; Formal Languages and Automata Theory; Theoretische Informatik; EA
Locality in modular systems.- On-the-fly garbage collection: New algorithms inspired by program proofs.- Algebraic specifications for parametrized data types with minimal parameter and target algebras.- A modification of the ?-calculus as a base for functional programming languages.- On the power of nondeterminism in dynamic logic.- Equivalence and membership problems for regular trace languages.- On the power of chain rules in context free grammars.- Extended Chomsky-Schützenberger theorems.- Real time agents.- Machine inductive inference and language identification.- Approximations of infinitary objects.- On test sets and the Ehrenfeucht conjecture.- An automata-theoretic characterization of the OI-hierarchy.- Fast detection of polyhedral intersections.- On reversal-bounded counter machines and on pushdown automata with a bound on the size of the pushdown store.- Multihead finite state automata am concatenation.- Conditions enforcing regularity of context-free languages.- Repetitions in homomorphisms and languages.- Parameter passing commutes with implementation of parameterized data types.- An operational semantics for pure dataflow.- Some properties of D-continuous causal nets.- A branching process arising in dynamic hashing, trie searching and polynomial factorization.- A sound and complete HOARE axiomatization of the ADA-rendezvous.- Universal realization, persistent interconnection and implementation of abstract modules.- Heaps on heaps.- A boundary of isomorphism completeness in the lattice of semigroup pseudovarieties.- Derived Pairs, overlap closures, and rewrite dominoes: New tools for analyzing term rewriting systems.- A programming language for the inductive sets, and applications.- A lower bound for the formula size of rational functions.- On theequivalence problem for binary DOL systems.- Results on the propositional ?-calculus.- An iteration theorem for simple precedence languages.- The power of non-rectilinear holes.- Fixed-point semantics for algebraic (tree) grammars.- Completing biprefix codes.- Advances in pebbling.- A powerdomain for countable non-determinism.- Properties of a notation for combining functions.- On the power of probabilistic choice in synchronous parallel computations.- Biprefix codes and semisimple algebras.- Algorithmic theories of data structures.- Implementation of parameterised specifications.- Algebraic semantics of recursive flowchart schemes.- The complexity of promise problems.- Global and local invariants in transition systems.- On relativization and the existence of complete sets.- Semantics of interference control.- Efficient simulations of multicounter machines.- Event structure semantics for CCS and related languages.- Domains for denotational semantics.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780387068411 Lecture Notes in Computer Science 14: Automata, Languages and Programming (Loeckx, J)
- 9780387068411 Lecture Notes in Computer Science 14: Automata, Languages and Programming (Loeckx, J)
- 9780387156507 Automata, Languages and Programming (Lecture Notes in Computer Science) (Brauer, Wilfried [Editor])
- 9780387115764 Automata Languages and Programming. Lecture Notes in Computer Science, No. 140 (E. M. Schmidt M. Nielsen)
- 9780387108438 Automata, Languages, and Programming: Ninth Colloquium, Aarhus, Denmark 1982 (Lecture Notes in Computer Science 140) (Unnamed Unnamed)
- 9780387133454 Automata, Languages and Programming (Lecture Notes in Computer Science 172) (JAN PAREDAENS (EDITOR))
< zum Archiv...