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
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
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
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 I
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
Efficiency and Sustainability in the Energy and Chemical Industries
Efficiency and Sustainability in the Energy and Chemical Industries
  • PDF
  • English
  • Year: 2023
  • Author: Krishnan Sankaranarayanan
Kautilyanomics for Modern Times
Kautilyanomics for Modern Times
  • PDF
  • English
  • Year: 2022
  • Author: Balasubramanian, Sriram
Business Invention: Business needs you not Investment
Business Invention: Business needs you not Investment
  • EPUB
  • English
  • Year: 2019
  • Author: Sriram Ananthan
Chennai - A Biography
Chennai - A Biography
  • PDF
  • English
  • Year: 2021
  • Author: V. Sriram
Counselling in India Reflections on the Process
Counselling in India Reflections on the Process
  • PDF
  • English
  • Year: 2016;2018
  • Author: Sriram, Sujata
Agile IT Organization Design: For Digital Transformation and Continuous Delivery
Agile IT Organization Design: For Digital Transformation and Continuous Delivery
  • EPUB
  • English
  • Year: 2015
  • Author: Sriram Narayan
search