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

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

Your search returned 1129 results.

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

	641.	Formal Foundations of Reuse and Domain Engineering [electronic resource] : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings / edited by Stephen H. Edwards, Gregory Kulczycki. by Edwards, Stephen H \| Kulczycki, Gregory \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	642.	Computational Methods in Chemical Engineering with Maple [electronic resource] / by Ralph E. White, Venkat R. Subramanian. by White, Ralph E \| Subramanian, Venkat R \| 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)
	643.	Distributed Computing [electronic resource] : 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings / edited by Idit Keidar. by Keidar, Idit \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	644.	Model Driven Engineering Languages and Systems [electronic resource] : 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings / edited by Andy Schürr, Bran Selic. by Schürr, Andy \| Selic, Bran \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	645.	Computer Safety, Reliability, and Security [electronic resource] : 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings / edited by Bettina Buth, Gerd Rabe, Till Seyfarth. by Buth, Bettina \| Rabe, Gerd \| Seyfarth, Till \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	646.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers / edited by Eitan Frachtenberg, Uwe Schwiegelshohn. by Frachtenberg, Eitan \| Schwiegelshohn, Uwe \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	647.	AccessNets [electronic resource] : Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers / edited by Chonggang Wang. by Wang, Chonggang \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	648.	Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / edited by Saddek Bensalem, Doron A. Peled. by Bensalem, Saddek \| Peled, Doron A \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	649.	Conceptual Modeling - ER 2009 [electronic resource] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings / edited by Alberto H. F. Laender, Silvana Castano, Umeshwar Dayal, Fabio Casati, José Palazzo M. Oliveira. by Laender, Alberto H. F \| Castano, Silvana \| Dayal, Umeshwar \| Casati, Fabio \| Oliveira, José Palazzo M \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	650.	Advances in Information and Computer Security [electronic resource] : 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings / edited by Tsuyoshi Takagi, Masahiro Mambo. by Takagi, Tsuyoshi \| Mambo, Masahiro \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	651.	Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / edited by Jeremy Gibbons, José Nuno Oliveira. by Gibbons, Jeremy \| Oliveira, José Nuno \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	652.	Advances in Conceptual Modeling - Challenging Perspectives [electronic resource] : ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings / edited by Carlos Alberto Heuser, Günther Pernul. by Heuser, Carlos Alberto \| Pernul, Günther \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	653.	IP Operations and Management [electronic resource] : 9th IEEE International Workshop, IPOM 2009, Venice, Italy, October 29-30, 2009. Proceedings / edited by Giorgio Nunzi, Caterina Scoglio, Xing Li. by Nunzi, Giorgio \| Scoglio, Caterina \| Li, Xing \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	654.	Integrated Management of Systems, Services, Processes and People in IT [electronic resource] : 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, Venice, Italy, October 27-28, 2009. Proceedings / edited by Claudio Bartolini, Luciano Paschoal Gaspary. by Bartolini, Claudio \| Gaspary, Luciano Paschoal \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	655.	Software and Data Technologies [electronic resource] : Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers / edited by José Cordeiro, Boris Shishkov, AlpeshKumar Ranchordas, Markus Helfert. by Cordeiro, José \| Shishkov, Boris \| Ranchordas, AlpeshKumar \| Helfert, Markus \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	656.	Software Process and Product Measurement [electronic resource] : International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings / edited by Alain Abran, René Braungarten, Reiner R. Dumke, Juan J. Cuadrado-Gallego, Jacob Brunekreef. by Abran, Alain \| Braungarten, René \| Dumke, Reiner R \| Cuadrado-Gallego, Juan J \| Brunekreef, Jacob \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	657.	Robust and Online Large-Scale Optimization [electronic resource] : Models and Techniques for Transportation Systems / edited by Ravindra K. Ahuja, Rolf H. Möhring, Christos D. Zaroliagis. by Ahuja, Ravindra K \| Möhring, Rolf H \| Zaroliagis, Christos D \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	658.	Advances in Software Engineering [electronic resource] : International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / edited by Tai-hoon Kim, Wai-Chi Fang, Changhoon Lee, Kirk P. Arnett. by Kim, Tai-hoon \| Fang, Wai-Chi \| Lee, Changhoon \| Arnett, Kirk P \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	659.	Architecting Dependable Systems VI [electronic resource] / edited by Rogério Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice Beek. by Lemos, Rogério \| Fabre, Jean-Charles \| Gacek, Cristina \| Gadducci, Fabio \| Beek, Maurice \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	660.	Service-Oriented Computing [electronic resource] : 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings / edited by Luciano Baresi, Chi-Hung Chi, Jun Suzuki. by Baresi, Luciano \| Chi, Chi-Hung \| Suzuki, Jun \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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