- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 10 of 28 (0.01 seconds)| 1 |
Categories and types for axiomatic domain theoryEppendahl, Adam January 2003 (has links)
No description available.
|
| 2 |
On the relative complexity of approximately counting H-colouringsKelk, Steven M. January 2003 (has links)
No description available.
|
| 3 |
Communicating sequential processes with flexible parallel termination semanticsHowells, Paul January 2005 (has links)
No description available.
|
| 4 |
Benders decomposition for 0-1 integer programs and its applicationsChu, Yingyi January 2005 (has links)
No description available.
|
| 5 |
Basic algorithms in computational geometry with imprecise inputKhanban, Ali Asghar January 2005 (has links)
No description available.
|
| 6 |
Execution mechanisms for the action language C+Craven, Robert Anthony January 2007 (has links)
No description available.
|
| 7 |
A non-standard semantics for program-slicing and dependence analysisOuarbya, Laheen January 2005 (has links)
No description available.
|
| 8 |
Structures generated by higher-order grammars and the safety constraintMiranda, Jolie G. de January 2006 (has links)
No description available.
|
| 9 |
Inducing domain theoriesLiakata, Maria January 2004 (has links)
No description available.
|
| 10 |
Constraint programming, search and symmetryPetrie, Karen E. January 2005 (has links)
No description available.
|
Page generated in 0.014 seconds