Nos liseuses Vivlio rencontrent actuellement des problèmes de synchronisation. Nous faisons tout notre possible pour résoudre ce problème le plus rapidement possible. Toutes nos excuses pour la gêne occasionnée !
- 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
Nos liseuses Vivlio rencontrent actuellement des problèmes de synchronisation. Nous faisons tout notre possible pour résoudre ce problème le plus rapidement possible. Toutes nos excuses pour la gêne occasionnée !
- Retrait gratuit dans votre magasin Club
- 7.000.0000 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"
-
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 -
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
49,95 €Livraison 1 à 2 semaines49,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
51,95 €Livraison sous 1 à 4 semaines51,95 €Livraison sous 1 à 4 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
153,95 €Livraison sous 1 à 4 semaines153,95 €Livraison sous 1 à 4 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
52,95 €Livraison 1 à 2 semaines52,95 €Livraison 1 à 2 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
49,95 €Livraison 1 à 2 semaines49,95 €Livraison 1 à 2 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
70,45 €Livraison 1 à 2 semaines70,45 €Livraison 1 à 2 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
49,95 €Livraison 1 à 2 semaines49,95 €Livraison 1 à 2 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
153,95 €Livraison sous 1 à 4 semaines153,95 €Livraison sous 1 à 4 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
49,95 €Livraison 1 à 2 semaines49,95 €Livraison 1 à 2 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
52,95 €Livraison 1 à 2 semaines52,95 €Livraison 1 à 2 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
52,95 €Livraison 1 à 2 semaines52,95 €Livraison 1 à 2 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
51,95 €Livraison sous 1 à 4 semaines51,95 €Livraison sous 1 à 4 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
153,95 €Livraison sous 1 à 4 semaines153,95 €Livraison sous 1 à 4 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
153,95 €Livraison sous 1 à 4 semaines153,95 €Livraison sous 1 à 4 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
49,95 €Livraison 1 à 2 semaines49,95 €Livraison 1 à 2 semaines -
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 -
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 -
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
20 sur 20 résultat(s) affiché(s)