Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
EUR 38,04
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 48,20
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 43,19
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 40,84
Quantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Vendeur : Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Royaume-Uni
EUR 3,62
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
Langue: anglais
Edité par Springer Berlin Heidelberg, 1977
ISBN 10 : 3540081380 ISBN 13 : 9783540081388
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 37,44
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 86,86
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Very Good. book.
Vendeur : preigu, Osnabrück, Allemagne
EUR 36,60
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Theoretical Computer Science | 3rd GI Conference Darmstadt, March 28-30, 1977 | H. Tzschach (u. a.) | Taschenbuch | xii | Englisch | 1977 | Springer | EAN 9783540081388 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.