Theoretical Computer Science: 3rd GI Conference Darmstadt, March 28-30, 1977 (Lecture Notes in Computer Science) (English, German and French Edition)
7 Angebote vergleichen
Preise | 2013 | 2014 | 2015 | 2022 | 2023 |
---|---|---|---|---|---|
Schnitt | € 26,97 | € 33,09 | € 35,62 | € 37,44 | € 12,00 |
Nachfrage |
1
Theoretical Computer Science (1977)
DE PB NW RP
ISBN: 9783540081388 bzw. 3540081380, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, NDS, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - On polynomial time isomorphisms of complete sets.- New bounds on formula size.- Informatique et algebre la theorie des codes a longueur variable.- On a description of tree-languages by languages.- Higher type program schemes and their tree languages.- Das Äquivalenzproblem für spezielle Klassen von Loop-1-Programmen.- A comparative study of one-counter Ianov schemes.- Grobstrukturen für kontextfreie Grammatiken.- Strukturelle Untersuchungen zur schwersten kontextfreien Sprache.- Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier Sprachen.- On one-way Auxiliary pushdown automata.- Un langage algebrique non-generateur.- Cylindres de langages simples et pseudo-simples.- Familles de langages fermees par crochet et crochet ouvert.- Eine Klasse geordneter Monoide und ihre Anwendbarkeit in der Fixpunktsemantik.- Systemes schematiques generalises.- Formale Korrektheitsbeweise für While-Programme.- Towards automation of proofs by induction.- A syntactic connection between proof procedures and refutation procedures.- Struktur von Programmbündeln.- Bemerkungen zu den Übergangshalbgruppen linear realisierbarer Automaten.- Decidabilite de la finitude des demi-groupes de matrices.- Codes et sous-monoides possedant des mots neutres.- A polynomial-time test for the deadlock-freedom of computer systems.- Aspects of unbounded parallelism.- Eigenschaften färbbarer Petri-Netze.- On the rationality of petri net languages.- An algorithm for transitive closure with linear expected time.- The LBA-problem and the transformability of the class 2.- Das Normalisierungsproblem und der Zusammenhang mit der Zeitkomplexität der kontextsensitiven Analyse.- Über Netzwerkgrössen höherer Ordnung und die mittlere Anzahl der in Netzwerken benutzten operationen.- Ein vollständiges Problem auf der Baummaschine.- Über die Länge einer Berechnung bei linearer Parameterabhängigkeit der Operationszeit. 432 pp. Englisch, Französisch, Deutsch.
This item is printed on demand - Print on Demand Titel. Neuware - On polynomial time isomorphisms of complete sets.- New bounds on formula size.- Informatique et algebre la theorie des codes a longueur variable.- On a description of tree-languages by languages.- Higher type program schemes and their tree languages.- Das Äquivalenzproblem für spezielle Klassen von Loop-1-Programmen.- A comparative study of one-counter Ianov schemes.- Grobstrukturen für kontextfreie Grammatiken.- Strukturelle Untersuchungen zur schwersten kontextfreien Sprache.- Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier Sprachen.- On one-way Auxiliary pushdown automata.- Un langage algebrique non-generateur.- Cylindres de langages simples et pseudo-simples.- Familles de langages fermees par crochet et crochet ouvert.- Eine Klasse geordneter Monoide und ihre Anwendbarkeit in der Fixpunktsemantik.- Systemes schematiques generalises.- Formale Korrektheitsbeweise für While-Programme.- Towards automation of proofs by induction.- A syntactic connection between proof procedures and refutation procedures.- Struktur von Programmbündeln.- Bemerkungen zu den Übergangshalbgruppen linear realisierbarer Automaten.- Decidabilite de la finitude des demi-groupes de matrices.- Codes et sous-monoides possedant des mots neutres.- A polynomial-time test for the deadlock-freedom of computer systems.- Aspects of unbounded parallelism.- Eigenschaften färbbarer Petri-Netze.- On the rationality of petri net languages.- An algorithm for transitive closure with linear expected time.- The LBA-problem and the transformability of the class 2.- Das Normalisierungsproblem und der Zusammenhang mit der Zeitkomplexität der kontextsensitiven Analyse.- Über Netzwerkgrössen höherer Ordnung und die mittlere Anzahl der in Netzwerken benutzten operationen.- Ein vollständiges Problem auf der Baummaschine.- Über die Länge einer Berechnung bei linearer Parameterabhängigkeit der Operationszeit. 432 pp. Englisch, Französisch, Deutsch.
3
Symbolbild
Theoretical computer science : 3. GI conference, March 28-30, 1977. ed. by H. ., Lecture notes in computer science , 48 (1977)
~DE
ISBN: 9783540081388 bzw. 3540081380, vermutlich in Deutsch, Springer, Berlin/Heidelberg, Deutschland.
Lieferung aus: Deutschland, zzgl. Versandkosten.
Von Händler/Antiquariat, Wissenschaftliches Antiquariat Heinz Buschulte.
VII, 418 S. , 24 cm.
Von Händler/Antiquariat, Wissenschaftliches Antiquariat Heinz Buschulte.
VII, 418 S. , 24 cm.
4
Theoretical Computer Science 3rd GI Conference Darmstadt, March 28-30, 1977, Lecture Notes in Computer Science
DE NW
ISBN: 9783540081388 bzw. 3540081380, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Von Händler/Antiquariat, Alden Books [58991492], New York, NY, U.S.A.
pp. 418 English, German and French Edition.
pp. 418 English, German and French Edition.
5
Theoretical Computer Science: 3rd GI Conference Darmstadt, March 28-30, 1977 (2014)
DE PB NW
ISBN: 9783540081388 bzw. 3540081380, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu.
Von Händler/Antiquariat, Books2Anywhere [190245], Fairford, GLO, United Kingdom.
New Book. This item is printed on demand. Shipped from UK. This item is printed on demand.
New Book. This item is printed on demand. Shipped from UK. This item is printed on demand.
7
Theoretical Computer Science: 3rd GI Conference Darmstadt, March 28-30, 1977 (Lecture Notes in Computer Science) (English, German and French Edition) (1977)
DE PB NW
ISBN: 9783540081388 bzw. 3540081380, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu.
Von Händler/Antiquariat, ExtremelyReliable [8304062], Richmond, TX, U.S.A.
This item is printed on demand.
This item is printed on demand.
Lade…