Search Results for COMPUTERS -- Machine Theory.

6 Results Found

000000DEFAULT

Formal methods for industrial critical systems a survey of applications

Author

Gnesi, Stefania, 1954- Margaria-Steffen, Tiziana, 1964-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798

Format:

Availability

Online Library~1

Available:
Copies:

Introduction to digital systems modeling, synthesis, and simulation using VHDL

Author

Ferdjallah, Mohammed.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=382054

Format:

Availability

Online Library~1

Available:
Copies:

Design for embedded image processing on FPGAs

Author

Bailey, Donald G. (Donald Graeme), 1962-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6016259

Format:

Availability

Online Library~1

Available:
Copies:

Connections patterns of discovery

Author

Alesso, H. P. Smith, C. F. (Craig Forsythe), 1950-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361009

Format:

Availability

Online Library~1

Available:
Copies:

RTL hardware design using VHDL coding for efficiency, portability, and scalability

Author

Chu, Pong P., 1959-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237648

Format:

Availability

Online Library~1

Available:
Copies:

Silicon germanium technology, modeling, and design

Author

Singh, Raminderpal. Harame, David Louis. Oprysko, Modest Michael, 1957-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201823

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}