Brakhage h (7 risultati)

Paperback. Condizione: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Condizione: New. In.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal language theory and theoretical computer science.- Le cylindre des langages lineaires n'est pas principal.- Langages algebriques deterministes et groupes abeliens.- Best possible bounds on the weighted path length of optimum binary search trees.- En En 1-entscheidbare Gruppen.- Statistical characterization of learnable sequences.- Über den mittleren Zeitbedarf bei der LR(k) - Analyse kontextfreier Sprachen.- Zur endlichen Approximierbarkeit sequentieller Systeme.- The complexity of negation-limited networks - A brief survey.- The network-complexity of equivalence and other applications of the network complexity.- Test d'isomorphie d'hypergraphes planaires.- Obere und untere Schranke für die Komplexität von Booleschen Funktionen.- On the entropy of a formal language.- On the complexity of computations under varying sets of primitives.- About the deterministic simulation of nondeterministic (log n)-tape bounded turing machines.- Zur Entscheidbarkeit der funktionalen Äquivalenz.- Quantifier elimination for real closed fields by cylindrical algebraic decompostion.- Deterministische indizierte Grammatiken.- Eine Beschreibung contextfreier Sprachen durch endliche Mengensysteme.- On the generative capacity of the strict global grammars.- Tree-transducers and syntax-connected transductions.- Sur les relations rationnelles.- Piecewise testable events.- Die Grösse des zustandsminimalen LR(O)-Analysators.- Formal translations and the containment problem for Szilard languages.- A characterization of bounded regular sets.- Eine universelle Lambda-Kalkül-Programmiersprache und ihr Interpreter.- Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften.- Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik .-Prädikatives Programmieren.- Analyzing families of grammars.- Control structures and monadic languages.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This text is about the geometric theory of discrete groups and the associated tesselations of the underlying space. The theory of Möbius transformations in n-dimensional Euclidean space is developed. These transformations are discussed as isometries of hyperbolic space and are then identified with the elementary transformations of complex analysis. A detailed account of analytic hyperbolic trigonometry is given, and this forms the basis of the subsequent analysis of tesselations of the hyperbolic plane. Emphasis is placed on the geometrical aspects of the subject and on the universal constraints which must be satisfied by all tesselations. 304 pp. Englisch, Französisch, Deutsch. …

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Formal language theory and theoretical computer science.- Le cylindre des langages lineaires n est pas principal.- Langages algebriques deterministes et groupes abeliens.- Best possible bounds on the weighted path length of optimum binary search trees.- En..…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Formal language theory and theoretical computer science.- Le cylindre des langages lineaires n'est pas principal.- Langages algebriques deterministes et groupes abeliens.- Best possible bounds on the weighted path length of optimum binary search trees.- En En 1-entscheidbare Gruppen.- Statistical characterization of learnable sequences.- Über den mittleren Zeitbedarf bei der LR(k) - Analyse kontextfreier Sprachen.- Zur endlichen Approximierbarkeit sequentieller Systeme.- The complexity of negation-limited networks - A brief survey.- The network-complexity of equivalence and other applications of the network complexity.- Test d'isomorphie d'hypergraphes planaires.- Obere und untere Schranke für die Komplexität von Booleschen Funktionen.- On the entropy of a formal language.- On the complexity of computations under varying sets of primitives.- About the deterministic simulation of nondeterministic (log n)-tape bounded turing machines.- Zur Entscheidbarkeit der funktionalen Äquivalenz.- Quantifier elimination for real closed fields by cylindrical algebraic decompostion.- Deterministische indizierte Grammatiken.- Eine Beschreibung contextfreier Sprachen durch endliche Mengensysteme.- On the generative capacity of the strict global grammars.- Tree-transducers and syntax-connected transductions.- Sur les relations rationnelles.- Piecewise testable events.- Die Grösse des zustandsminimalen LR(O)-Analysators.- Formal translations and the containment problem for Szilard languages.- A characterization of bounded regular sets.- Eine universelle Lambda-Kalkül-Programmiersprache und ihr Interpreter.- Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften.- Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik .-Prädikatives Programmieren.- Analyzing families of grammars.- Control structures and monadic languages.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 304 pp. Englisch.…

Taschenbuch. Condizione: Neu. Automata Theory and Formal Languages | 2nd GI Conference, Kaiserslautern, May 20-23, 1975 | H. Brakhage | Taschenbuch | Einband - flex.(Paperback) | Englisch | Springer | EAN 9783540074076 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.…