Library Services | Technical University of Kenya catalog › Results of search for 'su:{Computer hardware.}'

Advanced search
Course reserves
Browse by hierarchy
Authority search
Tag cloud
Purchase suggestions

Your search returned 131 results.

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue

	101.	SystemVerilog for Verification [electronic resource] : A Guide to Learning the Testbench Language Features / by Chris Spear, Greg Tumbush. by Spear, Chris [author.] \| Tumbush, Greg [author.] \| SpringerLink (Online service). Edition: 3rd ed. 2012.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	102.	Computer Arithmetic [electronic resource] : Algorithms and Hardware Implementations / by Mircea Vlăduţiu. by Vlăduţiu, Mircea [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	103.	Onboard Computers, Onboard Software and Satellite Operations [electronic resource] : An Introduction / by Jens Eickhoff. by Eickhoff, Jens [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	104.	In-Memory Data Management [electronic resource] : Technology and Applications / by Hasso Plattner, Alexander Zeier. by Plattner, Hasso [author.] \| Zeier, Alexander [author.] \| SpringerLink (Online service). Edition: 2nd ed. 2012.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	105.	Fault Analysis in Cryptography [electronic resource] / edited by Marc Joye, Michael Tunstall. by Joye, Marc [editor.] \| Tunstall, Michael [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	106.	Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / edited by P. Madhusudan, Sanjit A. Seshia. by Madhusudan, P [editor.] \| Seshia, Sanjit A [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	107.	Modeling Time in Computing [electronic resource] / by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi. by Furia, Carlo A [author.] \| Mandrioli, Dino [author.] \| Morzenti, Angelo [author.] \| Rossi, Matteo [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	108.	VLSI-SoC: Advanced Research for Systems on Chip [electronic resource] : 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers / edited by Salvador Mir, Chi-Ying Tsui, Ricardo Reis, Oliver C. S. Choy. by Mir, Salvador [editor.] \| Tsui, Chi-Ying [editor.] \| Reis, Ricardo [editor.] \| Choy, Oliver C. S [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	109.	Post-Silicon and Runtime Verification for Modern Processors [electronic resource] / by Ilya Wagner, Valeria Bertacco. by Wagner, Ilya [author.] \| Bertacco, Valeria [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	110.	In-Memory Data Management [electronic resource] : An Inflection Point for Enterprise Applications / by Hasso Plattner, Alexander Zeier. by Plattner, Hasso [author.] \| Zeier, Alexander [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	111.	Advances in Power Electronics and Instrumentation Engineering [electronic resource] : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan, Narayan C. Debnath. by Das, Vinu V [editor.] \| Thankachan, Nessy [editor.] \| Debnath, Narayan C [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	112.	Perspectives on Soviet and Russian Computing [electronic resource] : First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers / edited by John Impagliazzo, Eduard Proydakov. by Impagliazzo, John [editor.] \| Proydakov, Eduard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	113.	Quantifying and Exploring the Gap Between FPGAs and ASICs [electronic resource] : Measuring and Exploring / by Ian Kuon, Jonathan Rose. by Kuon, Ian [author.] \| Rose, Jonathan [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	114.	Coupled Data Communication Techniques for High-Performance and Low-Power Computing [electronic resource] / edited by Ron Ho, Robert Drost. by Ho, Ron [editor.] \| Drost, Robert [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	115.	Hardware Based Packet Classification for High Speed Internet Routers [electronic resource] / by Chad R. Meiners, Alex X. Liu, Eric Torng. by Meiners, Chad R [author.] \| Liu, Alex X [author.] \| Torng, Eric [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	116.	Origins and Foundations of Computing [electronic resource] : In Cooperation with Heinz Nixdorf MuseumsForum / by Friedrich L. Bauer. by Bauer, Friedrich L [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	117.	Quantum Communication and Quantum Networking [electronic resource] : First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papers / edited by Alexander Sergienko, Saverio Pascazio, Paolo Villoresi. by Sergienko, Alexander [editor.] \| Pascazio, Saverio [editor.] \| Villoresi, Paolo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	118.	Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers / edited by José Monteiro, René Leuken. by Monteiro, José [editor.] \| Leuken, René [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	119.	Towards Hardware-Intrinsic Security [electronic resource] : Foundations and Practice / edited by Ahmad-Reza Sadeghi, David Naccache. by Sadeghi, Ahmad-Reza [editor.] \| Naccache, David [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	120.	Power Electronics and Instrumentation Engineering [electronic resource] : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings / edited by Vinu V Das, Janahanlal Stephen, Nessy Thankachan. by Das, Vinu V [editor.] \| Stephen, Janahanlal [editor.] \| Thankachan, Nessy [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Series

Topics