Home Advanced Search

Advanced Search - Page 1

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
  • PDF
  • English
  • Year: 2023
  • Author: Kristin Yvonne Rozier, Swarat Chaudhuri
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Julia M. Badger, Kristin Yvonne Rozier
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Julia M. Badger, Kristin Yvonne Rozier (eds.)
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
  • PDF
  • English
  • Year: 2016
  • Author: Swarat Chaudhuri, Azadeh Farzan (eds.)
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
  • PDF
  • English
  • Year: 2016
  • Author: Swarat Chaudhuri, Azadeh Farzan (eds.)
Writing History in the Community of St. Cuthbert, c. 700-1130: From Bede to Symeon of Durham
  • PDF
  • English
  • Year: 2020
  • Author: Charles C. Rozier
The One-Dimensional Heat Equation
  • DJVU
  • English
  • Year: 1984
  • Author: John Rozier Cannon
Kitnay Aadmi Thay
  • EPUB
  • English
  • Year: 2012
  • Author: Diptakirti Chaudhuri [Chaudhuri, Diptakirti]
Cinema of the Dark Side: Atrocity and the Ethics of Film Spectatorship
  • PDF
  • English
  • Year: 2014
  • Author: Shohini Chaudhuri
Written by Salim-Javed: The Story of Hindi Cinema’s Greatest Screenwriters
  • EPUB
  • English
  • Year: 2015
  • Author: Diptakirti Chaudhuri
search