Search

Your search keyword '"Robinson, Thomas"' showing total 56 results

Search Constraints

Start Over You searched for: Author "Robinson, Thomas" Remove constraint Author: "Robinson, Thomas" Publication Type eBooks Remove constraint Publication Type: eBooks
56 results on '"Robinson, Thomas"'

Search Results

3. Active Learning in the Analytical Chemistry Curriculum

4. Delirium

5. Anesthetic Management

8. Models of Care

9. Postoperative Delirium

13. FDR: From Theory to Industrial Application

15. The Automatic Detection of Token Structures and Invariants Using SAT Checking

16. Checking Static Properties Using Conservative SAT Approximations for Reachability

17. Delirium

19. Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving

20. Tighter Reachability Criteria for Deadlock-Freedom Analysis

22. Practical Partial Order Reduction for CSP

24. FDR3 — A Modern Refinement Checker for CSP

25. Computing Maximal Bisimulations

26. Analysing Applications Layered on Unilaterally Authenticating Protocols

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

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