Home Advanced Search

Advanced Search - Page 1

FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: R. J. R. Back, K. Sere (auth.), Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12–16, 1982
  • PDF
  • English
  • Year: 1982
  • Author: R. J. R. Back, H. Mannila (auth.), Mogens Nielsen, Erik Meineche Schmidt (eds.)
Semantics: Foundations and Applications: REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: R. J. R. Back, J. von Wright (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
Semantics: Foundations and Applications: REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: R. J. R. Back, J. von Wright (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
Mastering Lambdas: Java Programming in a Multicore World
  • PDF
  • English
  • Year: 2014
  • Author: Maurice Naftalin
Mastering Lambdas: Java Programming in a Multicore World
  • PDF
  • English
  • Year: 2014
  • Author: Maurice Naftalin
Mastering Lambdas Java Programming in a Multicore World
  • MOBI
  • English
  • Year: 2014
  • Author: Maurice Naftalin
Mastering lambdas: Java programming in a multicore world
  • EPUB
  • English
  • Year: 2015
  • Author: Naftalin, Maurice
Mastering lambdas: Java programming in a multicore world
  • PDF
  • English
  • Year: 2015
  • Author: Naftalin, Maurice
Insect Conservation: Past, Present and Prospects
  • PDF
  • English
  • Year: 2012
  • Author: Tim R. New (auth.), Tim R. New (eds.)
search