Home Advanced Search

Advanced Search - Page 1

Asynchronous Circuit Design for VLSI Signal Processing

PDF
English
Year: 1994
Author: Teresa H. Meng, Sharad Malik (auth.), Teresa H. Meng, Sharad Malik (eds.)

Synchronization Design for Digital Systems

PDF
English
Year: 1991
Author: Teresa H. Meng (auth.)

Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

PDF
English
Year: 2008
Author: Sharad Malik (auth.), C. R. Ramakrishnan, Jakob Rehof (eds.)

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

PDF
English
Year: 2008
Author: James R. Larus (auth.), Aarti Gupta, Sharad Malik (eds.)

Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

PDF
English
Year: 2012
Author: Shuyuan Zhang, Sharad Malik, Rick McGeer (auth.), Supratik Chakraborty, Madhavan Mukund (eds.)

Islam, Nationalism and the West: Issues of Identity in Pakistan

PDF
English
Year: 1999
Author: Iftikhar H. Malik (auth.)

US-South Asian Relations, 1940–47: American Attitudes toward the Pakistan Movement

PDF
English
Year: 1991
Author: Iftikhar H. Malik (auth.)

Curating Lived Islam in the Muslim World: British Scholars, Sojourners and Sleuths

PDF
English
Year: 2021
Author: Iftikhar H. Malik

Pashtun Identity and Geopolitics in Southwest Asia: Pakistan and Afghanistan Since 9/11

PDF
English
Year: 2016
Author: Iftikhar H. Malik

Information Security Practice and Experience: 9th International Conference, ISPEC 2013, Lanzhou, China, May 12-14, 2013. Proceedings

PDF
English
Year: 2013
Author: Yuxin Meng, Lam-For Kwok (auth.), Robert H. Deng, Tao Feng (eds.)