Home Advanced Search

Advanced Search - Page 1

Computational Modeling in Biological Fluid Dynamics
  • PDF
  • English
  • Year: 2001
  • Author: John Blake (auth.), Lisa J. Fauci, Shay Gueron (eds.)
Fault Diagnosis and Tolerance in Cryptography: Third International Workshop, FDTC 2006, Yokohama, Japan, October 10, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Shay Gueron, Jean-Pierre Seifert (auth.), Luca Breveglieri, Israel Koren, David Naccache, Jean-Pierre Seifert (eds.)
Intel® Carry-Less Multiplication Instruction and its Usage for Computing the GCM Mode
  • PDF
  • English
  • Year: 2010
  • Author: Shay Gueron; Michael E. Kounavis
Immunopathogenesis of HIV Infection
  • PDF
  • English
  • Year: 1997
  • Author: Guiseppe Pantaleo, Anthony S. Fauci (auth.), Anthony S. Fauci, Giuseppe Pantaleo (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.)
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.)
Plant MicroRNAs: Methods and Protocols
  • PDF
  • English
  • Year: 2010
  • Author: Zhixin Xie (auth.), Blake C. Meyers, Pamela J. Green (eds.)
IUTAM Symposium on Free Surface Flows: Proceedings of the IUTAM Symposium held in Birmingham, United Kingdom, 10–14 July 2000
  • PDF
  • English
  • Year: 2001
  • Author: J. R. Blake (auth.), A. C. King, Y. D. Shikhmurzaev (eds.)