Library Services | Technical University of Kenya catalog › Results of search for 'su:{Programming Languages, Compilers, Interpreters.}'

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

Your search returned 1068 results.

« Previous
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
Next »

« Previous
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
Next »

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

	861.	Transactions on Petri Nets and Other Models of Concurrency VI [electronic resource] / edited by Kurt Jensen, Wil M. Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen. by Jensen, Kurt [editor.] \| Aalst, Wil M [editor.] \| Ajmone Marsan, Marco [editor.] \| Franceschinis, Giuliana [editor.] \| Kleijn, Jetty [editor.] \| Kristensen, Lars 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)
	862.	Programming Languages and Systems [electronic resource] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings / edited by Ranjit Jhala, Atsushi Igarashi. by Jhala, Ranjit [editor.] \| Igarashi, Atsushi [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)
	863.	Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity [electronic resource] : International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings / edited by Tai-hoon Kim, Carlos Ramos, Haeng-kon Kim, Akingbehin Kiumi, Sabah Mohammed, Dominik Ślęzak. by Kim, Tai-hoon [editor.] \| Ramos, Carlos [editor.] \| Kim, Haeng-kon [editor.] \| Kiumi, Akingbehin [editor.] \| Mohammed, Sabah [editor.] \| Ślęzak, Dominik [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)
	864.	Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings / edited by Chris Hawblitzel, Dale Miller. by Hawblitzel, Chris [editor.] \| Miller, Dale [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)
	865.	Transactions on Aspect-Oriented Software Development IX [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter. by Leavens, Gary T [editor.] \| Chiba, Shigeru [editor.] \| Haupt, Michael [editor.] \| Ostermann, Klaus [editor.] \| Wohlstadter, Eric [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)
	866.	Network and Parallel Computing [electronic resource] : 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings / edited by James J. Park, Albert Zomaya, Sang-Soo Yeo, Sartaj Sahni. by Park, James J [editor.] \| Zomaya, Albert [editor.] \| Yeo, Sang-Soo [editor.] \| Sahni, Sartaj [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)
	867.	Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba Ölveczky. by Arbab, Farhad [editor.] \| Ölveczky, Peter Csaba [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)
	868.	Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Meyer, Bertrand [editor.] \| Nordio, Martin [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)
	869.	Instruction Sequences for Computer Science [electronic resource] / by Jan A. Bergstra, Cornelis A. Middelburg. by Bergstra, Jan A [author.] \| Middelburg, Cornelis A [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	870.	Encyclopedia of Parallel Computing [electronic resource] / edited by David Padua. by Padua, David [editor.] \| 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)
	871.	Guide to Assembly Language [electronic resource] : A Concise Introduction / by James T. Streib. by Streib, James T [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	872.	Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy. by Alagar, V.S [author.] \| Periyasamy, K [author.] \| SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	873.	Guide to HTML, JavaScript and PHP [electronic resource] : For Scientists and Engineers / by David R. Brooks. by Brooks, David R [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	874.	Introduction to Compiler Design [electronic resource] / by Torben Ægidius Mogensen. by Mogensen, Torben Ægidius [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	875.	Pro Core Data for iOS [electronic resource] : Data Access and Persistence Engine for iPhone, iPad, and iPod touch / by Michael Privat, Rob Warner. by Privat, Michael [author.] \| Warner, Rob [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	876.	Applied ASP .NET 4 in Context [electronic resource] / by Adam Freeman. by Freeman, Adam [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	877.	Expert PL/SQL Practices [electronic resource] : for Oracle Developers and DBAs / by John Beresniewicz, Adrian Billington, Martin Büchi, Melanie Caffrey, Ron Crisco, Lewis Cunningham, Dominic Delmolino, Sue Harper, Torben Holm, Connor McDonald, Arup Nanda, Stephan Petit, Michael Rosenblum, Robyn Sands, Riyaj Shamsudeen. by Beresniewicz, John [author.] \| Billington, Adrian [author.] \| Büchi, Martin [author.] \| Caffrey, Melanie [author.] \| Crisco, Ron [author.] \| Cunningham, Lewis [author.] \| Delmolino, Dominic [author.] \| Harper, Sue [author.] \| Holm, Torben [author.] \| McDonald, Connor [author.] \| Nanda, Arup [author.] \| Petit, Stephan [author.] \| Rosenblum, Michael [author.] \| Sands, Robyn [author.] \| Shamsudeen, Riyaj [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	878.	Pro Core Data for iOS [electronic resource] : Data Access and Persistence Engine for iPhone, iPad, and iPod touch / by Michael Privat, Robert Warner. by Privat, Michael [author.] \| Warner, Robert [author.] \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	879.	Beginning Arduino Programming [electronic resource] / by Brian Evans. by Evans, Brian [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	880.	Handbook of Open Source Tools [electronic resource] / by Sandeep Koranne. by Koranne, Sandeep [author.] \| SpringerLink (Online service). Edition: 1.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)

Library Services | Technical University of Kenya

Refine your search

Authors

Series

Topics