Home Advanced Search

Advanced Search - Page 1

Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings

PDF
English
Year: 2021
Author: (Lecturer) Zhe Hou (editor); Vijay Ganesh (editor)

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

PDF
English
Year: 2011
Author: Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

PDF
English
Year: 2011
Author: Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

PDF
English
Year: 2011
Author: Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)

Emerging Concepts in Ribosome Structure, Biogenesis, and Function

PDF
English
Year: 2021
Author: Vijay Kumar (editor)

Diaspora, Memory, and Identity: A Search for Home

PDF
English
Year: 2005
Author: Vijay Agnew (editor)

Racialized Migrant Women in Canada: Essays on Health, Violence and Equity

PDF
English
Year: 2009
Author: Vijay Agnew (editor)

Culture And The Making Of Identity In Contemporary India

PDF
English
Year: 2005
Author: Kamala Ganesh (editor), Usha Thakkar (editor)

Mathematische Forschung in den letzten 20 Jahren: Rede gehalten am 31. Januar 1921 vor der Mathematischen Gesellschaft Benares

PDF
German
Year: 1923
Author: Ganesh Prasad (editor); Friedrich Lange (editor)

Rising to the China Challenge: Winning through Strategic Patience and Economic Growth

EPUB
English
Year: 2021
Author: Gautam Bambawale; Vijay Kelkar; Raghunath Mashelkar; Ganesh Natarajan; Ajit Ranade; Ajay Shah