Cambridge Tracts in Theoretical Computer Science

Topological Duality for Distributive Lattices

Autor Mai Gehrke et al.

15 mai 2024

Preț: 480^.88 lei 601^.09 lei

3-5 săpt.

-20%

Initial Algebras and Terminal Coalgebras

Cambridge Tracts in Theoretical Computer Science

Autor Jiri Adamek et al.

29 sep 2024

Preț: 1079^.01 lei 1185^.72 lei

Nepublicat încă

-9%

Cambridge Tracts in Theoretical Computer Science, nr. 1

Autor Gregory. J. Chaitin

dec 2004

Preț: 348^.56 lei 435^.70 lei

6-8 săpt.

-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ț: 370^.70 lei 463^.38 lei

6-8 săpt.

-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ț: 249^.54 lei 311^.92 lei

6-8 săpt.

-20%

Lambda-calculus, Combinators and Functional Programming

Cambridge Tracts in Theoretical Computer Science, nr. 4

Autor G. E. Revesz

24 iun 2009

Preț: 352^.36 lei 440^.45 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 5

Autor Steven Vickers

21 aug 1996

Preț: 381^.93 lei 477^.40 lei

6-8 săpt.

-20%

Formal Methods in Artificial Intelligence

Cambridge Tracts in Theoretical Computer Science, nr. 6

Autor Allan M. Ramsay

25 iul 1991

Preț: 274^.87 lei 343^.58 lei

6-8 săpt.

-20%

Formal Semantics and Pragmatics for Natural Language Querying

Cambridge Tracts in Theoretical Computer Science, nr. 8

Autor James Clifford

24 mar 2004

Preț: 312^.83 lei 391^.03 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 9

Autor Marianne Winslett

16 feb 2005

Preț: 266^.22 lei 332^.77 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 10

Editat de K. McEvoy et al.

3 dec 2003

Preț: 369^.63 lei 462^.04 lei

6-8 săpt.

-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ț: 262^.83 lei 328^.53 lei

6-8 săpt.

-20%

Nonmonotonic Reasoning: Logical Foundations of Commonsense

Cambridge Tracts in Theoretical Computer Science, nr. 12

Autor Gerhard Brewka

28 mar 2012

Preț: 267^.78 lei 334^.73 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 15

Autor Subrata Dasgupta

5 aug 2009

Preț: 478^.14 lei 597^.67 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 17

Editat de J. C. M. Baeten

16 feb 2005

Preț: 609^.95 lei 762^.44 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 19

Autor Maria Manzano

21 aug 2005

Preț: 499^.07 lei 560^.74 lei

6-8 săpt.

-11%

Cambridge Tracts in Theoretical Computer Science, nr. 21

Autor D. A. Wolfram

29 iul 2009

Preț: 192^.37 lei 240^.46 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 22

Autor V. Stoltenberg-Hansen et al.

11 iun 2008

Preț: 435^.65 lei 544^.55 lei

6-8 săpt.

-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ț: 315^.08 lei 393^.86 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 26

Autor Peter D. Mosses

16 feb 2005

Preț: 382^.05 lei 477^.57 lei

6-8 săpt.

-20%

Programs, Recursion and Unbounded Choice

Cambridge Tracts in Theoretical Computer Science, nr. 27

Autor Wim H. Hesselink

21 aug 2005

Preț: 312^.97 lei 391^.22 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 28

Autor Peter Padawitz

22 noi 2006

Preț: 315^.57 lei 394^.46 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 29

Editat de Peter Gärdenfors

3 dec 2003

Preț: 443^.89 lei 554^.86 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 30

Autor M. H. G. Anthony et al.

26 feb 1997

Preț: 306^.74 lei 383^.42 lei

6-8 săpt.

-20%

Higher Order Logic and Hardware Verification

Cambridge Tracts in Theoretical Computer Science, nr. 31

Autor T. F. Melham

iul 2009

Preț: 262^.19 lei 327^.73 lei

6-8 săpt.

-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ț: 315^.40 lei 394^.24 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 33

Autor Ernest. G. Manes

dec 2004

Preț: 372^.19 lei 465^.24 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 34

Autor Flemming Nielson et al.

21 aug 2005

Preț: 348^.45 lei 435^.56 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 35

Autor L. M. G. Feijs et al.

9 noi 2005

Preț: 350^.69 lei 438^.36 lei

6-8 săpt.

-20%

Algebraic Specification of Communication Protocols

Cambridge Tracts in Theoretical Computer Science, nr. 36

Editat de S. Mauw et al.

10 dec 2008

Preț: 290^.29 lei 362^.87 lei

6-8 săpt.

-20%

Metamathematics, Machines and Gödel's Proof

Cambridge Tracts in Theoretical Computer Science, nr. 38

Autor N. Shankar

29 ian 1997

Preț: 365^.48 lei

6-8 săpt.

The Uncertain Reasoner's Companion: A Mathematical Perspective

Cambridge Tracts in Theoretical Computer Science, nr. 39

Autor J. B. Paris

22 noi 2006

Preț: 327^.80 lei 409^.75 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 40

Autor Jorg Desel et al.

7 sep 2005

Preț: 271^.67 lei 339^.58 lei

6-8 săpt.

-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ț: 422^.73 lei 528^.41 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 42

Autor J. Roger Hindley

20 ian 2008

Preț: 272^.85 lei 341^.06 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 43

Autor A. S. Troelstra et al.

26 iul 2000

Preț: 300^.51 lei 375^.64 lei

3-5 săpt. | 7-11 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ț: 476^.45 lei 595^.56 lei

6-8 săpt.

-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ț: 600^.32 lei 750^.39 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 46

Autor Roberto M. Amadio et al.

14 mai 2008

Preț: 398^.81 lei 498^.52 lei

6-8 săpt.

-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ț: 379^.63 lei 474^.54 lei

6-8 săpt.

-20%

Hybrid Graph Theory and Network Analysis

Cambridge Tracts in Theoretical Computer Science, nr. 49

Autor Ladislav Novak et al.

2 sep 2009

Preț: 261^.69 lei 327^.12 lei

6-8 săpt.

-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ț: 532^.79 lei 717^.38 lei

Indisponibil temporar

-26%

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously

Cambridge Tracts in Theoretical Computer Science, nr. 51

Autor H. Simmons

17 mai 2000

Preț: 872^.67 lei 1014^.73 lei

6-8 săpt. | 7-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ț: 762^.87 lei 953^.58 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 53

Autor Patrick Blackburn et al.

21 aug 2002

Preț: 631^.00 lei 788^.75 lei

6-8 săpt.

-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ț: 531^.27 lei 664^.08 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 55

Autor Terese

19 mar 2003

Preț: 1404^.70 lei 1755^.87 lei

6-8 săpt.

-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ț: 760^.43 lei 950^.54 lei

6-8 săpt.

-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ț: 392^.19 lei 490^.23 lei

6-8 săpt.

-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ț: 660^.72 lei 885^.55 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ț: 984^.82 lei 1145^.14 lei

6-8 săpt.

-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ț: 511^.83 lei 639^.79 lei

38-44 zile

-20%

Papetărie, jocuri, reviste

Cambridge Tracts in Theoretical Computer Science