- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
Séries : livres de la série Cambridge Tracts in Theoretical Computer Science
-
Term Rewriting Systems
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
409,45 €409,45 € -
Higher Order Logic and Hardware Verification
T F 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
76,45 €76,45 € -
Higher Order Logic and Hardware Verification
T 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
211,95 €211,95 € -
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
99,45 €99,45 € -
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
138,45 €138,45 € -
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
74,45 €74,45 € -
A Unifying Framework for Structured Analysis and Design Models
T H Tse
- 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
76,45 €76,45 € -
Syntax and Semantics of Petri Nets
Roberto Gorrieri
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 63
- Petri nets are one of the most popular tools for modeling distributed systems. This book provides a modern look at the theory behind them, by studying... Savoir plus
201,95 €201,95 € -
Domains and Lambda-Calculi
Roberto M Amadio, Pierre-Louis Curien
- 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
289,95 €289,95 € -
Initial Algebras and Terminal Coalgebras
Jiří Adámek, Stefan Milius, Lawrence S Moss
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 62
- Providing an in-depth treatment of an exciting research area, this text's central topics are initial algebras and terminal coalgebras, primary objects... Savoir plus
295,95 €295,95 € -
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
298,45 €298,45 € -
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
112,45 €112,45 € -
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
62,95 €62,95 € -
Information Flow
Jon Barwise, Jerry Seligman
- 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
138,45 €138,45 € -
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
111,45 €111,45 € -
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
178,95 €178,95 € -
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
89,45 €89,45 € -
Formal Semantics and Pragmatics for Natural Language Querying
James Clifford
- 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
89,45 €89,45 € -
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
100,95 €100,95 € -
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
89,45 €89,45 € -
Mathematical Theory of Domains
V Stoltenberg-Hansen, I Lindström, E 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
140,45 €140,45 € -
Basic Simple Type Theory
J Roger 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
203,45 €203,45 € -
The Optimal Implementation of Functional Programming Languages
Andrea Asperti, Stefano Guerrini
- 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
172,95 €172,95 € -
Topological Duality for Distributive Lattices
Mai Gehrke, Sam Van Gool
- Livre relié | Anglais | Cambridge Tracts in Theoretical Computer Science | n° 61
- Introducing Stone-Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and rese... Savoir plus
128,45 €128,45 €