Cantitate/Preț
Produs

Subrecursive Programming Systems: Progress in Theoretical Computer Science

Autor James S. Royer, John Case
en Limba Engleză Hardback – aug 1994

Din seria Progress in Theoretical Computer Science

Preț: 64350 lei

Preț vechi: 80437 lei
-20%

Puncte Express: 965

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: 9780817637675
ISBN-10: 0817637672
Pagini: 264
Ilustrații: VIII, 253 p.
Dimensiuni: 160 x 241 x 20 mm
Greutate: 0.56 kg
Ediția: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.