Home Advanced Search

Advanced Search - Page 1

Vlsi and Parallel Computation
  • DJVU
  • English
  • Year: 1990
  • Author: Robert Suaya, Graham Birtwistle
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.)
VLSI Specification, Verification and Synthesis
  • PDF
  • English
  • Year: 2013
  • Author: Graham Birtwistle (editor), P.A. Subrahmanyam (editor)
Current Trends in Hardware Verification and Automated Theorem Proving
  • PDF
  • English
  • Year: 1989
  • Author: Avra Cohn (auth.), Graham Birtwistle, P. A. Subrahmanyam (eds.)
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.)
Cinesonica : Sounding Film and Video
  • PDF
  • English
  • Year: 2014
  • Author: Andy Birtwistle