Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
EUR 90,01
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
EUR 85,23
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Like New. Used - Like New. Book is new and unread but may have minor shelf wear. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 116,48
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 116,48
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 113,91
Quantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 116,47
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 131,99
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 132,01
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 130,97
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. 2012. Paperback. . . . . .
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 134,22
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. 1994. 1994th Edition. hardcover. . . . . .
EUR 95,25
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Subrecursive Programming Systems | Complexity & Succinctness | James S. Royer (u. a.) | Taschenbuch | Progress in Theoretical Computer Science | viii | Englisch | 2012 | Birkhäuser | EAN 9781461266808 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
EUR 162,86
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. 2012. Paperback. . . . . . Books ship from the US and Ireland.
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
EUR 169,46
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. 1994. 1994th Edition. hardcover. . . . . . Books ship from the US and Ireland.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 163,49
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 112,77
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 1.1. What This Book is About This book is a study of subrecursive programming systems, efficiency/program-size trade-offs between such systems, and how these systems can serve as tools in complexity theory. Section 1.1 states our basic themes, and Sections 1.2 and 1.3 give a general outline of the book. Our first task is to explain what subrecursive programming systems are and why they are of interest. 1.1.1. Subrecursive Programming Systems A subrecursive programming system is, roughly, a programming language for which the result of running any given program on any given input can be completely determined algorithmically. Typical examples are: 1. the Meyer-Ritchie LOOP language [MR67,DW83], a restricted assem bly language with bounded loops as the only allowed deviation from straight-line programming; 2. multi-tape 'lUring Machines each explicitly clocked to halt within a time bound given by some polynomial in the length ofthe input (see [BH79,HB79]); 3. the set of seemingly unrestricted programs for which one can prove 1 termination on all inputs (see [Kre51,Kre58,Ros84]); and 4. finite state and pushdown automata from formal language theory (see [HU79]). lOr, more precisely, the collection of programs, p, ofsome particular general-purpose programming language (e.g., Lisp or Modula-2) for which there is a proof in some par ticular formal system (e.g., Peano Arithmetic) that p halts on all inputs.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 153,89
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Like New. Like New. book.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 186,17
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 187,55
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 220,85
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.