Sök

Del 10

Del 10 - Distinguished Dissertations in Computer Science

Affine Analysis of Image Sequences

AvLarry S. Shapiro,Larry S. (University of Oxford) Shapiro

Häftad, Engelska, 2005

639 kr

Skickas inom 7-10 vardagar

Del 8

Del 8 - Distinguished Dissertations in Computer Science

Functional Programming and Input/Output

AvAndrew D. Gordon

Häftad, Engelska, 2008

659 kr

Skickas inom 7-10 vardagar

Del 5

Del 5 - Distinguished Dissertations in Computer Science

Efficient Algorithms for Listing Combinatorial Structures

AvLeslie Ann Goldberg,Peru) Goldberg, Leslie Ann (Sandia National Laboratories m. fl.

Häftad, Engelska, 2009

639 kr

Skickas inom 7-10 vardagar

Del 2

Del 2 - Distinguished Dissertations in Computer Science

Three-Dimensional Integrated Circuit Layout

AvA. C. Harter,A. C. (University of Cambridge) Harter m. fl.

Häftad, Engelska, 2009

709 kr

Skickas inom 7-10 vardagar

Del 11

Del 11 - Distinguished Dissertations in Computer Science

A Modular and Extensible Network Storage Architecture

AvSai Lai Lo

Häftad, Engelska, 2011

639 kr

Skickas inom 7-10 vardagar

Del 2

Del 2 - Distinguished Dissertations in Computer Science

Three-Dimensional Integrated Circuit Layout

AvA. C. Harter,A. C. (University of Cambridge) Harter m. fl.

Inbunden, Engelska, 1991

1 889 kr

Skickas inom 7-10 vardagar

Del 5

Del 5 - Distinguished Dissertations in Computer Science

Efficient Algorithms for Listing Combinatorial Structures

AvLeslie Ann Goldberg,Peru) Goldberg, Leslie Ann (Sandia National Laboratories

Inbunden, Engelska, 1993

1 819 kr

Skickas inom 7-10 vardagar

Del 6

Del 6 - Distinguished Dissertations in Computer Science

Specification and Proof in Real Time CSP

AvJim Davies

Inbunden, Engelska, 1993

1 879 kr

Skickas inom 7-10 vardagar

Del 13

Del 13 - Distinguished Dissertations in Computer Science

The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot

An Experimental, Quantitative Evaluation

AvD. C. Lee,D. C. (University of Oxford) Lee m. fl.

Häftad, Engelska, 2003

639 kr

Skickas inom 7-10 vardagar

Del 9

Del 9 - Distinguished Dissertations in Computer Science

Qualified Types

Theory and Practice

AvMark P. Jones,Mark P. (University of Nottingham) Jones

Häftad, Engelska, 2003

659 kr

Skickas inom 7-10 vardagar

Del 11

Del 11 - Distinguished Dissertations in Computer Science

A Modular and Extensible Network Storage Architecture

AvSai Lai Lo,Sai-Lai Lo

Inbunden, Engelska, 1995

1 889 kr

Skickas inom 7-10 vardagar

Del 14

Del 14 - Distinguished Dissertations in Computer Science

Axiomatic Domain Theory in Categories of Partial Maps

AvMarcelo P. Fiore,Marcelo P. (University of Edinburgh) Fiore

Häftad, Engelska, 2004

689 kr

Skickas inom 7-10 vardagar

Del 4

Del 4 - Distinguished Dissertations in Computer Science

Logic Programming

Operational Semantics and Proof Theory

AvJames H. Andrews,British Columbia) Andrews, James H. (Simon Fraser University m. fl.

Häftad, Engelska, 2004

659 kr

Skickas inom 7-10 vardagar

Del 7

Del 7 - Distinguished Dissertations in Computer Science

Modelling Auditory Processing and Organisation

AvMartin Cooke,Martin (University of Sheffield) Cooke

Häftad, Engelska, 2005

659 kr

Skickas inom 7-10 vardagar

Del 12

Del 12 - Distinguished Dissertations in Computer Science

A Compositional Approach to Performance Modelling

AvJane Hillston,Jane (University of Edinburgh) Hillston m. fl.

Häftad, Engelska, 2005

709 kr

Skickas inom 7-10 vardagar

Del 6

Del 6 - Distinguished Dissertations in Computer Science

Specification and Proof in Real Time CSP

AvJim Davies,Jim (University of Oxford) Davies

Häftad, Engelska, 2012

899 kr

Skickas inom 7-10 vardagar

Accurate Visual Metrology from Single and Multiple Uncalibrated Images

AvAntonio Criminisi

Häftad, Engelska, 2012

1 369 kr

Skickas inom 10-15 vardagar

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

AvJacques Fleuriot

Häftad, Engelska, 2012

1 369 kr

Skickas inom 10-15 vardagar

Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

AvIan Miguel

Häftad, Engelska, 2012

1 409 kr

Skickas inom 10-15 vardagar

Image Mosaicing and Super-resolution

AvDavid Capel

Häftad, Engelska, 2012

1 409 kr

Skickas inom 10-15 vardagar

Strength or Accuracy: Credit Assignment in Learning Classifier Systems

AvTim Kovacs

Häftad, Engelska, 2012

2 029 kr

Skickas inom 10-15 vardagar

User-Developer Cooperation in Software Development

Building Common Ground and Usable Systems

AvEamonn O'Neill

Häftad, Engelska, 2012

1 409 kr

Skickas inom 10-15 vardagar

Inheritance Relationships for Disciplined Software Construction

AvTracy A. Gardner

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar

Asynchronous System-on-Chip Interconnect

AvJohn Bainbridge

Häftad, Engelska, 2014

689 kr

Skickas inom 10-15 vardagar

Automated Theory Formation in Pure Mathematics

AvSimon Colton

Häftad, Engelska, 2012

1 369 kr

Skickas inom 10-15 vardagar

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

AvGuy McCusker

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar

Stochastic Algorithms for Visual Tracking

Probabilistic Modelling and Stochastic Algorithms for Visual Localisation and Tracking

AvJohn MacCormick,John Maccormick

Häftad, Engelska, 2011

1 409 kr

Skickas inom 10-15 vardagar

Randomized Algorithms: Approximation, Generation, and Counting

AvRuss Bubley

Häftad, Engelska, 2011

1 369 kr

Skickas inom 10-15 vardagar

Architecture-Independent Loop Parallelisation

AvRadu C. Calinescu

Häftad, Engelska, 2011

1 409 kr

Skickas inom 10-15 vardagar

Models of Sharing Graphs

A Categorical Semantics of let and letrec

AvMasahito Hasegawa

Häftad, Engelska, 2011

709 kr

Skickas inom 10-15 vardagar

Distinguished Dissertations

Affine Analysis of Image Sequences

Functional Programming and Input/Output

Efficient Algorithms for Listing Combinatorial Structures

Three-Dimensional Integrated Circuit Layout

A Modular and Extensible Network Storage Architecture

Three-Dimensional Integrated Circuit Layout

Efficient Algorithms for Listing Combinatorial Structures

Specification and Proof in Real Time CSP

The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot

Qualified Types

A Modular and Extensible Network Storage Architecture

Axiomatic Domain Theory in Categories of Partial Maps

Logic Programming

Modelling Auditory Processing and Organisation

A Compositional Approach to Performance Modelling

Specification and Proof in Real Time CSP

Accurate Visual Metrology from Single and Multiple Uncalibrated Images

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

Image Mosaicing and Super-resolution

Strength or Accuracy: Credit Assignment in Learning Classifier Systems

User-Developer Cooperation in Software Development

Inheritance Relationships for Disciplined Software Construction

Asynchronous System-on-Chip Interconnect

Automated Theory Formation in Pure Mathematics

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Stochastic Algorithms for Visual Tracking

Randomized Algorithms: Approximation, Generation, and Counting

Architecture-Independent Loop Parallelisation

Models of Sharing Graphs

Loading component...

Loading component...

Distinguished Dissertations

Affine Analysis of Image Sequences

Functional Programming and Input/Output

Efficient Algorithms for Listing Combinatorial Structures

Three-Dimensional Integrated Circuit Layout

A Modular and Extensible Network Storage Architecture

Three-Dimensional Integrated Circuit Layout

Efficient Algorithms for Listing Combinatorial Structures

Specification and Proof in Real Time CSP

The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot

Qualified Types

A Modular and Extensible Network Storage Architecture

Axiomatic Domain Theory in Categories of Partial Maps

Logic Programming

Modelling Auditory Processing and Organisation

A Compositional Approach to Performance Modelling

Specification and Proof in Real Time CSP

Accurate Visual Metrology from Single and Multiple Uncalibrated Images

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

Image Mosaicing and Super-resolution

Strength or Accuracy: Credit Assignment in Learning Classifier Systems

User-Developer Cooperation in Software Development

Inheritance Relationships for Disciplined Software Construction

Asynchronous System-on-Chip Interconnect

Automated Theory Formation in Pure Mathematics

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Stochastic Algorithms for Visual Tracking

Randomized Algorithms: Approximation, Generation, and Counting

Architecture-Independent Loop Parallelisation

Models of Sharing Graphs

Akademibokhandeln

Hjälp

Tjänster

Erbjudanden

Inspiration