Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
US$ 10.70
Convert currencyQuantity: 2 available
Add to basketCondition: 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.
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: 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.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 116.44
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 116.44
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 127.74
Convert currencyQuantity: 10 available
Add to basketPF. Condition: New.
Condition: Used. pp. 264.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 136.24
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 136.24
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
US$ 145.13
Convert currencyQuantity: 1 available
Add to basketCondition: Used. pp. 264 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
US$ 160.75
Convert currencyQuantity: 1 available
Add to basketCondition: Used. pp. 264.
Condition: New. pp. 264.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 178.63
Convert currencyQuantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 191.19
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
Seller: moluna, Greven, Germany
US$ 109.65
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Introduction.- 1.1 What This Book is About.- 1.1.1 Subrecursive Programming Systems.- 1.1.2 Relative Succinctness Trade-offs.- 1.1.3 The Toolkit.- 1.2 Outline of Part I. A Subrecursion Programming Systems Toolkit.- 1.3 Outline of Part II. Program Succinct.
Seller: moluna, Greven, Germany
US$ 109.65
Convert currencyQuantity: Over 20 available
Add to basketGebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Introduction.- 1.1 What This Book is About.- 1.1.1 Subrecursive Programming Systems.- 1.1.2 Relative Succinctness Trade-offs.- 1.1.3 The Toolkit.- 1.2 Outline of Part I. A Subrecursion Programming Systems Toolkit.- 1.3 Outline of Part II. Program Succinct.
Published by Springer-Verlag New York Inc., 2012
ISBN 10: 1461266807 ISBN 13: 9781461266808
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
US$ 158.31
Convert currencyQuantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 402.
Published by Birkhauser Boston Inc, 1994
ISBN 10: 0817637672 ISBN 13: 9780817637675
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
US$ 158.31
Convert currencyQuantity: Over 20 available
Add to basketHardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 575.
Seller: Majestic Books, Hounslow, United Kingdom
US$ 174.94
Convert currencyQuantity: 4 available
Add to basketCondition: New. Print on Demand pp. 264 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Published by Birkhäuser Boston, Birkhäuser Boston Aug 1994, 1994
ISBN 10: 0817637672 ISBN 13: 9780817637675
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
US$ 127.14
Convert currencyQuantity: 1 available
Add to basketBuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 264 pp. Englisch.
Seller: Biblios, Frankfurt am main, HESSE, Germany
US$ 193.61
Convert currencyQuantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 264.