Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 92,43
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
EUR 86,39
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 114,40
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 114,40
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 112,74
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 114,39
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 130,14
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 127,54
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New. 2012. Paperback. . . . . .
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 132,21
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New. 1994. 1994th Edition. hardcover. . . . . .
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 158,69
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New. 2012. Paperback. . . . . . Books ship from the US and Ireland.
EUR 95,15
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Subrecursive Programming Systems | Complexity & Succinctness | James S. Royer (u. a.) | Taschenbuch | 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.
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 164,54
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New. 1994. 1994th Edition. hardcover. . . . . . Books ship from the US and Ireland.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 161,81
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Birkhäuser, Birkhäuser, 2012
ISBN 10: 1461266807 ISBN 13: 9781461266808
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 112,77
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 152,31
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Like New. book.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 184,83
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 180,86
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.