Cambridge Tracts in Theoretical Computer Science

Topological Duality for Distributive Lattices

Autor Mai Gehrke et al.

16 mai 2024

Preț: 490^.79 lei 613^.48 lei

22-36 zile

-20%

Initial Algebras and Terminal Coalgebras

Cambridge Tracts in Theoretical Computer Science

Autor Jiri Adamek et al.

6 feb 2025

Preț: 1143^.42 lei 1429^.27 lei

Nepublicat încă

-20% Nou

Cambridge Tracts in Theoretical Computer Science, nr. 1

Autor Gregory. J. Chaitin

dec 2004

Preț: 355^.71 lei 444^.63 lei

43-57 zile

-20%

Logic and Computation: Interactive Proof with Cambridge LCF

Cambridge Tracts in Theoretical Computer Science, nr. 2

Autor Lawrence C. Paulson

25 iul 1990

Preț: 378^.32 lei 472^.90 lei

43-57 zile

-20%

Understanding Z: A Specification Language and its Formal Semantics

Cambridge Tracts in Theoretical Computer Science, nr. 3

Autor J. M. Spivey

20 ian 2008

Preț: 254^.65 lei 318^.31 lei

43-57 zile

-20%

Lambda-calculus, Combinators and Functional Programming

Cambridge Tracts in Theoretical Computer Science, nr. 4

Autor G. E. Revesz

24 iun 2009

Preț: 359^.58 lei 449^.47 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 5

Autor Steven Vickers

21 aug 1996

Preț: 389^.78 lei 487^.22 lei

43-57 zile

-20%

Formal Methods in Artificial Intelligence

Cambridge Tracts in Theoretical Computer Science, nr. 6

Autor Allan M. Ramsay

25 iul 1991

Preț: 280^.49 lei 350^.61 lei

43-57 zile

-20%

Formal Semantics and Pragmatics for Natural Language Querying

Cambridge Tracts in Theoretical Computer Science, nr. 8

Autor James Clifford

24 mar 2004

Preț: 319^.24 lei 399^.05 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 9

Autor Marianne Winslett

16 feb 2005

Preț: 271^.66 lei 339^.57 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 10

Editat de K. McEvoy et al.

3 dec 2003

Preț: 377^.22 lei 471^.52 lei

43-57 zile

-20%

A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory

Cambridge Tracts in Theoretical Computer Science, nr. 11

Autor T. H. Tse

29 iul 2009

Preț: 268^.19 lei 335^.24 lei

43-57 zile

-20%

Nonmonotonic Reasoning: Logical Foundations of Commonsense

Cambridge Tracts in Theoretical Computer Science, nr. 12

Autor Gerhard Brewka

28 mar 2012

Preț: 273^.24 lei 341^.55 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 15

Autor Subrata Dasgupta

5 aug 2009

Preț: 487^.99 lei 609^.99 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 17

Editat de J. C. M. Baeten

16 feb 2005

Preț: 622^.53 lei 778^.17 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 19

Autor Maria Manzano

21 aug 2005

Preț: 509^.34 lei 572^.29 lei

43-57 zile

-11%

Cambridge Tracts in Theoretical Computer Science, nr. 21

Autor D. A. Wolfram

29 iul 2009

Preț: 196^.37 lei 245^.46 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 22

Autor V. Stoltenberg-Hansen et al.

11 iun 2008

Preț: 444^.60 lei 555^.75 lei

43-57 zile

-20%

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

Cambridge Tracts in Theoretical Computer Science, nr. 23

Autor E. -R. Olderog

21 aug 2005

Preț: 321^.53 lei 401^.92 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 26

Autor Peter D. Mosses

16 feb 2005

Preț: 389^.91 lei 487^.38 lei

43-57 zile

-20%

Programs, Recursion and Unbounded Choice

Cambridge Tracts in Theoretical Computer Science, nr. 27

Autor Wim H. Hesselink

21 aug 2005

Preț: 319^.39 lei 399^.24 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 28

Autor Peter Padawitz

22 noi 2006

Preț: 322^.04 lei 402^.55 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 29

Editat de Peter Gärdenfors

3 dec 2003

Preț: 453^.03 lei 566^.29 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 30

Autor M. H. G. Anthony et al.

26 feb 1997

Preț: 313^.04 lei 391^.29 lei

43-57 zile

-20%

Higher Order Logic and Hardware Verification

Cambridge Tracts in Theoretical Computer Science, nr. 31

Autor T. F. Melham

iul 2009

Preț: 267^.54 lei 334^.43 lei

43-57 zile

-20%

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Cambridge Tracts in Theoretical Computer Science, nr. 32

Autor Robert L. Carpenter

9 noi 2005

Preț: 321^.87 lei 402^.33 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 33

Autor Ernest. G. Manes

dec 2004

Preț: 379^.83 lei 474^.79 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 34

Autor Flemming Nielson et al.

21 aug 2005

Preț: 355^.60 lei 444^.51 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 35

Autor L. M. G. Feijs et al.

9 noi 2005

Preț: 357^.90 lei 447^.37 lei

43-57 zile

-20%

Algebraic Specification of Communication Protocols

Cambridge Tracts in Theoretical Computer Science, nr. 36

Editat de S. Mauw et al.

10 dec 2008

Preț: 296^.25 lei 370^.31 lei

43-57 zile

-20%

Metamathematics, Machines and Gödel's Proof

Cambridge Tracts in Theoretical Computer Science, nr. 38

Autor N. Shankar

29 ian 1997

Preț: 372^.97 lei

43-57 zile

The Uncertain Reasoner's Companion: A Mathematical Perspective

Cambridge Tracts in Theoretical Computer Science, nr. 39

Autor J. B. Paris

22 noi 2006

Preț: 334^.54 lei 418^.17 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 40

Autor Jorg Desel et al.

7 sep 2005

Preț: 277^.21 lei 346^.51 lei

43-57 zile

-20%

Epistemic Logic for AI and Computer Science

Cambridge Tracts in Theoretical Computer Science, nr. 41

Autor J.-J. Ch. Meyer et al.

24 mar 2004

Preț: 431^.42 lei 539^.28 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 42

Autor J. Roger Hindley

20 ian 2008

Preț: 278^.44 lei 348^.05 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 43

Autor A. S. Troelstra et al.

26 iul 2000

Preț: 300^.52 lei 375^.65 lei

43-57 zile

-20%

Information Flow: The Logic of Distributed Systems

Cambridge Tracts in Theoretical Computer Science, nr. 44

Autor Jon Barwise et al.

27 iul 1997

Preț: 486^.27 lei 607^.83 lei

43-57 zile

-20%

The Optimal Implementation of Functional Programming Languages

Cambridge Tracts in Theoretical Computer Science, nr. 45

Autor Andrea Asperti et al.

2 dec 1998

Preț: 612^.71 lei 765^.88 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 46

Autor Roberto M. Amadio et al.

14 mai 2008

Preț: 407^.01 lei 508^.77 lei

43-57 zile

-20%

Data Refinement: Model-Oriented Proof Methods and their Comparison

Cambridge Tracts in Theoretical Computer Science, nr. 47

Autor Willem-Paul de Roever et al.

17 dec 2008

Preț: 387^.43 lei 484^.29 lei

43-57 zile

-20%

Hybrid Graph Theory and Network Analysis

Cambridge Tracts in Theoretical Computer Science, nr. 49

Autor Ladislav Novak et al.

2 sep 2009

Preț: 267^.04 lei 333^.80 lei

43-57 zile

-20%

Process Algebra: Equational Theories of Communicating Processes

Cambridge Tracts in Theoretical Computer Science, nr. 50

Autor J. C. M. Baeten et al.

15 dec 2009

Preț: 643^.04 lei 803^.81 lei

43-57 zile

-20%

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously

Cambridge Tracts in Theoretical Computer Science, nr. 51

Autor H. Simmons

17 mai 2000

Preț: 890^.72 lei 1035^.72 lei

43-57 zile | 5-11 zile

-14%

Advanced Topics in Bisimulation and Coinduction

Cambridge Tracts in Theoretical Computer Science, nr. 52

Editat de Davide Sangiorgi et al.

12 oct 2011

Preț: 778^.62 lei 973^.28 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 53

Autor Patrick Blackburn et al.

21 aug 2002

Preț: 644^.03 lei 805^.04 lei

43-57 zile

-20%

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Cambridge Tracts in Theoretical Computer Science, nr. 54

Autor Willem-Paul de Roever et al.

25 ian 2012

Preț: 542^.23 lei 677^.79 lei

43-57 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 55

Autor Terese

19 mar 2003

Preț: 1433^.81 lei 1792^.26 lei

43-57 zile

-20%

Rippling: Meta-Level Guidance for Mathematical Reasoning

Cambridge Tracts in Theoretical Computer Science, nr. 56

Autor Alan Bundy et al.

29 iun 2005

Preț: 776^.15 lei 970^.19 lei

43-57 zile

-20%

Nominal Sets: Names and Symmetry in Computer Science

Cambridge Tracts in Theoretical Computer Science, nr. 57

Autor Andrew M. Pitts

29 mai 2013

Preț: 400^.24 lei 500^.30 lei

43-57 zile

-20%

Temporal Logics in Computer Science: Finite-State Systems

Cambridge Tracts in Theoretical Computer Science, nr. 58

Autor Stéphane Demri et al.

12 oct 2016

Preț: 664^.55 lei 885^.58 lei

Indisponibil temporar

-25%

Introduction to Coalgebra: Towards Mathematics of States and Observation

Cambridge Tracts in Theoretical Computer Science, nr. 59

Autor Bart Jacobs

26 oct 2016

Preț: 1005^.20 lei 1168^.83 lei

43-57 zile

-14%

Finite-State Techniques: Automata, Transducers and Bimachines

Cambridge Tracts in Theoretical Computer Science, nr. 60

Autor Stoyan Mihov et al.

31 iul 2019

Preț: 502^.38 lei 627^.98 lei

22-36 zile

-20%

Papetărie, jocuri, reviste

Cambridge Tracts in Theoretical Computer Science