Del 67 - Lecture Notes in Computer Science

Theoretical Computer Science

4th GI Conference Aachen, March 26-28, 1979

Häftad, Engelska, 1979

Av K. Weihrauch

339 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1979-03-05
Mått155 x 235 x 19 mm
Vikt517 g
SpråkEngelska, Tyska
SerieLecture Notes in Computer Science
Antal sidor330
Upplaga1979
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
EAN9783540091189

Du kanske också är intresserad av

Computable Analysis

Computable Analysis

Klaus Weihrauch, K. Weihrauch

709 kr

Klenoden

Nyhet

Klenoden

Klas Östergren

289 kr329 kr

Historiens återkomst: Europa och världsordningens sammanbrott

Nyhet

Historiens återkomst: Europa och världsordningens sammanbrott

329 kr

Kvinnorna

4 pocket för 3

Kvinnorna

125 kr

Väninnorna på Nordiska Kompaniet

Nyhet

Del 2

Väninnorna på Nordiska Kompaniet

Ruth Kvarnström-Jones

79 kr125 kr

Den yttersta hemligheten

Nyhet

Del 6

Den yttersta hemligheten

329 kr

Gråterskan

Nyhet

Del 12

Gråterskan

Camilla Läckberg

289 kr319 kr

De fenomenala fruntimren på Grand Hôtel

4 pocket för 3

Del 1

De fenomenala fruntimren på Grand Hôtel

Ruth Kvarnström-Jones

125 kr

Charlies hämnd

Nyhet

Del 1

Charlies hämnd

Simona Ahrnstedt

79 kr125 kr

Medelhavsmat

Nyhet

Medelhavsmat

349 kr

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it

Context-free sets of infinite words.- New aspects of homomorphisms.- Can partial correctness assertions specify programming language semantics?.- An algebraic theory for synchronization.- Storage modification machines.- Negative results on counting.- Strong non-deterministic context-free languages.- Information content characterizations of complexity theoretic properties.- Mittlere Anzahl von Rebalancierungsoperationen in gewichtsbalancierten Bäumen.- A new recursion induction principle.- Finite-change automata.- Move rules and trade-offs in the pebble game.- Transition diagrams and strict deterministic grammars.- Exact expressions for some randomness tests.- On storage optimization for automatically generated compilers.- On continuous completions.- A new method to show lower bounds for polynomials which are hard to compute.- On zerotesting-bounded multicounter machines.- When are two effectively given domains identical?.- Sur deux langages linéaires.- An efficient on-line position tree construction algorithm.- Sorting presorted files.- Node-visit optimal 1 – 2 brother trees.- A graph theoretic approach to determinism versus non-determinism.- Une caracterisation de trois varietes de langages bien connues.- Über eine minimale universelle Turing-Maschine.- Sur les varietes de langages et de monoïdes.- Automaten in planaren graphen.- Theoreme de transversale rationnelle pour les automates a pile deterministes.- On the additive complexity of polynomials and some new lower bounds.- Remarks on the nonexistence of some covering grammars.- Zur Komplexität der Presburger Arithmetik und des Äquivalenzproblems einfacher Programme.