Home Advanced Search

Advanced Search - Page 1

Current Trends in Hardware Verification and Automated Theorem Proving
  • PDF
  • English
  • Year: 1989
  • Author: Avra Cohn (auth.), Graham Birtwistle, P. A. Subrahmanyam (eds.)
VLSI Specification, Verification and Synthesis
  • PDF
  • English
  • Year: 2013
  • Author: Graham Birtwistle (editor), P.A. Subrahmanyam (editor)
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.)
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.)
Asynchronous Digital Circuit Design
  • PDF
  • English
  • Year: 1995
  • Author: Al Davis, Steven M. Nowick (auth.), Graham Birtwistle BSc, PhD, DSc, Alan Davis BSEE, PhD (eds.)
Vlsi and Parallel Computation
  • DJVU
  • English
  • Year: 1990
  • Author: Robert Suaya, Graham Birtwistle
Linear Equations
  • PDF
  • English
  • Year: 1958
  • Author: P. M. Cohn (auth.)
Rings and Geometry
  • PDF
  • English
  • Year: 1985
  • Author: P. M. Cohn (auth.), Rüstem Kaya, Peter Plaumann, Karl Strambach (eds.)
Universal Algebra
  • PDF
  • English
  • Year: 1981
  • Author: P. M. Cohn F.R.S. (auth.)
search