Home Advanced Search

Advanced Search - Page 1

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
  • PDF
  • English
  • Year: 2020
  • Author: Shuvendu K. Lahiri; Chao Wang
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
  • PDF
  • English
  • Year: 2020
  • Author: Shuvendu K. Lahiri, Chao Wang
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
  • PDF
  • English
  • Year: 2020
  • Author: Shuvendu K. Lahiri, Chao Wang
Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Lahiri, Shuvendu; Reger, Giles
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.)
A First Course in Algebraic Topology
  • DJVU
  • English
  • Year: 2000
  • Author: B. K. Lahiri
Profit Maximization Techniques for Operating Chemical Plants
  • PDF
  • English
  • Year: 2020
  • Author: Sandip K. Lahiri
Decoding Intolerance: Riots and the Emergence of Terrorism in India
  • EPUB
  • English
  • Year: 2009
  • Author: Prateep K. Lahiri
search