Home Advanced Search

Advanced Search - Page 1

Logics for Concurrency: Structure versus Automata
  • PDF
  • English
  • Year: 1996
  • Author: Faron Moller, Graham Birtwistle (eds.)
Logics for Concurrency: Structure versus Automata
  • DJVU
  • English
  • Year: 1996
  • Author: Faron Moller, Graham Birtwistle (eds.)
Modelling Computing Systems: Mathematics for Computer Science
  • PDF
  • English
  • Year: 2013
  • Author: Faron Moller, Georg Struth
Modelling Computing Systems: Mathematics for Computer Science
  • PDF
  • English
  • Year: 2013
  • Author: Faron Moller; Georg Struth
Modelling computing systems: mathematics for computer science
  • PDF
  • English
  • Year: 2013
  • Author: Moller, Faron;Struth, Georg
Modelling Computing Systems: Mathematics for Computer Science
  • PDF
  • English
  • Year: 2013
  • Author: Faron Moller, Georg Struth (auth.)
Current Trends in Hardware Verification and Automated Theorem Proving
  • PDF
  • English
  • Year: 1989
  • Author: Avra Cohn (auth.), Graham Birtwistle, P. A. Subrahmanyam (eds.)
Vlsi and Parallel Computation
  • DJVU
  • English
  • Year: 1990
  • Author: Robert Suaya, Graham Birtwistle
Vlsi Specification, Verification and Synthesis
  • DJVU
  • English
  • Year: 1987
  • Author: Graham Birtwistle, P.A. Subrahmanyam
IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990
  • PDF
  • English
  • Year: 1991
  • Author: F. Warren Burton, W. Ken Jackson (auth.), Graham Birtwistle BSc, PhD, DSc (eds.)
search