Jump to main content

yr 〜
yr

Search results 82

Performance analysis of data sharing environments / Asit Dan. (ACM distinguished dissertations)

Performance analysis of data sharing environments / Asit Dan. (ACM distinguished dissertations)
Paper図書
MIT Pressc1992.<M154-A198>
National Diet Library

Image mosaicing and super-resolution

Image mosaicing and super-resolution
Paper図書
David CapelSpringerc2004
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

Automated theory formation in pure mathematics

Automated theory formation in pure mathematics
Paper図書
Simon ColtonSpringer-Verlagc2002
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

Inheritance relationships for disciplined software construction

Inheritance relationships for disciplined software construction
Paper図書
Tracy A. GardnerSpringerc2002
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

Asynchronous system-on-chip interconnect

Asynchronous system-on-chip interconnect
Paper図書
John BainbridgeSpringer2002
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

Stochastic algorithms for visual tracking : probabilistic modelling and stochastic algorithms for visual localisation and tracking

Stochastic algorithms for visual tracking : probabilistic modelling and stochastic algorithms for visual localisation and tracking
Paper図書
John MacCormickSpringerc2002
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia

A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
Paper図書
Jacques FleuriotSpringerc2001
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

Accurate visual metrology from single and multiple uncalibrated images

Accurate visual metrology from single and multiple uncalibrated images
Paper図書
Antonio CriminisiSpringerc2001
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

Randomized algorithms : approximation, generation, and counting

Randomized algorithms : approximation, generation, and counting
Paper図書
Russ BubleySpringerc2001
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

User-developer cooperation in software development : building common ground and usable systems

User-developer cooperation in software development : building common ground and usable systems
Paper図書
Eamonn O'NeillSpringerc2001
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

Architecture-independent loop parallelisation

Architecture-independent loop parallelisation
Paper図書
Radu C. CalinescuSpringerc2000
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

Models of sharing graphs : a categorical semantics of let and letrec

Models of sharing graphs : a categorical semantics of let and letrec
Paper図書
Masahito HasegawaSpringerc1999
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

Large scale collaborative virtual environments

Large scale collaborative virtual environments
Paper図書
Chris GreenhalghSpringerc1999
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

Theorem proving with the real numbers

Theorem proving with the real numbers
Paper図書
John HarrisonSpringerc1998
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

Games and full abstraction for a functional metalanguage with recursive types

Games and full abstraction for a functional metalanguage with recursive types
Paper図書
Guy McCuskerSpringerc1998
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

Priest, prophet, pilgrim : types and distortions of spiritual vocation in the fiction of Wendell Berry and Cormac McCarthy

Priest, prophet, pilgrim : types and distortions of spiritual vocation in the fiction of Wendell Berry and Cormac McCarthy
Paper図書
Todd EdmondsonPickwick Publications2014
Other Libraries in Japan
  • Related MaterialDistinguished dissertations in Christian theology
  • Periodical TitleDistinguished dissertations in Christian theology

Hardware evolution : automatic design of electronic circuits in reconfigurable hardware by Artificial Evolution

Hardware evolution : automatic design of electronic circuits in reconfigurable hardware by Artificial Evolution
Paper図書
Adrian ThompsonSpringerc1998
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

Search and planning under incomplete information : a study using bridge card play

Search and planning under incomplete information : a study using bridge card play
Paper図書
Ian FrankSpringerc1998
Other Libraries in Japan
  • Related MaterialDistinguished dissertations
  • Periodical TitleDistinguished dissertations

Specification and proof in real-time CSP : pbk

Specification and proof in real-time CSP : pbk
Paper図書
Jim DaviesCambridge University Press2011, c1993
Other Libraries in Japan
  • Related MaterialDistinguished dissertations in computer science
  • Periodical TitleDistinguished dissertations in computer science

Affine analysis of image sequences : pbk.

Affine analysis of image sequences : pbk.
Paper図書
Larry S. ShapiroCambridge University Press2005
Other Libraries in Japan
  • Related MaterialDistinguished dissertations in computer science
  • Periodical TitleDistinguished dissertations in computer science
RSS