Library ResourcesData baseEDSOther Library Resources
Limit Search Results
Author
Subject
Format
Language
183 Results Found Subscribe to search results
000000000000SISIB
Print
1. 
Cover image for New computing environments : parallel, vector and systolic
2. 
Cover image for A descentralized naming facility
3. 
Cover image for Modal theorem proving
4. 
Cover image for Interpreting line drawings of curved objects
5. 
Cover image for Bibliography of Stanford Computer Science : reports, 1963-1986
6. 
Cover image for A model-theoretic approach to updating logical databases
7. 
Cover image for Modelling concurrency with partial orders
8. 
Cover image for Constructing and analyzing specifications of real world systems
9. 
Cover image for Representing information about files
10. 
Cover image for Data independent recursion in deductive databases
11. 
Cover image for On random strings and sequence comparisons
12. 
Cover image for Optimizing function-free recursive interference rules