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) 63297 lei  6-8 săpt.
  Birkhäuser Boston – 3 oct 2012 63297 lei  6-8 săpt.
Hardback (1) 63914 lei  6-8 săpt.
  Birkhäuser Boston – aug 1994 63914 lei  6-8 săpt.

Din seria Progress in Theoretical Computer Science

  • 20% Algorithms for Random Generation and Counting: A Markov Chain Approach
    Preț: 63412 lei
  • 20% The Graph Isomorphism Problem: Its Structural Complexity
    Preț: 63459 lei
  • 20% Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion
    Preț: 63963 lei
  • 20% Algol-like Languages
    Preț: 60099 lei
  • 20% Polynomial and Matrix Computations: Fundamental Algorithms
    Preț: 98348 lei
  • 20% Finite Automata, Formal Logic, and Circuit Complexity
    Preț: 63802 lei
  • 20% Solving Higher-Order Equations: From Logic to Programming
    Preț: 63734 lei
  • 20% Object-Oriented Programming A Unified Foundation
    Preț: 64499 lei
  • 20% Categorical Combinators, Sequential Algorithms, and Functional Programming
    Preț: 64724 lei
  • 20% The Combinatory Programme
    Preț: 63540 lei
  • 20% Logic of Domains
    Preț: 63978 lei
  • 20% Neural Networks and Analog Computation: Beyond the Turing Limit
    Preț: 97165 lei
  • Canonical Equational Proofs
    Preț: 37351 lei
  • 15% Semantics of Type Theory: Correctness, Completeness and Independence Results
    Preț: 57510 lei
  • 20% Complexity Theory of Real Functions
    Preț: 57995 lei
  • Verifying Temporal Properties of Systems
    Preț: 37200 lei
  • Nondeterminism in Algebraic Specifications and Algebraic Programs
    Preț: 38013 lei
  • Isomorphisms of Types: from ?-calculus to information retrieval and language design
    Preț: 37901 lei
  • 15% Computation and Control: Volume 3
    Preț: 53117 lei

Preț: 63914 lei

Preț vechi: 79891 lei
-20% Nou

Puncte Express: 959
Preț estimativ în valută:
12232€ • 12774$ • 10141£

Carte tipărită la comandă

Livrare economică 12-26 februarie

 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.