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
  • PDF
  • English
  • Year: 2015
  • Author: Sriram Sankaranarayanan, Enrico Vicario (eds.)
Image Description and Retrieval
  • PDF
  • English
  • Year: 1998
  • Author: Enrico Vicario (auth.), 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
  • 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
Counselling in India: Reflections on the Process
  • PDF
  • English
  • Year: 2016
  • Author: Sujata Sriram (eds.)
Listeria monocytogenes : incidence, growth behavior and control
  • PDF
  • English
  • Year: 2015
  • Author: Vicario, Tiffany
Artificial Intelligence in Engineering Design. Knowledge Acquisition, Commercial Systems, and Integrated Environments
  • PDF
  • English
  • Year: 1992
  • Author: Christopher Tong and Duvvuru Sriram (Eds.)
Breast and Gynecological Cancers: An Integrated Approach for Screening and Early Diagnosis in Developing Countries
  • PDF
  • English
  • Year: 2013
  • Author: R. Sankaranarayanan, J. Ferlay (auth.), Mahesh K. Shetty (eds.)
search