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.

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

	21.	Hardware Verification with SystemVerilog [electronic resource] : An Object-Oriented Framework / by Mike Mintz, Robert Ekendahl. by Mintz, Mike \| Ekendahl, Robert \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	22.	A Modular Calculus for the Average Cost of Data Structuring [electronic resource] / by Michel Schellekens. by Schellekens, Michel \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	23.	Open Source Systems Security Certification [electronic resource] / by Ernesto Damiani, Claudio Agostino Ardagna, Nabil El Ioini. by Damiani, Ernesto \| Ardagna, Claudio Agostino \| El Ioini, Nabil \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	24.	The China Information Technology Handbook [electronic resource] / edited by Patricia Ordóñez de Pablos, Miltiadis D. Lytras. by Ordóñez de Pablos, Patricia \| Lytras, Miltiadis D \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	25.	Programming Languages [electronic resource] : An Active Learning Approach / by Kent Lee. by Lee, Kent \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	26.	High Assurance Services Computing [electronic resource] / edited by Liang-Jie Zhang, Raymond Paul, Jing Dong. by Zhang, Liang-Jie \| Paul, Raymond \| Dong, Jing \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	27.	Multi-Agent Programming: [electronic resource] : Languages, Tools and Applications / edited by Amal El Fallah Seghrouchni, Jürgen Dix, Mehdi Dastani, Rafael H. Bordini. by El Fallah Seghrouchni, Amal \| Dix, Jürgen \| Dastani, Mehdi \| Bordini, Rafael H \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	28.	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 \| Brisebarre, Nicolas \| de Dinechin, Florent \| Jeannerod, Claude-Pierre \| Lefèvre, Vincent \| Melquiond, Guillaume \| Revol, Nathalie \| Stehlé, Damien \| Torres, Serge \| 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)
	29.	Guide to Assembly Language [electronic resource] : A Concise Introduction / by James T. Streib. by Streib, James T \| 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)
	30.	Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy. by Alagar, V.S \| Periyasamy, K \| SpringerLink (Online service). Edition: 2nd Edition.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)
	31.	Guide to HTML, JavaScript and PHP [electronic resource] : For Scientists and Engineers / by David R. Brooks. by Brooks, David R \| 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)
	32.	Introduction to Compiler Design [electronic resource] / by Torben Ægidius Mogensen. by Mogensen, Torben Ægidius \| 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)
	33.	Engineering Theories of Software Intensive Systems [electronic resource] : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare. by Broy, Manfred \| Grünbauer, Johannes \| Harel, David \| Hoare, Tony \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	34.	The Developer’s Guide to Debugging [electronic resource] / by Thorsten Grötker, Ulrich Holtmann, Holger Keding, Markus Wloka. by Grötker, Thorsten \| Holtmann, Ulrich \| Keding, Holger \| Wloka, Markus \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	35.	Optimized ASIP Synthesis from Architecture Description Language Models [electronic resource] / by Oliver Schliebusch, Heinrich Meyr, Rainer Leupers. by Schliebusch, Oliver \| Meyr, Heinrich \| Leupers, Rainer \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	36.	Advanced Memory Optimization Techniques for Low-Power Embedded Processors [electronic resource] / by Manish Verma, Peter Marwedel. by Verma, Manish \| Marwedel, Peter \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	37.	Real-Time Object Uniform Design Methodology with UML [electronic resource] / edited by Bui Minh Duc. by Duc, Bui Minh \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	38.	Exploring C for Microcontrollers [electronic resource] : A Hands on Approach / by Jivan S. Parab, Vinod G. Shelake, Rajanish K. Kamat, Gourish M. Naik. by Parab, Jivan S \| Shelake, Vinod G \| Kamat, Rajanish K \| Naik, Gourish M \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	39.	Advances in Design and Specification Languages for Embedded Systems [electronic resource] : Selected Contributions from FDL'06 / edited by Sorin A. Huss. by Huss, Sorin A \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	40.	Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms [electronic resource] / edited by Zhe Ma, Pol Marchal, Daniele Paolo Scarpazza, Peng Yang, Chun Wong, José Ignacio Gómez, Stefaan Himpe, Chantal Ykman- Couvreur, Francky Catthoor. by Ma, Zhe \| Marchal, Pol \| Scarpazza, Daniele Paolo \| Yang, Peng \| Wong, Chun \| Gómez, José Ignacio \| Himpe, Stefaan \| Couvreur, Chantal Ykman- \| Catthoor, Francky \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online 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