Home Advanced Search

Advanced Search - Page 1

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
  • PDF
  • 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
  • PDF
  • 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 I
  • EPUB
  • English
  • Year: 2023
  • Author: Sriram Sankaranarayanan; Natasha Sharygina
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Sriram Sankaranarayanan, Enrico Vicario (eds.)
Efficiency and Sustainability in the Energy and Chemical Industries
  • PDF
  • English
  • Year: 2023
  • Author: Krishnan Sankaranarayanan
SRB’s Manual of Surgery
  • PDF
  • English
  • Year: 2013
  • Author: Sriram Bhat
SRB’s Manual of Surgery
  • PDF
  • English
  • Year: 2013
  • Author: Sriram Bhat
The Devadasi And The Saint: The Life And Times Of Bangalore Nagarathnamma
  • EPUB
  • English
  • Year: 2007
  • Author: Sriram V
Fathering in India: Images and Realities
  • PDF
  • English
  • Year: 2019
  • Author: Rajalakshmi Sriram
search