Home Advanced Search

Advanced Search - Page 1

Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
  • PDF
  • English
  • Year: 1990
  • Author: David Luckham
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.)
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.)
Politicians and Soldiers in Ghana 1966-1972
  • PDF
  • English
  • Year: 2013
  • Author: Dennis Austin, Robin Luckham
Lonely Planet West Africa
  • AZW3
  • English
  • Year: 2017;2013
  • Author: Grosberg, Michael;Ham, Anthony;Luckham, Nana;Maric, Vesna;Ranger, Helen;Sieg, Caroline;Smith, Helena;St Louis, Regis;Stiles, Paul
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.)
The Linux Philosophy for SysAdmins: And Everyone Who Wants to Be One
  • EPUB
  • English
  • Year: 2018
  • Author: David Both
Using and Administering Linux: Volume 2: Zero to SysAdmin: Advanced Topics
  • PDF
  • English
  • Year: 2020
  • Author: David Both
Using and Administering Linux: Volume 1: Zero to SysAdmin: Getting Started
  • PDF
  • English
  • Year: 2020
  • Author: David Both
search