Home Advanced Search

Advanced Search - Page 1

Two approaches to interprocedural data flow analysis
  • PDF
  • English
  • Year: 1978
  • Author: Pnueli, A.; Sharir, Micha
Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings
Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
  • PDF
  • English
  • Year: 2010
  • Author: Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)
The Case of the Wayward Witch
  • EPUB
  • English
  • Year: 2019
  • Author: A A Albright [Albright, A A]
One Way Out
  • EPUB
  • English
  • Year: 2019
  • Author: A. A. Dhand [Dhand, A. A.]
Theorems and Problems in Functional Analysis
Theorems and Problems in Functional Analysis
  • PDF
  • English
  • Year: 1982
  • Author: A. A. Kirillov, A. A. Gvishiani (auth.)
Elementary Particles
  • PDF
  • English
  • Author: A. A. Sokolov
Gravitation and Elementary Particle Physics
  • PDF
  • English
  • Year: 1983
  • Author: A. A. Logunov
Problems in Physics
  • PDF
  • English
  • Author: A. A. Pinsky
The Russian attack on Constantinople in 860
  • PDF
  • English
  • Year: 1946
  • Author: A. A. Vasiliev
search