A carregar...

Código QR

Current trends in hardware verification and automated theorem proving

Detalhes bibliográficos
Autor principal:	Current trends in
Formato:	Printed Book
Idioma:	English
Publicado em:	New York Springer-Verlag 1989
Assuntos:	hardware verification > Computer hardware

Registos relacionados

Hardware management
Por: Goel, S K
Publicado em: (2001)

Principles of computer hardware /
Por: Clements, Alan .
Publicado em: (2000)

PC Hardware :a begginner's guide
Por: Gilster, Ron
Publicado em: (2001)

Indispensable PC hardware book: your hardware questions answered/
Por: Messmer,Hans-Peter
Publicado em: (1997)

P C hardware A beginner's guide /
Por: Gilster, Ron
Publicado em: (2001)

PC hardware: the complete reference
Por: Zacker, Craig
Publicado em: (2006)

PC hardware /
Publicado em: (2010)

Hardware bible /
Por: Rosch, Winn L
Publicado em: (1994)

Digital hardware design /
Por: Peatman, John. B.
Publicado em: (2005)

Computer hardware
Por: James K L
Publicado em: (2013)

Hardware and software of personal computers
Por: Bose, Sanjay K.
Publicado em: (1991)

Microprocessors and interfacing: programming and hardware /
Por: Hall, Douglas V
Publicado em: (1986)

PC hardware and A+ handbook /
Por: Chase, Kate J.
Publicado em: (2010)

Complete reference PC hardware
Por: Zacker, Craig
Publicado em: (2001)

The Winn L. Rosch: hardware bible /
Por: Rosch, Winn L.
Publicado em: (2005)

Current Trends In Hardware Verification And Automated Theorem Proving
Por: G. Birtwistle, P A Subrahmanian
Publicado em: (1989)

Computer hardware, system software and architechture
Por: Luce, Thom
Publicado em: (1989)

Imaging hardware and software for nuclear medicine
Por: Michael A. KIng, Robert E.Zimmerman and Jonathan M. Links
Publicado em: (1988)

Modern trends in information technology: proceedings of the seventh biennial convention of South East Asia Regional Computer Confederation /
Por: Rao, P V S .
Publicado em: (1988)

Hardware interfacing with the TRS-80
Por: Uffenbeck, John E
Publicado em: (1983)

Hardware and software of personal computers /
Por: Bose, Sanjay K .
Publicado em: (1991)

Comdex hardware and networking course kit /
Por: Gupta, Vikas
Publicado em: (2006)

Microprocessors and interfacing: programming and hardware
Por: Hall, Douglas V
Publicado em: (1986)

Computer hardware and organization.-2nd ed.
Por: Sloan, M. E.
Publicado em: (1992)

Troubleshooting, maintaining and repairing PCS /
Por: Bigelow, Sephen J.
Publicado em: (2000)

Bigelow's PC troubleshooting and repair The ultimate reference /
Por: Bigelow, Stephen J.
Publicado em: (2003)

PC troubleshooting In easy steps /
Por: Yarnold, Stuart
Publicado em: (2001)

Troubleshooting your PC,4th Edition /
Por: Aspinwall, Jim

PC upgrading & maintenance /
Publicado em: (1997)

Rescued by upgrading your PC /
Por: Jamsa, Kris
Publicado em: (1996)

Microprocessor and its applications. /
Por: Theagarajan, R, Etc
Publicado em: (1998)

Computers as components Principles of embedded computer system design /
Por: Wolf, Wayne
Publicado em: (2006)

PC upgrade and repair bible
Por: Press, Barry; Press, Marcia
Publicado em: (2000)

PC upgrade and repair:black book /
Por: Gilster, Ron .
Publicado em: (2008)

Contributions to hardware and software reliability
Por: Kapur, P.K
Publicado em: (1999)

Microprocessors, PC hardware and interfacing /
Por: Mathivanan, N .
Publicado em: (2003)

Practical design verification
Por: Pradhan, Dhiraj K.
Publicado em: (2009)

Simple modern book /
Por: Pots, Bill .
Publicado em: (1993)

PC hardware
Por: Singh, Balvir
Publicado em: (2011)

IBM PC and clones: hardware trouble shooting and maintenance
Por: Govindarajalu, B.
Publicado em: (2002)