The Combinatory Programme: Progress in Theoretical Computer Science
K. Aberer Autor Erwin Engeler B. Amrhein, O. Gloor, M. v. Mohrenschildt, D. Otth, G. Schwärzler, T. Weibelen Limba Engleză Hardback – noi 1994
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 604.84 lei 6-8 săpt. | |
Birkhäuser Boston – 23 noi 2011 | 604.84 lei 6-8 săpt. | |
Hardback (1) | 612.17 lei 6-8 săpt. | |
Birkhäuser Boston – noi 1994 | 612.17 lei 6-8 săpt. |
Din seria Progress in Theoretical Computer Science
- 20% Preț: 610.94 lei
- 20% Preț: 611.39 lei
- 20% Preț: 616.25 lei
- 20% Preț: 600.99 lei
- 20% Preț: 947.45 lei
- 20% Preț: 614.69 lei
- 20% Preț: 615.77 lei
- 20% Preț: 614.04 lei
- 20% Preț: 621.41 lei
- 20% Preț: 623.58 lei
- 20% Preț: 616.38 lei
- 20% Preț: 936.05 lei
- Preț: 359.95 lei
- 15% Preț: 554.10 lei
- 20% Preț: 558.77 lei
- Preț: 358.50 lei
- Preț: 366.33 lei
- Preț: 365.24 lei
- 15% Preț: 511.79 lei
Preț: 612.17 lei
Preț vechi: 765.22 lei
-20% Nou
Puncte Express: 918
Preț estimativ în valută:
117.20€ • 126.98$ • 97.87£
117.20€ • 126.98$ • 97.87£
Carte tipărită la comandă
Livrare economică 12-26 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780817638016
ISBN-10: 0817638016
Pagini: 144
Ilustrații: VIII, 144 p.
Dimensiuni: 156 x 234 x 16 mm
Greutate: 0.44 kg
Ediția:1995
Editura: Birkhäuser Boston
Colecția Birkhäuser
Seria Progress in Theoretical Computer Science
Locul publicării:Boston, MA, United States
ISBN-10: 0817638016
Pagini: 144
Ilustrații: VIII, 144 p.
Dimensiuni: 156 x 234 x 16 mm
Greutate: 0.44 kg
Ediția:1995
Editura: Birkhäuser Boston
Colecția Birkhäuser
Seria Progress in Theoretical Computer Science
Locul publicării:Boston, MA, United States
Public țintă
ResearchCuprins
I. Historical and Philosophical Background.- 1. From Protologics to Combinatory Algebras.- 2. A Brief Recapitulation of Combinatory Algebra.- 3. An Algebraization of Universal Algebra.- 4. Objects Reflected in Their Properties.- II. An Algebraization of Universal Algebra.- Axiomatic Extensions.- Aspects of Universal Algebra in Combinatory Logic.- Remarks on an Algebraic Theory of Recursive Degrees.- III. An Algebraization of Algorithmics.- An Algebraization of Hierarchical and Recursive Distributed Processes.- Algebra of Approximate Computation.- IV. Relations to Logical Computer-Algebraic Calculi.- Solving Discontinuous Differential Equations.- Types and Consistency.- References.