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

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

Your search returned 1099 results.

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

	981.	Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis. by Kuich, Werner [editor.] \| Rahonis, George [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)
	982.	Formal Modeling: Actors, Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer. by Agha, Gul [editor.] \| Danvy, Olivier [editor.] \| Meseguer, José [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)
	983.	Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan. by Simao, Adenilso [editor.] \| Morgan, Carroll [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)
	984.	Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / edited by Hongseok Yang. by Yang, Hongseok [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)
	985.	Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao. by Jouannaud, Jean-Pierre [editor.] \| Shao, Zhong [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)
	986.	Software Engineering, Business Continuity, and Education [electronic resource] : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings / edited by Tai-hoon Kim, Hojjat Adeli, Haeng-kon Kim, Heau-jo Kang, Kyung Jung Kim, Akingbehin Kiumi, Byeong-Ho Kang. by Kim, Tai-hoon [editor.] \| Adeli, Hojjat [editor.] \| Kim, Haeng-kon [editor.] \| Kang, Heau-jo [editor.] \| Kim, Kyung Jung [editor.] \| Kiumi, Akingbehin [editor.] \| Kang, Byeong-Ho [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)
	987.	Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems [electronic resource] / by Paul Lokuciejewski, Peter Marwedel. by Lokuciejewski, Paul [author.] \| Marwedel, Peter [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	988.	Handbook of Floating-Point Arithmetic [electronic resource] / by Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres. by Muller, Jean-Michel [author.] \| Brisebarre, Nicolas [author.] \| de Dinechin, Florent [author.] \| Jeannerod, Claude-Pierre [author.] \| Lefèvre, Vincent [author.] \| Melquiond, Guillaume [author.] \| Revol, Nathalie [author.] \| Stehlé, Damien [author.] \| Torres, Serge [author.] \| SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston : Birkhäuser Boston, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	989.	PHP for Absolute Beginners [electronic resource] / by Jason Lengstorf. by Lengstorf, Jason [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	990.	Beginning WF [electronic resource] : Windows Workflow in .NET 4.0 / by Mark J. Collins. by Collins, Mark J [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	991.	Accelerated C# 2010 [electronic resource] / by Trey Nash. by Nash, Trey [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	992.	Expert Oracle Database Architecture [electronic resource] : Oracle Database 9i, 10g, and 11g Programming Techniques and Solutions / by Thomas Kyte ; edited by Jonathan Gennick, Clay Andres, Steve Anglin, Mark Beckner, Ewan Buckingham, Gary Cornell, Jonathan Hassell, Michelle Lowman, Matthew Moodie, Duncan Parkes, Jeffrey Pepper, Frank Pohlmann, Douglas Pundick, Ben Renow-Clarke, Dominic Shakeshaft, Matt Wade, Tom Welsh, Debra Kelly, Mary Behr, Sharon Terdeman. by Kyte, Thomas [author.] \| Gennick, Jonathan [editor.] \| Andres, Clay [editor.] \| Anglin, Steve [editor.] \| Beckner, Mark [editor.] \| Buckingham, Ewan [editor.] \| Cornell, Gary [editor.] \| Hassell, Jonathan [editor.] \| Lowman, Michelle [editor.] \| Moodie, Matthew [editor.] \| Parkes, Duncan [editor.] \| Pepper, Jeffrey [editor.] \| Pohlmann, Frank [editor.] \| Pundick, Douglas [editor.] \| Renow-Clarke, Ben [editor.] \| Shakeshaft, Dominic [editor.] \| Wade, Matt [editor.] \| Welsh, Tom [editor.] \| Kelly, Debra [editor.] \| Behr, Mary [editor.] \| Terdeman, Sharon [editor.] \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	993.	Silverlight Recipes [electronic resource] : A Problem-Solution Approach / by Jit Ghosh, Rob Cameron. by Ghosh, Jit [author.] \| Cameron, Rob [author.] \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	994.	Pro DLR in .NET 4 [electronic resource] / by Chaur Wu. by Wu, Chaur [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	995.	Beginning PHP and MySQL [electronic resource] : From Novice to Professional / by W. Jason Gilmore. by Gilmore, W. Jason [author.] \| SpringerLink (Online service). Edition: Fourth Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	996.	Oracle and PL/SQL Recipes [electronic resource] : A Problem-Solution Approach / by Josh Juneau, Matt Arena. by Juneau, Josh [author.] \| Arena, Matt [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	997.	Open Source Software for Digital Forensics [electronic resource] / edited by Ewa Huebner, Stefano Zanero. by Huebner, Ewa [editor.] \| Zanero, Stefano [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)
	998.	Drawing Programs: The Theory and Practice of Schematic Functional Programming [electronic resource] / by Tom Addis, Jan Addis. by Addis, Tom [author.] \| Addis, Jan [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	999.	Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. by Boca, Paul [editor.] \| Bowen, Jonathan P [editor.] \| Siddiqi, Jawed [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1000.	Programming Languages: Principles and Paradigms [electronic resource] / by Maurizio Gabbrielli, Simone Martini. by Gabbrielli, Maurizio [author.] \| Martini, Simone [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 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

Locations

Series

Topics