Home Advanced Search

Advanced Search - Page 1

Performance Analysis of Real-Time Embedded Software
  • PDF
  • English
  • Year: 1999
  • Author: Yau-Tsun Steven Li, Sharad Malik (auth.)
Asynchronous Circuit Design for VLSI Signal Processing
  • PDF
  • English
  • Year: 1994
  • Author: Teresa H. Meng, Sharad Malik (auth.), Teresa H. Meng, Sharad Malik (eds.)
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.)
Multimedia forensics and security
  • PDF
  • English
  • Year: 2008
  • Author: Chang-Tsun Li (editor)
Konstruktion und Rekonstruktion von Informationssystem-Architekturen: Ansätze zur Unterstützung der Unternehmungsstrategie
  • PDF
  • German
  • Year: 1996
  • Author: Clifford Tsun-Yen Tjiok (auth.)
Konstruktion und Rekonstruktion von Informationssystem-Architekturen: Ansätze zur Unterstützung der Unternehmungsstrategie
  • PDF
  • German
  • Year: 1996
  • Author: Clifford Tsun-Yen Tjiok (auth.)
Combinatorial Techniques
  • PDF
  • English
  • Year: 2013
  • Author: Sharad S. Sane (auth.)
Quantitative Proteome Analysis: Methods and Applications
  • PDF
  • English
  • Year: 2013
  • Author: Kazuhiro Imai, Sam Li Fong Yau
search