Cantitate/Preț
Produs
Total produse
Vezi coșul
Subrecursive Programming Systems: Complexity & Succinctness de James S. Royer

Subrecursive Programming Systems: Complexity & Succinctness: Progress in Theoretical Computer Science

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

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 62538 lei  43-57 zile
  Birkhäuser Boston – 3 oct 2012 62538 lei  43-57 zile
Hardback (1) 63145 lei  43-57 zile
  Birkhäuser Boston – aug 1994 63145 lei  43-57 zile

Din seria Progress in Theoretical Computer Science

  • 20% Algorithms for Random Generation and Counting: A Markov Chain Approach
    Preț: 62650 lei
  • 20% The Graph Isomorphism Problem: Its Structural Complexity
    Preț: 62697 lei
  • 20% Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion
    Preț: 63195 lei
  • 20% Algol-like Languages
    Preț: 60098 lei
  • 20% Polynomial and Matrix Computations: Fundamental Algorithms
    Preț: 97165 lei
  • 20% Finite Automata, Formal Logic, and Circuit Complexity
    Preț: 63036 lei
  • 20% Solving Higher-Order Equations: From Logic to Programming
    Preț: 62969 lei
  • 20% Object-Oriented Programming A Unified Foundation
    Preț: 63725 lei
  • 20% Categorical Combinators, Sequential Algorithms, and Functional Programming
    Preț: 63947 lei
  • 20% The Combinatory Programme
    Preț: 62777 lei
  • 20% Logic of Domains
    Preț: 63208 lei
  • 20% Neural Networks and Analog Computation: Beyond the Turing Limit
    Preț: 95996 lei
  • Canonical Equational Proofs
    Preț: 36905 lei
  • 15% Semantics of Type Theory: Correctness, Completeness and Independence Results
    Preț: 56820 lei
  • 20% Complexity Theory of Real Functions
    Preț: 57300 lei
  • Verifying Temporal Properties of Systems
    Preț: 36756 lei
  • Nondeterminism in Algebraic Specifications and Algebraic Programs
    Preț: 37561 lei
  • Isomorphisms of Types: from ?-calculus to information retrieval and language design
    Preț: 37449 lei
  • 15% Computation and Control: Volume 3
    Preț: 52479 lei

Preț: 63145 lei

Preț vechi: 78932 lei
-20% Nou

Puncte Express: 947
Preț estimativ în valută:
12086€ • 12596$ • 10061£

Carte tipărită la comandă

Livrare economică 06-20 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780817637675
ISBN-10: 0817637672
Pagini: 253
Ilustrații: VIII, 253 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.54 kg
Ediția:1994
Editura: Birkhäuser Boston
Colecția Birkhäuser
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.