Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Book
Condition: Good. Some light wear to the extremities of the book. Taping and inscriptions at teh front of the book. Some of the content may have some stains. Clean and readable inside.
Published by Springer, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Book
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Published by Springer, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer 1977-03, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer Berlin Heidelberg Mrz 1977, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -InhaltsangabeOn 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.
Published by Springer, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Springer Berlin Heidelberg, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - InhaltsangabeOn 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.
Published by Springer Berlin Heidelberg, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Ae.
Published by Springer, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New.
Published by Springer, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New.
Published by Springer, 1977
ISBN 10: 3540081380ISBN 13: 9783540081388
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Paperback. Condition: Very Good. Very Good. book.