Home Advanced Search

Advanced Search - Page 1

Meccanica dei fluidi
  • PDF
  • Italian
  • Author: D. Pnueli - C. Gutfinger
Fluid mechanics
  • DJVU
  • English
  • Year: 1992
  • Author: David Pnueli; Chaim Gutfinger
Fluid mechanics
  • PDF
  • English
  • Year: 1992
  • Author: David Pnueli; Chaim Gutfinger
Meccanica dei fluidi
  • PDF
  • Italian
  • Year: 1995
  • Author: David Pnueli, Chaim Gutfinger
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.)
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Ittai Balaban, Amir Pnueli, Lenore D. Zuck (auth.), Farn Wang (eds.)
Two approaches to interprocedural data flow analysis
  • PDF
  • English
  • Year: 1978
  • Author: Pnueli, A.; Sharir, Micha
Temporal verification of reactive systems: progress
  • PDF
  • English
  • Year: 1996
  • Author: Manna Z., Pnueli A.
Temporal Verification of Reactive Systems: Safety
  • DJVU
  • English
  • Year: 1995
  • Author: Manna Z., Pnueli A.
search