- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Résultats pour "Distinguished Dissertations in Computer Science"
-
Logic Programming
J Andrews, James H Andrews
- Livre broché | Anglais | Distinguished Dissertations in Computer Science | n° 4
- Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming langua... Savoir plus
67,95 €Livraison 2 à 3 semaines67,95 €Livraison 2 à 3 semaines -
Functional Programming and Input/Output
Andrew D Gordon
- Livre broché | Anglais | Distinguished Dissertations in Computer Science | n° 8
- A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functiona... Savoir plus
33,95 €Livraison 1 à 2 semaines33,95 €Livraison 1 à 2 semaines -
Modelling Auditory Processing and Organisation
Martin Cooke
- Livre broché | Anglais | Distinguished Dissertations in Computer Science | n° 7
- We are surrounded by noise; we must be able to separate the signals we want to hear from those we do not. To overcome this 'cocktail party effect' we ... Savoir plus
67,95 €Livraison 2 à 3 semaines67,95 €Livraison 2 à 3 semaines -
Three-Dimensionl Int Circuit L
A C Harter, Andrew Harter
- Livre relié | Anglais | Distinguished Dissertations in Computer Science | n° 2
- The theory and design of integrated circuits has moved forward in leaps and bounds in recent years. This book concentrates on the design of three-dime... Savoir plus
201,95 €Livraison 2 à 3 semaines201,95 €Livraison 2 à 3 semaines -
Axiomatic Domain Theory in Categories of Partial Maps
Marcelo P Fiore
- Livre broché | Anglais | Distinguished Dissertations in Computer Science | n° 14
- Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic a... Savoir plus
69,45 €Livraison 2 à 3 semaines69,45 €Livraison 2 à 3 semaines -
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
D C Lee, David Lee
- Livre broché | Anglais | Distinguished Dissertations in Computer Science | n° 13
- There are two radically different approaches to robot navigation: the first is to use a map of the robot's environment; the second uses a set of actio... Savoir plus
67,95 €Livraison 2 à 3 semaines67,95 €Livraison 2 à 3 semaines -
Specification and Proof in Real Time CSP
Jim Davies
- Livre broché | Anglais | Distinguished Dissertations in Computer Science | n° 6
- Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for exam... Savoir plus
96,95 €Livraison 2 à 3 semaines96,95 €Livraison 2 à 3 semaines -
Affine Analysis of Image Sequences
Larry S Shapiro
- Livre broché | Anglais | Distinguished Dissertations in Computer Science | n° 10
- Computer vision is a rapidly growing field which aims to make computers 'see' as effectively as humans. In this book Dr Shapiro presents a new compute... Savoir plus
67,95 €Livraison 2 à 3 semaines67,95 €Livraison 2 à 3 semaines -
Specification and Proof in Real Time CSP
Jim Davies
- Livre relié | Anglais | Distinguished Dissertations in Computer Science | n° 6
- Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for exam... Savoir plus
201,95 €Livraison 2 à 3 semaines201,95 €Livraison 2 à 3 semaines -
A Compositional Approach to Performance Modelling
Hillston Jane Hillston
- Livre relié | Anglais | Distinguished Dissertations in Computer Science
- Describes new theory for performance modelling and applies it to communication systems. Savoir plus
55,95 €Livraison 1 à 2 semaines55,95 €Livraison 1 à 2 semaines -
Efficient Algorithms for Listing Combinatorial Structures
Leslie Ann Goldberg, Goldberg Leslie Ann
- Livre broché | Anglais | Distinguished Dissertations in Computer Science | n° 5
- This thesis is concerned with the design of efficient algorithms for listing combinatorial structures. The research described here gives some answers ... Savoir plus
67,95 €Livraison 2 à 3 semaines67,95 €Livraison 2 à 3 semaines -
Three-Dimensional Integrated Circuit Layout
A C Harter, Andrew Harter
- Livre broché | Anglais | Distinguished Dissertations in Computer Science | n° 2
- The theory and design of integrated circuits has moved forward in leaps and bounds in recent years. This book concentrates on the design of three-dime... Savoir plus
69,45 €Livraison 2 à 3 semaines69,45 €Livraison 2 à 3 semaines -
A Modular and Extensible Network Storage Architecture
Sai Lai Lo
- Livre broché | Anglais | Distinguished Dissertations in Computer Science | n° 11
- Contemporary distributed file systems are monolithic and only support single file abstractions. Nowadays, as Sai-Lai Lo explains, network storage devi... Savoir plus
67,95 €Livraison 2 à 3 semaines67,95 €Livraison 2 à 3 semaines -
A Compositional Approach to Performance Modelling
Jane Hillston, Hillston Jane
- Livre broché | Anglais | Distinguished Dissertations in Computer Science | n° 12
- This is the first book presenting a stochastic extension of process algebra, PEPA; this is shown to be suitable for specifying a Markov process, which... Savoir plus
69,45 €Livraison 2 à 3 semaines69,45 €Livraison 2 à 3 semaines -
A Molecular and Extensible Network Storage Architecture
Sai-Lai Lo
- Livre relié | Anglais | Distinguished Dissertations in Computer Science | n° 11
- Contemporary distributed file systems are monolithic and only support single file abstractions. Nowadays, as Sai-Lai Lo explains, network storage devi... Savoir plus
201,95 €Livraison 2 à 3 semaines201,95 €Livraison 2 à 3 semaines -
Efficient Algorithms for Listing Combinatorial Structures
Leslie Ann Goldberg
- Livre relié | Anglais | Distinguished Dissertations in Computer Science | n° 5
- This thesis is concerned with the design of efficient algorithms for listing combinatorial structures. The research described here gives some answers ... Savoir plus
201,95 €Livraison 2 à 3 semaines201,95 €Livraison 2 à 3 semaines -
Qualified Types
Mark P Jones
- Livre broché | Anglais | Distinguished Dissertations in Computer Science | n° 9
- This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualif... Savoir plus
67,95 €Livraison 2 à 3 semaines67,95 €Livraison 2 à 3 semaines -
Qualified Types
Mark P. Jones
- Livre relié | Anglais | Distinguished Dissertations in Computer Science
- Functional programming; Haskell, Gofer; type theory. Savoir plus
60,95 €Date de disponibilité inconnue60,95 €Date de disponibilité inconnue -
Axiomatic Domain Theory in Categories of Partial Maps
Marcelo P. Fiore
- Livre relié | Distinguished Dissertations in Computer Science
- First systematic account of axiomatic categorical domain theory and functional programming. Savoir plus
104,95 €Date de disponibilité inconnue104,95 €Date de disponibilité inconnue -
Modelling Auditory Processing and Organisation
Martin Cooke
- Livre relié | Anglais | Distinguished Dissertations in Computer Science
- This book reviews new and recent work on the modelling of auditory processes. Savoir plus
47,45 €Date de disponibilité inconnue47,45 €Date de disponibilité inconnue -
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
D. C. (University of Oxford) Lee
- Livre relié | Distinguished Dissertations in Computer Science
- First book to describe a way of determining the best method to use to enable a robot to navigate. Savoir plus
76,95 €Date de disponibilité inconnue76,95 €Date de disponibilité inconnue -
Affine Analysis of Image Sequences
Larry S. Shapiro
- Livre relié | Anglais | Distinguished Dissertations in Computer Science
- Based on his award winning thesis, Dr Shapiro presents a new computer vision framework for interpreting time-varying imagery. Savoir plus
64,45 €Date de disponibilité inconnue64,45 €Date de disponibilité inconnue -
Functional Programming and Input/Output
Andrew D. (University of Cambridge) Gordon
- Livre relié | Distinguished Dissertations in Computer Science
- Extends functional programming to solve I/O problems, while retaining usual verification features. Savoir plus
96,45 €Date de disponibilité inconnue96,45 €Date de disponibilité inconnue
23 sur 23 résultat(s) affiché(s)