Home Advanced Search

Advanced Search - Page 1

Hardware Design and Simulation in VAL/VHDL
  • PDF
  • English
  • Year: 1991
  • Author: Larry M. Augustin, David C. Luckham, Benoit A. Gennart, Youm Huh, Alec G. Stanculescu (auth.)
Applications of VHDL to Circuit Design
  • PDF
  • English
  • Year: 1991
  • Author: Dr. Alec G. Stanculescu (auth.), Randolph E. Harr, Alec G. Stanculescu (eds.)
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
  • PDF
  • English
  • Year: 1990
  • Author: David Luckham
Calcium Signaling Protocols
  • PDF
  • English
  • Year: 2013
  • Author: Alec W. M. Simpson (auth.), David G. Lambert, Richard D. Rainbow (eds.)
Invertebrate Immunity
  • PDF
  • English
  • Year: 2010
  • Author: René Augustin, Thomas C. G. Bosch (auth.), Kenneth Söderhäll (eds.)
Advances in Cryptology — EUROCRYPT ’88: Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings
  • DJVU
  • English
  • Year: 1988
  • Author: Rainer A. Rueppel (auth.), D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther (eds.)
Advances in Cryptology — EUROCRYPT ’88: Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings
  • PDF
  • English
  • Year: 1988
  • Author: Rainer A. Rueppel (auth.), D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther (eds.)
Lectures on Morse Homology
  • DJVU
  • English
  • Year: 2004
  • Author: Augustin Banyaga, David Hurtubise (auth.)
Lectures on Morse Homology
  • PDF
  • English
  • Year: 2004
  • Author: Augustin Banyaga, David Hurtubise (auth.)
ANNA A Language for Annotating Ada Programs
  • PDF
  • English
  • Year: 1987
  • Author: David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe (eds.)
search