40 results on '"Turner, Raymond"'
Search Results
2. Rule Following and Correctness
3. The Philosophy of Design
4. The Simple Mapping Account
5. Semantics and Design
6. Varieties of Correctness
7. Types and Correctness
8. Computability
9. Data Abstraction
10. Program Correctness
11. Modularity
12. The Design of Programming Languages
13. Specification
14. Software System Methodology
15. Formal Methods
16. Semantic Theories
17. The Languages of Computer Science
18. Programming Languages
19. Specification Languages
20. Semantics and Implementation
21. Formal Semantics
22. Software Systems as Technical Artifacts
23. Computational Artifacts
24. Logic Machines as Technical Artifacts
25. Towards a Philosophy of Computer Science
26. The Ontology of Programs
27. Computer Science
28. Intention and Correctness
29. Feasible Computations
30. Biotechnology of Rhodococcus for the production of valuable compounds
31. Computational Artifacts
32. Investigating Protein–Protein Interactions by Far-Westerns
33. Cultivation of Environmental Bacterial Communities as Multispecies Biofilms
34. Protocols for Harvesting a Microbial Community Directly as a Biofilm for the Remediation of Oil Sands Process Water
35. Twin-arginine signal peptide attributes effective display of CD147 to filamentous phage
36. The influence of climatic variability on local population dynamics of Cercidium microphyllum (foothill paloverde)
37. Investigating Protein–Protein Interactions by Far-Westerns
38. A constructive set theory for program development
39. An algebraic theory of formal languages
40. An algebraic theory of formal languages
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.