Alle bøger i 'Cambridge Tracts in Theoretical Computer Science Paperback' serier

Der er 43 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Formal Methods in Artificial Intelligence
- Allan Ramsay
- Bog, paperback
- Læs mere
- kr. 349,95
- kr. 334,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 349,95
- kr. 334,95
  med Shopping-fordele
- Logic and Information
- Keith J. Devlin & Devlin Keith
- Bog, paperback
- Læs mere
- kr. 319,95
- kr. 299,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 319,95
- kr. 299,95
  med Shopping-fordele
- Computational Geometry in C
- Joseph O'Rourke
- Bog, paperback
- Læs mere
- kr. 424,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 424,95
- kr. 399,95
  med Shopping-fordele
- Basic Proof Theory
- A. S. Troelstra , H. Schwichtenberg & Anne S. Troelstra
- Bog, paperback
- Læs mere
- kr. 399,95
- kr. 379,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 399,95
- kr. 379,95
  med Shopping-fordele
- Modal Logic
- Yde Venema , Maarten de Rijke & Patrick Blackburn
- Bog, paperback
- Læs mere
- kr. 734,95
- kr. 699,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 734,95
- kr. 699,95
  med Shopping-fordele
- Epistemic Logic for AI and Computer Science
- J. -J. Ch. Meyer & W. van der Hoek
- Bog, paperback
- Læs mere
- kr. 529,95
- kr. 499,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 529,95
- kr. 499,95
  med Shopping-fordele
- Formal Semantics and Pragmatics for Natural Language Querying
- James Clifford & Clifford James
- Bog, paperback
- Læs mere
- kr. 384,95
- kr. 364,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 384,95
- kr. 364,95
  med Shopping-fordele
- Computational Learning Theory
- Norman L. Biggs & M. H. G. Anthony
- Bog, paperback
- Læs mere
- kr. 374,95
- kr. 354,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 374,95
- kr. 354,95
  med Shopping-fordele
- Algorithmic Information Theory
- Gregory J. Chaitin
- Bog, paperback
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Predicate Transformer Semantics
- Ernest G. Manes & E. G. Manes
- Bog, paperback
- Læs mere
- kr. 464,95
- kr. 439,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 464,95
- kr. 439,95
  med Shopping-fordele
- Updating Logical Databases
- Marianne Winslett
- Bog, paperback
- Læs mere
- kr. 309,95
- kr. 294,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 309,95
- kr. 294,95
  med Shopping-fordele
- Action Semantics
- Mosses Peter D. & Peter D. Mosses
- Bog, paperback
- Læs mere
- kr. 464,95
- kr. 439,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 464,95
- kr. 439,95
  med Shopping-fordele
- Metamathematics, Machines and Goedel's Proof
- Natarajan Shankar & N. Shankar
- Bog, paperback
- Læs mere
- kr. 384,95
- kr. 369,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 384,95
- kr. 369,95
  med Shopping-fordele
- Formal Specification and Design
- L. M. G. Feijs , Feijs L. M. G. & H. B. M. Jonkers
- Bog, paperback
- Læs mere
- kr. 424,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 424,95
- kr. 399,95
  med Shopping-fordele
- British Imperialism and Australian Nationalism
- Luke Trainor
- Bog, paperback
- Læs mere
- kr. 354,95
- kr. 339,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 354,95
- kr. 339,95
  med Shopping-fordele
- Theoretical Foundations of VLSI Design
- Bog, paperback
- Læs mere
- kr. 464,95
- kr. 439,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 464,95
- kr. 439,95
  med Shopping-fordele
- Belief Revision
- Bog, paperback
- Læs mere
- kr. 559,95
- kr. 534,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 559,95
- kr. 534,95
  med Shopping-fordele
- Topology via Logic
- Steven Vickers
- Bog, paperback
- Læs mere
- kr. 424,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 424,95
- kr. 399,95
  med Shopping-fordele
- Concurrency Verification
- Yassine Lakhnech , Jozef Hooman , Mannes Poel
- Bog, paperback
- Læs mere
- kr. 649,95
- kr. 619,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 649,95
- kr. 619,95
  med Shopping-fordele
- Applications of Process Algebra
- Bog, paperback
- Læs mere
- kr. 724,95
- kr. 689,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 724,95
- kr. 689,95
  med Shopping-fordele
- Logic and Computation
- Lawrence C. Paulson
- Bog, paperback
- Læs mere
- kr. 469,95
- kr. 444,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 469,95
- kr. 444,95
  med Shopping-fordele
- Nonmonotonic Reasoning
- Gerhard Brewka
- Bog, paperback
- Læs mere
- kr. 344,95
- kr. 329,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 344,95
- kr. 329,95
  med Shopping-fordele
- Data Refinement
- Kai Engelhardt & Willem-Paul de Roever
- Bog, paperback
- Læs mere
- kr. 484,95
- kr. 459,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 484,95
- kr. 459,95
  med Shopping-fordele
- Hybrid Graph Theory and Network Analysis
- Novak Ladislav , Alan Gibbons & Ladislav Novak
- Bog, paperback
- Læs mere
- kr. 274,95
- kr. 259,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 274,95
- kr. 259,95
  med Shopping-fordele
- Higher Order Logic and Hardware Verification
- T. Melham
- Bog, paperback
- Læs mere
- kr. 274,95
- kr. 259,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 274,95
- kr. 259,95
  med Shopping-fordele
- Algebraic Specification of Communication Protocols
- Bog, paperback
- Læs mere
- kr. 384,95
- kr. 364,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 384,95
- kr. 364,95
  med Shopping-fordele
- Lambda-calculus, Combinators and Functional Programming
- G. E. Revesz
- Bog, paperback
- Læs mere
- kr. 439,95
- kr. 419,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 439,95
- kr. 419,95
  med Shopping-fordele
- Design Theory and Computer Science
- Subrata Dasgupta
- Bog, paperback
- Læs mere
- kr. 549,95
- kr. 524,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 549,95
- kr. 524,95
  med Shopping-fordele
- A Unifying Framework for Structured Analysis and Design Models
- T. H. Tse & Tse T. H.
- Bog, paperback
- Læs mere
- kr. 294,95
- kr. 279,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 294,95
- kr. 279,95
  med Shopping-fordele
- The Clausal Theory of Types
- D. A. Wolfram
- Bog, paperback
- Læs mere
- kr. 269,95
- kr. 259,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 269,95
- kr. 259,95
  med Shopping-fordele
- The Uncertain Reasoner's Companion
- J. B. Paris
- Bog, paperback
- Læs mere
- kr. 399,95
- kr. 379,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 399,95
- kr. 379,95
  med Shopping-fordele
- Deductive and Declarative Programming
- P. Padawitz & Peter Padawitz
- Bog, paperback
- Læs mere
- kr. 384,95
- kr. 369,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 384,95
- kr. 369,95
  med Shopping-fordele