Home Advanced Search
Advanced Search - Page 1
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
- English
- Year: 2015
- Author: Sriram Sankaranarayanan, Enrico Vicario (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I
- EPUB
- English
- Year: 2023
- Author: Sriram Sankaranarayanan; Natasha Sharygina
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II
- EPUB
- English
- Year: 2023
- Author: Sriram Sankaranarayanan; Natasha Sharygina
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Paris, France, April 22–27, 2023 Proceedings, Part II
- English
- Year: 2023
- Author: Sriram Sankaranarayanan, Natasha Sharygina
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Paris, France, April 22–27, 2023 Proceedings, Part I
- English
- Year: 2023
- Author: Sriram Sankaranarayanan, Natasha Sharygina
Listeria monocytogenes : incidence, growth behavior and control
- English
- Year: 2015
- Author: Vicario, Tiffany
Efficiency and Sustainability in the Energy and Chemical Industries
- English
- Year: 2023
- Author: Krishnan Sankaranarayanan
Neurobiología de la visión
- Spanish
- Year: 2004
- Author: Urtubia Vicario, César
