Clear Search

Books+ Search Results

Subject: "Science"
Format: Is
Is Is Not
Dissertations & Theses

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (3,353)

Limit your search

-
Current results range from 1619 to 2023

76.
Hashing, contention, and cell-probe proofs
Author
Yin, Yitong
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
77.
Studies in texture generation of weathered appearance from captured data
Author
Lu, Jianye
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
78.
Theory and application of extractable functions
Author
Dakdouk, Ramzi Ronny
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
79.
Clustering algorithms for random and pseudo-random structures
Author
Mitra, Pradipta
Published
2008
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
80.
Explicit communications for cooperative internet traffic control
Author
Xie, Haiyong
Published
2008
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
81.
Functional programming with logical frameworks
Author
Poswolsky, Adam Brett
Published
2008
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
82.
Functional reactive control of humanoid robots
Author
Huang, Liwen
Published
2008
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
83.
The mechanized verification of garbage collector implementations
Author
McCreight, Andrew Evan
Published
2008
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
84.
Distributed systems of simple interacting agents
Author
Jiang, Hong
Published
2007
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
85.
Modular machine code verification
Author
Ni, Zhaozhong
Published
2007
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
86.
Multipath resource management in overlay networks
Author
Ma, Zheng
Published
2007
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
87.
Semantic tuple space coordination for the Semantic Web with applications in life science
Author
Qi, Peishen
Published
2007
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
88.
Der Bologna-Prozess als Politiknetzwerk : Akteure, Beziehungen, Perspektiven
Author
Nagel, Alexander-Kenneth
Published
Wiesbaden : Deutscher Universitäts-Verlag, 2006.
Location
Library Shelving Facility (LSF) >> JA68 .N344 2006 (LC)
Format
Books / Dissertations & Theses
89.
Efficient cryptographic tools for secure distributed computing
Author
Yampolskiy, Aleksandr
Published
2006
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
90.
Fine-grained localization in sensor and ad-hoc networks
Author
Goldenberg, David K.
Published
2006
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
91.
Fundamental issues in representing NP-complete problems
Author
Shah, Jatin
Published
2006
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
92.
Learning via queries
Author
Chen, Jiang
Published
2006
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
93.
Pass-efficient algorithms for clustering
Author
Chang, Kevin Li-Chiang
Published
2006
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
94.
Foundations of inter-domain routing
Author
Ramachandran, Vijay
Published
2005
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
95.
Massive data streams in graph theory and computational geometry
Author
Zhang, Jian
Published
2005
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
96.
Sparse coding via geometry
Author
Huggins, Patrick S.
Published
2005
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
97.
A syntactic approach to foundational proof-carrying code
Author
Hamid, Nadeem Abdul
Published
2005
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
98.
Modeling user interfaces in a functional language
Author
Courtney, Antony Alexander
Published
2004
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
99.
Ontology translation by ontology merging and automated reasoning
Author
Dou, Dejing
Published
2004
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
100.
Privacy, integrity, and incentive-compatibility in computations with untrusted parties
Author
Zhong, Sheng
Published
2004
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses