Home Advanced Search

Advanced Search - Page 1

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Wolfgang Thomas (auth.), P. Madhusudan, Sanjit A. Seshia (eds.)
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.)
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.)
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.)
Distributed Computing and Networking: 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Sanjit A. Seshia (auth.), Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha (eds.)
Introduction to embedded systems: a cyber-physical systems approach
  • PDF
  • English
  • Year: 2017
  • Author: Edward Ashford Lee, Sanjit Arunkumar Seshia
Introduction to Embedded Systems: A Cyber-Physical Systems Approach
  • PDF
  • English
  • Year: 2011
  • Author: Edward Ashford Lee, Sanjit Arunkumarr Seshia
Multidimensional Processing of Video Signals
  • PDF
  • English
  • Year: 1992
  • Author: Giovanni L. Sicuranza, Sanjit K. Mitra (auth.), Giovanni L. Sicuranza, Sanjit K. Mitra (eds.)
Liberalization, Growth and Regional Disparities in India
  • PDF
  • English
  • Year: 2013
  • Author: Madhusudan Ghosh (auth.)
Progress in Cryptology – INDOCRYPT 2011: 12th International Conference on Cryptology in India, Chennai, India, December 11-14, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Roger Dingledine (auth.), Daniel J. Bernstein, Sanjit Chatterjee (eds.)
search