National Science Library of Georgia

Your search returned 10 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
The map-building and exploration strategies of a simple sonar-equipped robot : an experimental, quantitative evaluation / David Lee. by Series: Distinguished dissertations in computer science
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1996
Other title:
  • The Map-Building & Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
Online resources:
Availability: No items available.
Log in to add tags Add to cart
A compositional approach to performance modelling / Jane Hillston. by Series: Distinguished dissertations in computer science
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1996
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Axiomatic domain theory in categories of partial maps / Marcelo P. Fiore. by Series: Distinguished dissertations in computer science
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1996
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Affine analysis of image sequences / Larry S. Shapiro. by Series: Distinguished dissertations in computer science
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1995
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Qualified types : theory and practice / Mark P. Jones. by Series: Distinguished dissertations in computer science
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1994
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Specification and proof in real-time CSP / Jim Davies. by Series: Distinguished dissertations in computer science
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1993
Other title:
  • Specification & Proof in Real Time CSP
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Efficient algorithms for listing combinatorial structures / Leslie Ann Goldberg. by Series: Distinguished dissertations in computer science
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1993
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Logic programming : operational semantics and proof theory / James H. Andrews. by Series: Distinguished dissertations in computer science
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1992
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Three-dimensional integrated circuit layout / Andrew Harter. by Series: Distinguished dissertations in computer science
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1991
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Projection factorisations in partial evaluation / John Launchbury. by Series: Distinguished dissertations in computer science
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1991
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.