Cantitate/Preț
Produs

Subrecursive Programming Systems: Progress in Theoretical Computer Science

Autor James S. Royer, John Case
en Limba Engleză Paperback – 3 oct 2012

Din seria Progress in Theoretical Computer Science

Preț: 63786 lei

Preț vechi: 79732 lei
-20%

Puncte Express: 957

Carte tipărită la comandă

Livrare economică 28 iulie-11 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.

Specificații

ISBN-13: 9781461266808
ISBN-10: 1461266807
Pagini: 264
Ilustrații: VIII, 253 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:Softcover reprint of the original 1st ed. 1994
Editura: birkhäuser
Colecția Progress in Theoretical Computer Science
Seria Progress in Theoretical Computer Science

Locul publicării:Boston, MA, United States

Public țintă

Research

Cuprins

1 Introduction.- 1.1 What This Book is About.- 1.2 Outline of Part I. A Subrecursion Programming Systems Toolkit.- 1.3 Outline of Part II. Program Succinctness.- 1.4 Brief History of Prior Results.- 1.5 How to Use This Book.- 1.6 Acknowledgments.- I A Subrecursion Programming Systems Toolkit.- 2 Basic Notation and Definitions.- 3 Deterministic Multi-tape Turing Machines.- 4 Programming Systems.- 5 The LOOP Hierarchy.- 6 The Poly-Degree Hierarchy.- 7 Delayed Enumeration and Limiting Recursion.- 8 Inseparability Notions.- 9 Toolkit Demonstrations.- II Program Succinctness.- 10 Notions of Succinctness.- 11 Limiting-Recursive Succinctness Progressions.- 12 Succinctness for Finite and Infinite Variants.- 13 Succinctness for Singleton Sets.- 14 Further Problems.- Appendix A Exercises.- Appendix B Solutions for Selected Exercises.- Notation Index.