Home Advanced Search

Advanced Search - Page 1

Event Processing for Business: Organizing the Real-Time Enterprise
  • PDF
  • English
  • Year: 2011
  • Author: David C. Luckham
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.)
ANNA A Language for Annotating Ada Programs
  • DJVU
  • 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.)
Lonely Planet England (Country Guide)
  • EPUB
  • English
  • Year: 2009
  • Author: David Else, Oliver Berry, Fionn Davenport, Belinda Dixon, Peter Dragicevich, Nana Luckham, Etain O'Carroll, Neil Wilson
Lonely Planet Great Britain
  • EPUB
  • English
  • Year: 2009
  • Author: David Else, James Bainbridge, Oliver Berry, Fionn Davenport, Belinda Dixon, David Atkinson, Nana Luckham, Andy Symington, Neil Wilson, Etain O'Carroll
Lonely Planet Great Britain (Country Guide)
  • EPUB
  • English
  • Year: 2009
  • Author: David Else, James Bainbridge, Oliver Berry, Fionn Davenport, Belinda Dixon, David Atkinson, Nana Luckham, Andy Symington, Neil Wilson, Etain O'Carroll
Politicians and Soldiers in Ghana 1966-1972
  • PDF
  • English
  • Year: 2013
  • Author: Dennis Austin, Robin Luckham
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.)
search