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

Your search returned 2385 results.

« Previous
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
Next »

	1681.	Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [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)
	1682.	Telematics in the Transport Environment [electronic resource] : 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustroń, Poland, October 10–13, 2012. Selected Papers / edited by Jerzy Mikulski. by Mikulski, Jerzy [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)
	1683.	Large-Scale Complex IT Systems. Development, Operation and Management [electronic resource] : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers / edited by Radu Calinescu, David Garlan. by Calinescu, Radu [editor.] \| Garlan, David [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)
	1684.	Social Robotics [electronic resource] : 4th International Conference, ICSR 2012, Chengdu, China, October 29-31, 2012. Proceedings / edited by Shuzhi Sam Ge, Oussama Khatib, John-John Cabibihan, Reid Simmons, Mary-Anne Williams. by Ge, Shuzhi Sam [editor.] \| Khatib, Oussama [editor.] \| Cabibihan, John-John [editor.] \| Simmons, Reid [editor.] \| Williams, Mary-Anne [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)
	1685.	Provenance and Annotation of Data and Processes [electronic resource] : 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised Selected Papers / edited by Paul Groth, James Frew. by Groth, Paul [editor.] \| Frew, James [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)
	1686.	Human-Centered Software Engineering [electronic resource] : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings / edited by Marco Winckler, Peter Forbrig, Regina Bernhaupt. by Winckler, Marco [editor.] \| Forbrig, Peter [editor.] \| Bernhaupt, Regina [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)
	1687.	Security, Privacy, and Applied Cryptography Engineering [electronic resource] : Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012. Proceedings / edited by Andrey Bogdanov, Somitra Sanadhya. by Bogdanov, Andrey [editor.] \| Sanadhya, Somitra [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)
	1688.	Contemporary Research on E-business Technology and Strategy [electronic resource] : International Conference, iCETS 2012, Tianjin, China, August 29-31, 2012, Revised Selected Papers / edited by Vasil Khachidze, Tim Wang, Sohail Siddiqui, Vincent Liu, Sergio Cappuccio, Alicia Lim. by Khachidze, Vasil [editor.] \| Wang, Tim [editor.] \| Siddiqui, Sohail [editor.] \| Liu, Vincent [editor.] \| Cappuccio, Sergio [editor.] \| Lim, Alicia [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)
	1689.	Financial Cryptography and Data Security [electronic resource] : FC 2012 Workshops, USEC and WECSR 2012, Kralendijk, Bonaire, March 2, 2012, Revised Selected Papers / edited by Jim Blyth, Sven Dietrich, L. Jean Camp. by Blyth, Jim [editor.] \| Dietrich, Sven [editor.] \| Camp, L. Jean [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)
	1690.	Ambient Intelligence [electronic resource] : Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings / edited by Fabio Paternò, Boris Ruyter, Panos Markopoulos, Carmen Santoro, Evert Loenen, Kris Luyten. by Paternò, Fabio [editor.] \| Ruyter, Boris [editor.] \| Markopoulos, Panos [editor.] \| Santoro, Carmen [editor.] \| Loenen, Evert [editor.] \| Luyten, Kris [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)
	1691.	Shaping the Future of ICT Research. Methods and Approaches [electronic resource] : IFIP WG 8.2, Working Conference, Tampa, FL, USA, December 13-14, 2012. Proceedings / edited by Anol Bhattacherjee, Brian Fitzgerald. by Bhattacherjee, Anol [editor.] \| Fitzgerald, Brian [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)
	1692.	Computer Applications for Security, Control and System Engineering [electronic resource] : International Conferences, SecTech, CA, CES3 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings / edited by Tai-hoon Kim, Adrian Stoica, Wai-chi Fang, Thanos Vasilakos, Javier García Villalba, Kirk P. Arnett, Muhammad Khurram Khan, Byeong-Ho Kang. by Kim, Tai-hoon [editor.] \| Stoica, Adrian [editor.] \| Fang, Wai-chi [editor.] \| Vasilakos, Thanos [editor.] \| Villalba, Javier García [editor.] \| Arnett, Kirk P [editor.] \| Khan, Muhammad Khurram [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 : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	1693.	Trusted Systems [electronic resource] : 4th International Conference, INTRUST 2012, London, UK, December 17-18, 2012. Proceedings / edited by Chris J. Mitchell, Allan Tomlinson. by Mitchell, Chris J [editor.] \| Tomlinson, Allan [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)
	1694.	Ubiquitous Computing and Ambient Intelligence [electronic resource] : 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings / edited by José Bravo, Diego López-de-Ipiña, Francisco Moya. by Bravo, José [editor.] \| López-de-Ipiña, Diego [editor.] \| Moya, Francisco [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)
	1695.	Digital Forensics and Cyber Crime [electronic resource] : Third International ICST Conference, ICDF2C 2011, Dublin, Ireland, October 26-28, 2011, Revised Selected Papers / edited by Pavel Gladyshev, Marcus K. Rogers. by Gladyshev, Pavel [editor.] \| Rogers, Marcus K [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)
	1696.	Coordination, Organizations, Institutions, and Norms in Agent System VII [electronic resource] : COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011, Revised Selected Papers / edited by Stephen Cranefield, M. Birna Riemsdijk, Javier Vázquez-Salceda, Pablo Noriega. by Cranefield, Stephen [editor.] \| Riemsdijk, M. Birna [editor.] \| Vázquez-Salceda, Javier [editor.] \| Noriega, Pablo [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)
	1697.	Testbeds and Research Infrastructure. Development of Networks and Communities [electronic resource] : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers / edited by Thanasis Korakis, Michael Zink, Maximilian Ott. by Korakis, Thanasis [editor.] \| Zink, Michael [editor.] \| Ott, Maximilian [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)
	1698.	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)
	1699.	Agent Based Simulation for a Sustainable Society and Multi-agent Smart Computing [electronic resource] : International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011 Revised Selected Papers / edited by Stephen Cranefield, Insu Song. by Cranefield, Stephen [editor.] \| Song, Insu [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)
	1700.	Security Protocols XX [electronic resource] : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers / edited by Bruce Christianson, James Malcolm, Frank Stajano, Jonathan Anderson. by Christianson, Bruce [editor.] \| Malcolm, James [editor.] \| Stajano, Frank [editor.] \| Anderson, Jonathan [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)

« Previous
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
Next »

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics

Titles