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

Der er 82 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Finite-State Techniques
- Stoyan Mihov & Klaus U. Schulz
- Bog, hardback
- Læs mere
- kr. 609,95
- kr. 574,95
  med Shopping-fordele
- Leveringstid: 7-10 Hverdage (Sendes fra fjernlager)
- kr. 609,95
- kr. 574,95
  med Shopping-fordele
- Nominal Sets
- Andrew M. Pitts
- Bog, hardback
- Læs mere
- kr. 519,95
- kr. 494,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 519,95
- kr. 494,95
  med Shopping-fordele
- Initial Algebras and Terminal Coalgebras
- Jiří Adámek , Stefan Milius & Lawrence S. Moss
- Bog, hardback
- Læs mere
- kr. 1.449,95
- kr. 1.389,95
  med Shopping-fordele
- Leveringstid: Kan forudbestilles
- kr. 1.449,95
- kr. 1.389,95
  med Shopping-fordele
- Topological Duality for Distributive Lattices
- Mai Gehrke & Sam van Gool
- Bog, hardback
- Læs mere
- kr. 554,95
- kr. 529,95
  med Shopping-fordele
- Leveringstid: 7-10 Hverdage (Sendes fra fjernlager)
- kr. 554,95
- kr. 529,95
  med Shopping-fordele
- Topological Duality for Distributive Lattices
- Sam van Gool & Mai Gehrke
- E-bog, PDF
- Læs mere
- kr. 634,95
- kr. 584,95
  med Shopping-fordele
- Leveringstid: Straks (sendes på e-mail)
- kr. 634,95
- kr. 584,95
  med Shopping-fordele
- Finite-State Techniques
- Klaus U. Schulz & Stoyan Mihov
- E-bog, PDF
- Læs mere
- kr. 649,95
- kr. 599,95
  med Shopping-fordele
- Leveringstid: Straks (sendes på e-mail)
- kr. 649,95
- kr. 599,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
- Information Flow
- Jerry Seligman & Jon Barwise
- Bog, hardback
- Læs mere
- kr. 599,95
- kr. 569,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 599,95
- kr. 569,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
- The Optimal Implementation of Functional Programming Languages
- Andrea Asperti
- Bog, hardback
- Læs mere
- kr. 679,95
- kr. 644,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 679,95
- kr. 644,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
- Computational Learning Theory
- Norman L. Biggs & M. H. G. Anthony
- Bog, paperback
- Læs mere
- kr. 374,95
- kr. 359,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 374,95
- kr. 359,95
  med Shopping-fordele
- Data Refinement
- W. Deroever , Kai Englehardt & W. P. de Roever
- Bog, hardback
- Læs mere
- kr. 914,95
- kr. 869,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 914,95
- kr. 869,95
  med Shopping-fordele
- Domains and Lambda-Calculi
- Amadio Roberto M. , Pierre-Louis Curien & Roberto M. Amadio
- Bog, hardback
- Læs mere
- kr. 1.139,95
- kr. 1.084,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 1.139,95
- kr. 1.084,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. 534,95
- kr. 509,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 534,95
- kr. 509,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. 369,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 384,95
- kr. 369,95
  med Shopping-fordele
- Updating Logical Databases
- Marianne Winslett
- Bog, paperback
- Læs mere
- kr. 314,95
- kr. 299,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 314,95
- kr. 299,95
  med Shopping-fordele
- Action Semantics
- Mosses Peter D. & Peter D. Mosses
- Bog, paperback
- Læs mere
- kr. 469,95
- kr. 444,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 469,95
- kr. 444,95
  med Shopping-fordele
- Hybrid Graph Theory and Network Analysis
- Ladislav Novak , Alan Gibbons & L. Novak
- Bog, hardback
- Læs mere
- kr. 814,95
- kr. 774,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 814,95
- kr. 774,95
  med Shopping-fordele
- Basic Simple Type Theory
- Roger J. Hindley & J. Roger Hindley
- Bog, hardback
- Læs mere
- kr. 814,95
- kr. 774,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 814,95
- kr. 774,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
- A Unifying Framework for Structured Analysis and Design Models
- T. H. Tse
- Bog, hardback
- Læs mere
- kr. 814,95
- kr. 774,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 814,95
- kr. 774,95
  med Shopping-fordele
- Design Theory and Computer Science
- Subrata Dasgupta
- Bog, hardback
- Læs mere
- kr. 1.244,95
- kr. 1.184,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 1.244,95
- kr. 1.184,95
  med Shopping-fordele
- Term Rewriting Systems
- Terese , Jan Willem Klop & Roel de Vrijer
- Bog, hardback
- Læs mere
- kr. 1.409,95
- kr. 1.349,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 1.409,95
- kr. 1.349,95
  med Shopping-fordele
- 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
- Higher Order Logic and Hardware Verification
- Thomas F. Melham & T. F. Melham
- Bog, hardback
- Læs mere
- kr. 814,95
- kr. 774,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 814,95
- kr. 774,95
  med Shopping-fordele
- Nets, Terms and Formulas
- E.-R. Olderog
- Bog, hardback
- Læs mere
- kr. 914,95
- kr. 869,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 914,95
- kr. 869,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
- The Clausal Theory of Types
- D. A. Wolfram
- Bog, hardback
- Læs mere
- kr. 554,95
- kr. 529,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 554,95
- kr. 529,95
  med Shopping-fordele
- Two-Level Functional Languages
- Flemming Nielson & Hanne Riis Nielson
- Bog, hardback
- Læs mere
- kr. 1.049,95
- kr. 999,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 1.049,95
- kr. 999,95
  med Shopping-fordele
- Lambda-calculus, Combinators and Functional Programming
- G. E. Revesz
- Bog, paperback
- Læs mere
- kr. 444,95
- kr. 419,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 444,95
- kr. 419,95
  med Shopping-fordele