Passer au contenu principal Passer au contenu du pied de page

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Édition : Peter Aczel , Harold Simmons , Stanley S. Wainer

21 janvier 2008

53,95 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 270 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

320

Publié par: Cambridge University Press

Dimensions à l’expédition: 1" H x 1" W x 1" L

ISBN: 9780521054164

The Linux Philosophy For Sysadmins: And Everyone Who Wants To Be One

David Both Couverture souple
116,95 $
2 formats offerts
Learn Enough Developer Tools to Be Dangerous: Command Line, Text Editor, and Git Version Control Essentials

Michael Hartl Livre numérique Kobo
37,99 $ ~~Réduction sur le prix courant 47,49 $ à~~
Hands-On Generative AI with Transformers and Diffusion Models

Omar Sanseviero Couverture souple
99,99 $
iOS App Distribution & Best Practices (First Edition): Learn to Share Apps With Teams, Testers & the World

Pietro Rea Couverture souple
77,95 $
Theoretical Models in Biology: The Origin of Life, the Immune System, and the Brain

Glenn Rowe Couverture souple
132,00 $
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

F.l. Bauer Couverture souple
160,95 $
2 formats offerts
Parallel Agile - Faster Delivery, Fewer Defects, Lower Cost

Doug Rosenberg Couverture rigide
65,95 $
2 formats offerts
Clang Compiler Frontend: Get to grips with the internals of a C/C++ compiler frontend and create your own tools

Ivan Murashko Couverture souple
50,99 $
Introducing Delphi Orm: Object Relational Mapping Using Tms Aurelius

John Kouraklis Couverture souple
80,50 $
2 formats offerts
Parallel Agile - Faster Delivery, Fewer Defects, Lower Cost

Doug Rosenberg Couverture souple
65,95 $
Lectures On Elementary Mathematics

J L. 1736-1813 Lagrange Couverture souple
26,99 $
Complexity Lower Bounds using Linear Algebra

Satyanarayana V Lokam Couverture souple
128,95 $
Foundations of Linux Debugging, Disassembling, and Reversing: Analyze Binary Code, Understand Stack Memory Usage, and Reconstruct C/C++ Code with Intel x64

Dmitry Vostokov Couverture souple
58,50 $
2 formats offerts
Rust Atomics and Locks: Low-Level Concurrency in Practice

Mara Bos Couverture souple
69,99 $
2 formats offerts
Lectures on Elementary Mathematics

Thomas J. 1865-1932 Mccormack Couverture rigide
35,50 $
Lectures On Elementary Mathematics

Joseph Louis La Grange Couverture souple
26,99 $
Lectures on Elementary Mathematics

Joseph Louis comte 1736-181 La Grange Couverture rigide
33,95 $
Continuous and Discontinuous Modelling of Fracture in Concrete Using FEM

Jacek Tejchman Couverture souple
160,95 $
2 formats offerts
Lectures On Elementary Mathematics;

J L. 1736-1813 Lagrange Couverture souple
26,99 $
The Agile Codex: Re-inventing Agile Through The Science Of Invention And Assembly

Michael McCormick Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

peter aczel

Auteur

Topics in the General Theory of Structures

Couverture souple
220,95 $
2 formats offerts
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers

Robert M. Hierons Couverture rigide
80,50 $
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Simon Foster Couverture souple
109,50 $
2 formats offerts
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Robert L. Carpenter Couverture souple
63,95 $
Systems Engineering For Business Process Change: New Directions: Collected Papers From The Epsrc Research Programme

Peter Henderson Couverture souple
80,50 $
2 formats offerts
Foundations of Coding: Theory and Applications of Error-Correcting Codes with an Introduction to Cryptography and Information Theory

Jiri Adamek Couverture rigide
336,95 $
Logic, Computation And Rigorous Methods: Essays Dedicated To Egon Borger On The Occasion Of His 75th Birthday

Alexander Raschke Couverture souple
80,50 $
2 formats offerts
The Concept of Enterprise Architecture from Theory to Practice

Tiko Iyamu Couverture souple
103,95 $
3 formats offerts
Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Venanzio Capretta Couverture souple
189,95 $
2 formats offerts
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Simon Foster Couverture souple
72,95 $
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Mário S. Alvim Couverture souple
80,50 $
2 formats offerts
Next-gen Digital Services. A Retrospective And Roadmap For Service Computing Of The Future: Essays Dedicated To Michael Papazoglou On The Occasion Of His 65th Birthday And His Retirement

Marco Aiello Couverture souple
80,50 $
2 formats offerts
The Theory Of Hash Functions And Random Oracles: An Approach To Modern Cryptography

Arno Mittelbach Couverture rigide
145,95 $
The Theory Of Hash Functions And Random Oracles: An Approach To Modern Cryptography

Arno Mittelbach Couverture souple
94,95 $
Protocols, Strands, And Logic: Essays Dedicated To Joshua Guttman On The Occasion Of His 66.66th Birthday

Daniel Dougherty Couverture souple
116,95 $
2 formats offerts
Treewidth, Kernels, And Algorithms: Essays Dedicated To Hans L. Bodlaender On The Occasion Of His 60th Birthday

Fedor V. Fomin Couverture souple
102,50 $
2 formats offerts
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Nils Jansen Couverture souple
80,50 $
2 formats offerts
Deductive Software Verification: Future Perspectives: Reflections On The Occasion Of 20 Years Of Key

Wolfgang Ahrendt Couverture souple
80,50 $
2 formats offerts
Fields Of Logic And Computation Iii: Essays Dedicated To Yuri Gurevich On The Occasion Of His 80th Birthday

Andreas Blass Couverture souple
80,50 $
2 formats offerts
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III

Couverture souple
321,50 $
2 formats offerts