56 results on '"Robinson, Thomas"'
Search Results
2. Multi-objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration
3. Active Learning in the Analytical Chemistry Curriculum
4. Delirium
5. Anesthetic Management
6. Age, Frailty, and Impaired Wound Healing
7. Intensive Care in Older Adult Surgery Patients
8. Models of Care
9. Postoperative Delirium
10. Management of Acute Postoperative Pain in the Geriatric Patient
11. Heterotopic Ossification Following Traumatic Blast Injury
12. World Religions: A Guide to the Essentials
13. FDR: From Theory to Industrial Application
14. Humanities and Public Life: Documenting the Black Experience in an American University Community
15. The Automatic Detection of Token Structures and Invariants Using SAT Checking
16. Checking Static Properties Using Conservative SAT Approximations for Reachability
17. Delirium
18. Dying to Consume: Marketing and the Existentialization of Sustainability
19. Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving
20. Tighter Reachability Criteria for Deadlock-Freedom Analysis
21. Division Leclerc: The Leclerc Column and Free French 2nd Armored Division, 1940–1946
22. Practical Partial Order Reduction for CSP
23. Medical Optimization and Prehabilitation
24. FDR3 — A Modern Refinement Checker for CSP
25. Computing Maximal Bisimulations
26. Analysing Applications Layered on Unilaterally Authenticating Protocols
27. World Religions: A Guide to the Essentials
28. Claiming Exodus: A Cultural History of Afro-Atlantic Identity, 1774-1903
29. The Dissoi Logoi and Early Greek Scepticism
30. Call My Name, Clemson : Documenting the Black Experience in an American University Community
31. Plato's Phaedo
32. European Foundations of the Welfare State
33. Ética y filosofía política, filosofía de la religión e historia de la filosofía : I Congreso Colombiano de Filosofía. Volumen III
34. The Soviet Union and East Asia
35. Connective Tissue in the Normal and Hypertrophied Heart
36. Myofilament Diameters: An Ultrastructural Re-Evaluation
37. Extracellular Structures in Heart Muscle
38. A Nickel and a Prayer
39. A Demonic Lattice of Information
40. What Makes Petri Nets Harder to Verify: Stack or Data?
41. Analysing Lock-Free Linearizable Datatypes Using CSP
42. A Hybrid Relational Modelling Language
43. Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL
44. Information Flow, Distributed Systems, and Refinement, by Example
45. A Specification Theory of Real-Time Processes
46. Abstractions for Transition Systems with Applications to Stubborn Sets
47. Stealthy Protocols: Metrics and Open Problems
48. A Brief History of Security Protocols
49. A Branching Time Model of CSP
50. More Stubborn Set Methods for Process Algebras
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.