382,309 results on '"A., Rocco"'
Search Results
2. Rocco Carbone : O della nostra inquietudine
3. Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola’s 70th Birthday
4. Klaim in the Making
5. Asynchronous Multiparty Sessions with Internal Delegation : Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday
6. Language Equivalence from Nondeterministic to Weighted Automata—and Back
7. Analysing Collective Adaptive Systems by Proving Theorems
8. Rocco, Hayley: HELLO, I'M A PANGOLIN
9. Rocco, Hayley: HELLO, I'M A SLOTH
10. Systems Security Modeling and Analysis at IMT Lucca
11. Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification
12. A Process Algebraic View of In/Out Prisoners
13. Formal Approaches for Modeling and Analysis of Business Process Collaborations
14. White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining
15. SOLID FOUNDATIONS: Sir Rocco Forte who comes from a family that has spent decades in the hospitality industry, has built a hotel business that has become the envy of niche ultra-luxury operators worldwide
16. Testing Quantum Processes
17. Towards a Formal Testing Theory for Quantum Processes
18. An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
19. Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING
20. Preventing Out-of-Gas Exceptions by Typing
21. Attack Tree Generation via Process Mining
22. Local Spaces in Soft Concurrent Constraint Programming Oriented to Security
23. Code-Centric Code Generation
24. Function-as-a-Service Allocation Policies Made Formal
25. Flocks of Birds: A Quantitative Evaluation
26. Strategies in Spatio-Temporal Logics for Multi-agent Systems
27. Engineering Ethical-Aware Collective Adaptive Systems
28. Can AI Help with the Formalization of Railway Cybersecurity Requirements?
29. Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems
30. The ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops
31. Labour risks taking Britain back to the 1970s, warns Sir Rocco Forte
32. Rocco Forte plans five new hotels as Saudis invest £1.4bn in luxury chain
33. Rocco, Hayley: ALL THE BOOKS
34. Rocco DiSpirito Hosts Thanksgiving at Four Seasons Nevis
35. Rocco DiSpirito Hosts Thanksgiving at Four Seasons Nevis
36. Professor Patricia Rocco pays tribute to Professor Paolo Pelosi
37. Pat Rocco dared! : a celebration of the sixties, seventies, eighties (more), in Hollywood, San Francisco, Los Angeles, Hawaii, San Diego, (more)
38. PGA Tour legend demands change to 'ridiculous' rule after valiant Tiger Woods defeat; The debate over how to decide major championships has rumbled on for years, with Rocco Mediate insisting every tournament should end with an 18-hole playoff if there is a tie at the top
39. A GLOBAL ADDICTION: Around the world, more than 1.2 billion people are addicted to cigarettes--about half of whom will die as a consequence of the habit. The World Health Organization puts the annual global cost, including health care and lost productivity, at nearly US$2 trillion. Children are not only targeted to fill the ever-depleting ranks of consumers but are forced into hard labour to produce the crop. In some countries, the demand for land to produce tobacco is the biggest single cause of deforestation.: Rocco Rorandelli has spent more than a decade travelling the world documenting and photographing the impacts of the tobacco industry
40. Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
41. Letter from Don Kilhefner to Pat Rocco, December 18, 1971
42. Letter to Morris Kight from Pat Rocco re: SPREE membership card
43. ROCCO UND SEINE BRÜDER.
44. Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday.
45. Asynchronous Multiparty Sessions with Internal Delegation - Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday.
46. Film, Music, and Migrant Identities: Representing Musical Otherness in Visconti’s Neorealist Drama 'Rocco and His Brothers'
47. San Rocco Study: Implementation of the Non-pharmacological Therapies for People With Dementia Living in Nursing Home
48. Rocco Mediate and David Toms Commit to Compete in Inaugural Simmons Bank Championship presented by Stephens
49. Rocco Mediate and David Toms Commit to Compete in Inaugural Simmons Bank Championship presented by Stephens
50. Rocco Iannone
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.