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

Your search returned 16260 results.

	12621.	Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers / edited by Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen. by Hähnle, Reiner [editor.] \| Knoop, Jens [editor.] \| Margaria, Tiziana [editor.] \| Schreiner, Dietmar [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)
	12622.	Multi-Agent Systems [electronic resource] : 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers / edited by Massimo Cossentino, Michael Kaisers, Karl Tuyls, Gerhard Weiss. by Cossentino, Massimo [editor.] \| Kaisers, Michael [editor.] \| Tuyls, Karl [editor.] \| Weiss, Gerhard [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)
	12623.	Internet and Distributed Computing Systems [electronic resource] : 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings / edited by Yang Xiang, Mukaddim Pathan, Xiaohui Tao, Hua Wang. by Xiang, Yang [editor.] \| Pathan, Mukaddim [editor.] \| Tao, Xiaohui [editor.] \| Wang, Hua [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)
	12624.	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)
	12625.	Multiple Access Communications [electronic resource] : 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings / edited by Boris Bellalta, Alexey Vinel, Magnus Jonsson, Jaume Barcelo, Roman Maslennikov, Periklis Chatzimisios, David Malone. by Bellalta, Boris [editor.] \| Vinel, Alexey [editor.] \| Jonsson, Magnus [editor.] \| Barcelo, Jaume [editor.] \| Maslennikov, Roman [editor.] \| Chatzimisios, Periklis [editor.] \| Malone, 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)
	12626.	Web Information Systems Engineering - WISE 2012 [electronic resource] : 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings / edited by X. Sean Wang, Isabel Cruz, Alex Delis, Guangyan Huang. by Wang, X. Sean [editor.] \| Cruz, Isabel [editor.] \| Delis, Alex [editor.] \| Huang, Guangyan [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)
	12627.	Advances in Information Technology [electronic resource] : 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012. Proceedings / edited by Borworn Papasratorn, Nipon Charoenkitkarn, Kittichai Lavangnananda, Wichian Chutimaskul, Vajirasak Vanijja. by Papasratorn, Borworn [editor.] \| Charoenkitkarn, Nipon [editor.] \| Lavangnananda, Kittichai [editor.] \| Chutimaskul, Wichian [editor.] \| Vanijja, Vajirasak [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)
	12628.	Middleware 2012 [electronic resource] : ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings / edited by Priya Narasimhan, Peter Triantafillou. by Narasimhan, Priya [editor.] \| Triantafillou, Peter [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)
	12629.	The Semantic Web – ISWC 2012 [electronic resource] : 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II / edited by Philippe Cudré-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, Eva Blomqvist. by Cudré-Mauroux, Philippe [editor.] \| Heflin, Jeff [editor.] \| Sirin, Evren [editor.] \| Tudorache, Tania [editor.] \| Euzenat, Jérôme [editor.] \| Hauswirth, Manfred [editor.] \| Parreira, Josiane Xavier [editor.] \| Hendler, Jim [editor.] \| Schreiber, Guus [editor.] \| Bernstein, Abraham [editor.] \| Blomqvist, Eva [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)
	12630.	The Semantic Web – ISWC 2012 [electronic resource] : 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I / edited by Philippe Cudré-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, Eva Blomqvist. by Cudré-Mauroux, Philippe [editor.] \| Heflin, Jeff [editor.] \| Sirin, Evren [editor.] \| Tudorache, Tania [editor.] \| Euzenat, Jérôme [editor.] \| Hauswirth, Manfred [editor.] \| Parreira, Josiane Xavier [editor.] \| Hendler, Jim [editor.] \| Schreiber, Guus [editor.] \| Bernstein, Abraham [editor.] \| Blomqvist, Eva [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)
	12631.	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)
	12632.	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)
	12633.	Economics of Grids, Clouds, Systems, and Services [electronic resource] : 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings / edited by Kurt Vanmechelen, Jörn Altmann, Omer F. Rana. by Vanmechelen, Kurt [editor.] \| Altmann, Jörn [editor.] \| Rana, Omer F [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)
	12634.	Computer Applications for Modeling, Simulation, and Automobile [electronic resource] : International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings / edited by Tai-hoon Kim, Carlos Ramos, Jemal Abawajy, Byeong-Ho Kang, Dominik Ślęzak, Hojjat Adeli. by Kim, Tai-hoon [editor.] \| Ramos, Carlos [editor.] \| Abawajy, Jemal [editor.] \| Kang, Byeong-Ho [editor.] \| Ślęzak, Dominik [editor.] \| Adeli, Hojjat [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)
	12635.	Green and Smart Technology with Sensor Applications [electronic resource] : International Conferences, GST and SIA 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings / edited by Hyun-seob Cho, Tai-hoon Kim, Sabah Mohammed, Hojjat Adeli, Myoung-kwan Oh, Keun-Wang Lee. by Cho, Hyun-seob [editor.] \| Kim, Tai-hoon [editor.] \| Mohammed, Sabah [editor.] \| Adeli, Hojjat [editor.] \| Oh, Myoung-kwan [editor.] \| Lee, Keun-Wang [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)
	12636.	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)
	12637.	Neural Networks: Tricks of the Trade [electronic resource] : Second Edition / edited by Grégoire Montavon, Geneviève B. Orr, Klaus-Robert Müller. by Montavon, Grégoire [editor.] \| Orr, Geneviève B [editor.] \| Müller, Klaus-Robert [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)
	12638.	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)
	12639.	Internet and Network Economics [electronic resource] : 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings / edited by Paul W. Goldberg. by Goldberg, Paul W [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)
	12640.	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)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics

Titles