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

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

Your search returned 2927 results.

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

	241.	Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. by McIver, Annabelle \| Morgan, Carroll \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	242.	Introduction to Assembly Language Programming [electronic resource] : For Pentium and RISC Processors / by Sivarama P. Dandamudi. by Dandamudi, Sivarama P \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	243.	Planning and Scheduling in Manufacturing and Services [electronic resource] / by Michael L. Pinedo. by Pinedo, Michael L \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	244.	Guide to RISC Processors [electronic resource] : for Programmers and Engineers / by Sivarama P. Dandamudi. by Dandamudi, Sivarama P \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	245.	XML for Bioinformatics [electronic resource] / by Ethan Cerami. by Cerami, Ethan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	246.	From Specification to Embedded Systems Application [electronic resource] / edited by Achim Rettberg, Mauro C. Zanella, Franz J. Rammig. by Rettberg, Achim \| Zanella, Mauro C \| Rammig, Franz J \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	247.	Cooperative Stochastic Differential Games [electronic resource] / by David W. K. Yeung, Leon A. Petrosyan. by Yeung, David W. K \| Petrosyan, Leon A \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	248.	Coordination of Large-Scale Multiagent Systems [electronic resource] / edited by Paul Scerri, Régis Vincent, Roger Mailler. by Scerri, Paul \| Vincent, Régis \| Mailler, Roger \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	249.	Genetic Programming Theory and Practice III [electronic resource] / edited by Tina Yu, Rick Riolo, Bill Worzel. by Yu, Tina \| Riolo, Rick \| Worzel, Bill \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	250.	An Integrated Approach to Software Engineering [electronic resource] / by Pankaj Jalote. by Jalote, Pankaj \| SpringerLink (Online service). Edition: Third Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	251.	Soft Real-Time Systems [electronic resource] : Predictability vs. Efficiency / by Giorgio Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo. by Buttazzo, Giorgio \| Lipari, Giuseppe \| Abeni, Luca \| Caccamo, Marco \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	252.	Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Poernomo, Iman Hafiz \| Wirsing, Martin \| Crossley, John Newsome \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	253.	Search Methodologies [electronic resource] : Introductory Tutorials in Optimization and Decision Support Techniques / edited by Edmund K. Burke, Graham Kendall. by Burke, Edmund K \| Kendall, Graham \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	254.	Branch-and-Bound Applications in Combinatorial Data Analysis [electronic resource] / by Michael J. Brusco, Stephanie Stahl. by Brusco, Michael J \| Stahl, Stephanie \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	255.	New Horizons of Parallel and Distributed Computing [electronic resource] / edited by Minyi Guo, Laurence Tianruo Yang. by Guo, Minyi \| Yang, Laurence Tianruo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	256.	Multiscale Optimization Methods and Applications [electronic resource] / edited by William W. Hager, Shu-Jen Huang, Panos M. Pardalos, Oleg A. Prokopyev. by Hager, William W \| Huang, Shu-Jen \| Pardalos, Panos M \| Prokopyev, Oleg A \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	257.	Large-Scale Nonlinear Optimization [electronic resource] / edited by G. Pillo, M. Roma. by Pillo, G \| Roma, M \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	258.	Global Optimization [electronic resource] : From Theory to Implementation / edited by Leo Liberti, Nelson Maculan. by Liberti, Leo \| Maculan, Nelson \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	259.	M-Solid Varieties of Algebras [electronic resource] / by J. Koppitz, K. Denecke. by Koppitz, J \| Denecke, K \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	260.	Software Configuration Management Using Vesta [electronic resource] / by Allan Heydon, Timothy Mann, Roy Levin, Yuan Yu. by Heydon, Allan \| Mann, Timothy \| Levin, Roy \| Yu, Yuan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online 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

Locations

Series

Topics

Titles