Search — EtoBox

9 works shown

5 duplicate copies folded into their books

Showing the first matches. Checking the full catalogue…

Journals & papers

12 files

Foundations of computer software

Emil Vassev, Mike Hinchey (auth.) & 2 more

2011PDF3.8 MB

Large-scale complex IT systems

Manfred Broy, María Victoria Cengarle & 3 more

2012PDF8.6 MB

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021: Proceedings

Jasper Denkers, Marvin Brunner & 2 more

2021PDF22 MB

Autonomic Computing and Networking

Radu Calinescu (auth.), Yan Zhang & 2 more

2009PDF12 MB

2021 IEEE/ACM 43rd International Conference on Software Engineering

Fang, Xinwei & 6 more

2021PDF3.2 MB

Architecture-Independence Loop Parallelisation

R. C. Calinescu Dphil, Msc

2000PDF7.8 MB

Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems

Joshua Riley, Radu Calinescu & 3 more

2022PDF2.5 MB

Books

Nanoformulations for Sustainable Agriculture and Environmental Risk Mitigation

Zeba Khan and Nicoleta Anca Șuțan

2023EPUB6.7 MB

Scrieri

Tudor Arghezi

2006

More matches

More books matching “Radu Calinescu”

Each book appears once. Open one to see all its editions and formats.

5 books so far

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Bernhard Rumpe Radu Calinescu

2015PDF17 MB

Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

Felicita Di Giandomenico Radu Calinescu

2019PDF8.9 MB

2020 25th International Conference on Engineering of Complex Computer Systems

Gleirscher, Mario & 2 more

2020PDF613 KB

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering

Zhao, Xingyu & 8 more

2020PDF6.2 MB

A Denotational Semantics of Solidity in Isabelle/HOL

Diego Marmsoler, Achim D. Brucker

2021PDF372 KB

Genres

Journals & papers

Foundations of computer software

Large-scale complex IT systems

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021: Proceedings

Autonomic Computing and Networking

2021 IEEE/ACM 43rd International Conference on Software Engineering

Architecture-Independence Loop Parallelisation

Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems

Books

Nanoformulations for Sustainable Agriculture and Environmental Risk Mitigation

Scrieri

More books matching “Radu Calinescu”

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

2020 25th International Conference on Engineering of Complex Computer Systems

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering

A Denotational Semantics of Solidity in Isabelle/HOL

Genres

Genres

Journals & papers

Foundations of computer software

Large-scale complex IT systems

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021: Proceedings

Autonomic Computing and Networking

2021 IEEE/ACM 43rd International Conference on Software Engineering

Architecture-Independence Loop Parallelisation

Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems

Books

Nanoformulations for Sustainable Agriculture and Environmental Risk Mitigation

Scrieri

More books matching “Radu Calinescu”

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

2020 25th International Conference on Engineering of Complex Computer Systems

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering

A Denotational Semantics of Solidity in Isabelle/HOL