|
|
|
|
|
|
|
Computer fundamentals and logic formulation / Joyce Farrell, Greg Anderson, David Ferro, Robert Hilton, and Charles H. Roth by Farrell, Joyce [Author] | Anderson, Greg [Author] | Ferro, David [Author] | Hilton, Robert [Author] | Roth, Charles H [Author]. Edition: Second edition.Australia : Cengage Learning, 2011Availability: Items available for loan: COLLEGE LIBRARY
[Call number: 004 C739 2011]
(2).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
An introduction to programming with C++ / Diane Zak by Zak, Diane [author.]. Edition: Fifth edition.Language: English Publisher: Boston : Thomson/ Course Technology, c2008Availability: Items available for loan: COLLEGE LIBRARY
[Call number: 005.133 Z13 2008]
(3).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Structured computer organization / Andrew S. Tanenbaum by Tanenbaum, Andrew S [Author]. Edition: Fifth editionLanguage: English Publisher: Upper Saddle River, NJ : Pearson/ Prentice Hall, c2006Availability: Items available for loan: COLLEGE LIBRARY
[Call number: 001.642 T155 2006]
(1).
|
|
|
|
|
|
|
|
|
|
|
|
Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (editors). by TYPES 2004 (2004 : Jouy-en-Josas, France) | Filliâtre, Jean-Christophe [editor.] | Paulin-Mohring, Christine, 1962- [editor.] | Werner, Benjamin [editor.]. Publisher: New York : Springer, 2006Other title: TYPES 2004.Availability: Items available for loan: COLLEGE LIBRARY
[Call number: 005.131 T98 2006]
(1).
|
|
|
|
|
|
|
|
|
|
|
|
|