- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Résultats pour "Cambridge Tracts in Theoretical Computer Science"
-
Higher Order Logic and Hardware Verification
T F Melham, Thomas F Melham
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 31
- Dr. Melham shows here how formal logic can be used to specify the behavior of hardware designs and reason about their correctness. A primary theme of ... Savoir plus
153,95 €Livraison sous 1 à 4 semaines153,95 €Livraison sous 1 à 4 semaines -
Term Rewriting Systems
Jan Willem Klop, Roel de Vrijer, Terese
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 55
- Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. The... Savoir plus
263,95 €Livraison 1 à 2 semaines263,95 €Livraison 1 à 2 semaines -
Higher Order Logic and Hardware Verification
T Melham
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 31
- Dr. Melham shows here how formal logic can be used to specify the behavior of hardware designs and reason about their correctness. A primary theme of ... Savoir plus
51,95 €Livraison sous 1 à 4 semaines51,95 €Livraison sous 1 à 4 semaines -
Lambda-Calculus, Combinators and Functional Programming
G E Revesz
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 4
- Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematica... Savoir plus
67,95 €Livraison 1 à 2 semaines67,95 €Livraison 1 à 2 semaines -
Extensions of First-Order Logic
Maria Manzano
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 19
- Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is a... Savoir plus
92,45 €Livraison sous 1 à 4 semaines92,45 €Livraison sous 1 à 4 semaines -
Two-Level Functional Languages
Flemming Nielson, Hanne Riis Nielson
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 34
- The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is ... Savoir plus
64,95 €Livraison 1 à 2 semaines64,95 €Livraison 1 à 2 semaines -
A Unifying Framework for Structured Analysis and Design Models
T H Tse, Tse T H
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 11
- Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of mod... Savoir plus
54,95 €Livraison sous 1 à 4 semaines54,95 €Livraison sous 1 à 4 semaines -
Domains and Lambda-Calculi
Roberto M Amadio, Pierre-Louis Curien, Amadio Roberto M
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 46
- This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meani... Savoir plus
182,45 €Livraison 1 à 2 semaines182,45 €Livraison 1 à 2 semaines -
Nominal Sets
Andrew M Pitts
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 57
- Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and ... Savoir plus
74,45 €Livraison 1 à 2 semaines74,45 €Livraison 1 à 2 semaines -
Design Theory and Computer Science
Subrata Dasgupta
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 15
- The author examines logic and methodology of design from the perspective of computer science. Computers provide the context for this examination both ... Savoir plus
205,45 €Livraison 1 à 2 semaines205,45 €Livraison 1 à 2 semaines -
Algorithmic Information Theory
Gregory. J. Chaitin
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science
- Expounds Godel's incompleteness theorey using an information theoretic approach based on the size of computer programs. Savoir plus
66,45 €Livraison 1 à 2 semaines66,45 €Livraison 1 à 2 semaines -
Topology Via Logic
Steven Vickers
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 5
- This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite ... Savoir plus
64,95 €Livraison 1 à 2 semaines64,95 €Livraison 1 à 2 semaines -
The Logic of Typed Feature Structures
Bob Carpenter
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 32
- This book develops the theory of typed feature structures, a new form of data structure that generalizes both the first-order terms of logic programs ... Savoir plus
58,45 €Livraison 1 à 2 semaines58,45 €Livraison 1 à 2 semaines -
Applications of Process Algebra
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 17
- This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communi... Savoir plus
116,45 €Livraison 1 à 2 semaines116,45 €Livraison 1 à 2 semaines -
Information Flow
Jon Barwise, Whatley
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 44
- Information is a central topic in computer science, cognitive science, and philosophy. In spite of its importance in the "information age," there is n... Savoir plus
92,45 €Livraison sous 1 à 4 semaines92,45 €Livraison sous 1 à 4 semaines -
Algorithmic Information Theory
Gregory J Chaitin
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 1
- Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Gödel's incompleteness theorem, using... Savoir plus
64,95 €Livraison 1 à 2 semaines64,95 €Livraison 1 à 2 semaines -
Nets, Terms and Formulas
E R Olderog
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 23
- The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to des... Savoir plus
58,45 €Livraison 1 à 2 semaines58,45 €Livraison 1 à 2 semaines -
Formal Semantics and Pragmatics for Natural Language Querying
James Clifford, Clifford James
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 8
- This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links ... Savoir plus
58,45 €Livraison 1 à 2 semaines58,45 €Livraison 1 à 2 semaines -
Mathematical Theory of Domains
Viggo Stoltenberg-Hansen, Ingrid Lindstrom, Edward R Griffor
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 22
- Domain theory is the mathematical framework that is used to model the semantics of computer programs and the theory of computation. This is the first ... Savoir plus
68,95 €Livraison 1 à 2 semaines68,95 €Livraison 1 à 2 semaines -
The Optimal Implementation of Functional Programming Languages
Andrea Asperti
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 45
- All traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not "optimal" in their implement... Savoir plus
104,45 €Livraison 1 à 2 semaines104,45 €Livraison 1 à 2 semaines -
Basic Simple Type Theory
J Roger Hindley, Roger J Hindley
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 42
- Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its t... Savoir plus
131,45 €Livraison 1 à 2 semaines131,45 €Livraison 1 à 2 semaines -
Algebraic Specification of Communication Protocols
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 36
- Modern computer networks now circle the world, but the transmission of information among them depends on the many different protocols that define the ... Savoir plus
55,45 €Livraison 1 à 2 semaines55,45 €Livraison 1 à 2 semaines -
Metamathematics, Machines and Godel's Proof
Natarajan Shankar, N Shankar
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 38
- The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Gödel's first incomplet... Savoir plus
58,45 €Livraison 1 à 2 semaines58,45 €Livraison 1 à 2 semaines -
Predicate Transformer Semantics
Ernest G Manes, E G Manes
- Livre broché | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 33
- A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book pre... Savoir plus
70,45 €Livraison 1 à 2 semaines70,45 €Livraison 1 à 2 semaines