Filtre: Paperback

Cambridge Tracts in Theoretical Computer Science

Cambridge Tracts in Theoretical Computer Science, nr. 1

Autor Gregory. J. Chaitin

dec 2004

Preț: 362^.87 lei 453^.59 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ț: 386^.08 lei 482^.59 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ț: 261^.60 lei 327^.01 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ț: 368^.01 lei 460^.01 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ț: 323^.89 lei 404^.86 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 9

Autor Marianne Winslett

16 feb 2005

Preț: 262^.39 lei 327^.99 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 10

Editat de K. McEvoy et al.

3 dec 2003

Preț: 364^.21 lei 455^.27 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ț: 276^.39 lei 345^.49 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ț: 279^.54 lei 349^.43 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 15

Autor Subrata Dasgupta

5 aug 2009

Preț: 500^.15 lei 625^.20 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 17

Editat de J. C. M. Baeten

16 feb 2005

Preț: 637^.12 lei 796^.39 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 19

Autor Maria Manzano

21 aug 2005

Preț: 518^.66 lei 582^.76 lei

6-8 săpt.

-11%

Cambridge Tracts in Theoretical Computer Science, nr. 21

Autor D. A. Wolfram

29 iul 2009

Preț: 199^.82 lei 249^.77 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 22

Autor V. Stoltenberg-Hansen et al.

11 iun 2008

Preț: 505^.82 lei 632^.27 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ț: 326^.10 lei 407^.63 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 26

Autor Peter D. Mosses

16 feb 2005

Preț: 397^.24 lei 496^.55 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ț: 324^.04 lei 405^.05 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 28

Autor Peter Padawitz

22 noi 2006

Preț: 326^.60 lei 408^.25 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 29

Editat de Peter Gärdenfors

3 dec 2003

Preț: 463^.29 lei 579^.12 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ț: 317^.92 lei 397^.39 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ț: 275^.76 lei 344^.70 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ț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 33

Autor Ernest. G. Manes

dec 2004

Preț: 387^.53 lei 484^.42 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 34

Autor Flemming Nielson et al.

15 iul 1992

Preț: 822^.11 lei 1027^.64 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ț: 347^.74 lei 434^.68 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ț: 301^.72 lei 377^.14 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ț: 378^.42 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ț: 343^.83 lei 429^.79 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 40

Autor Jorg Desel et al.

7 sep 2005

Preț: 283^.37 lei 354^.21 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 42

Autor J. Roger Hindley

30 iul 1997

Preț: 715^.00 lei 893^.74 lei

6-8 săpt.

-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ț: 495^.37 lei 619^.21 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 46

Autor Roberto M. Amadio et al.

14 mai 2008

Preț: 413^.74 lei 517^.18 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ț: 394^.86 lei 493^.57 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ț: 275^.27 lei 344^.09 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ț: 554^.53 lei 693^.16 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science

Papetărie, jocuri, reviste