Your search returned 186 results. Subscribe to this search

|
141. Typed Lambda Calculi and Applications [electronic resource] : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings / edited by Masahito Hasegawa.

by Hasegawa, Masahito [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
142. Product Lifecycle Management for Society [electronic resource] : 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings / edited by Alain Bernard, Louis Rivest, Debasish Dutta.

by Bernard, Alain [editor.] | Rivest, Louis [editor.] | Dutta, Debasish [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
143. Information Computing and Applications [electronic resource] : 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II / edited by Yuhang Yang, Maode Ma, Baoxiang Liu.

by Yang, Yuhang [editor.] | Ma, Maode [editor.] | Liu, Baoxiang [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
144. Information Computing and Applications [electronic resource] : 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I / edited by Yuhang Yang, Maode Ma, Baoxiang Liu.

by Yang, Yuhang [editor.] | Ma, Maode [editor.] | Liu, Baoxiang [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
145. Ubiquitous Information Technologies and Applications [electronic resource] : CUTE 2012 / edited by Youn-Hee Han, Doo-Soon Park, Weijia Jia, Sang-Soo Yeo.

by Han, Youn-Hee [editor.] | Park, Doo-Soon [editor.] | Jia, Weijia [editor.] | Yeo, Sang-Soo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
146. Intelligent Control and Innovative Computing [electronic resource] / edited by Sio Iong Ao, Oscar Castillo, Xu Huang.

by Ao, Sio Iong [editor.] | Castillo, Oscar [editor.] | Huang, Xu [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2012Online access: Click here to access online Availability: No items available
147. Applied Computer Science [electronic resource] / by Shane Torbert.

by Torbert, Shane [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2012Online access: Click here to access online Availability: No items available
148. Integrated Methods for Optimization [electronic resource] / by John N. Hooker.

by Hooker, John N [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2012Online access: Click here to access online Availability: No items available
149. Topological Methods in Data Analysis and Visualization II [electronic resource] : Theory, Algorithms, and Applications / edited by Ronald Peikert, Helwig Hauser, Hamish Carr, Raphael Fuchs.

by Peikert, Ronald [editor.] | Hauser, Helwig [editor.] | Carr, Hamish [editor.] | Fuchs, Raphael [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
150. Advances in Computer Science and Engineering [electronic resource] / edited by Dehuai Zeng.

by Zeng, Dehuai [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
151. Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges [electronic resource] : Second International Workshop, STACOM 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers / edited by Oscar Camara, Ender Konukoglu, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young.

by Camara, Oscar [editor.] | Konukoglu, Ender [editor.] | Pop, Mihaela [editor.] | Rhode, Kawal [editor.] | Sermesant, Maxime [editor.] | Young, Alistair [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
152. Linguistic Decision Making [electronic resource] : Theory and Methods / by Zeshui Xu.

by Xu, Zeshui [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
153. Intuitionistic Fuzzy Information Aggregation [electronic resource] : Theory and Applications / by Zeshui Xu, Xiaoqiang Cai.

by Xu, Zeshui [author.] | Cai, Xiaoqiang [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
154. Languages Alive [electronic resource] : Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday / edited by Henning Bordihn, Martin Kutrib, Bianca Truthe.

by Bordihn, Henning [editor.] | Kutrib, Martin [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
155. Modeling Time in Computing [electronic resource] / by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi.

by Furia, Carlo A [author.] | Mandrioli, Dino [author.] | Morzenti, Angelo [author.] | Rossi, Matteo [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
156. Understanding High-Dimensional Spaces [electronic resource] / by David B. Skillicorn.

by Skillicorn, David B [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
157. Information Computing and Applications [electronic resource] : Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part II / edited by Chunfeng Liu, Leizhen Wang, Aimin Yang.

by Liu, Chunfeng [editor.] | Wang, Leizhen [editor.] | Yang, Aimin [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
158. Computational Intelligence and Intelligent Systems [electronic resource] : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings / edited by Zhenhua Li, Xiang Li, Yong Liu, Zhihua Cai.

by Li, Zhenhua [editor.] | Li, Xiang [editor.] | Liu, Yong [editor.] | Cai, Zhihua [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
159. Network Computing and Information Security [electronic resource] : Second International Conference, NCIS 2012, Shanghai, China, December 7-9, 2012. Proceedings / edited by Jingsheng Lei, Fu Lee Wang, Mo Li, Yuan Luo.

by Lei, Jingsheng [editor.] | Wang, Fu Lee [editor.] | Li, Mo [editor.] | Luo, Yuan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
160. Integration of World Knowledge for Natural Language Understanding [electronic resource] / by Ekaterina Ovchinnikova.

by Ovchinnikova, Ekaterina [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Paris : Atlantis Press, 2012Online access: Click here to access online Availability: No items available

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