Your search returned 2722 results. Subscribe to this search

|
1981. Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings / edited by Toshiaki Aoki, Kenji Taguchi.

by Aoki, Toshiaki [editor.] | Taguchi, Kenji [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
1982. 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
1983. Advances in Computer Entertainment [electronic resource] : 9th International Conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012. Proceedings / edited by Anton Nijholt, Teresa Romão, Dennis Reidsma.

by Nijholt, Anton [editor.] | Romão, Teresa [editor.] | Reidsma, Dennis [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
1984. System Simulation and Scientific Computing [electronic resource] : International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I / edited by Tianyuan Xiao, Lin Zhang, Shiwei Ma.

by Xiao, Tianyuan [editor.] | Zhang, Lin [editor.] | Ma, Shiwei [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
1985. AsiaSim 2012 [electronic resource] : Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I / edited by Tianyuan Xiao, Lin Zhang, Minrui Fei.

by Xiao, Tianyuan [editor.] | Zhang, Lin [editor.] | Fei, Minrui [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
1986. AsiaSim 2012 [electronic resource] : Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part III / edited by Tianyuan Xiao, Lin Zhang, Minrui Fei.

by Xiao, Tianyuan [editor.] | Zhang, Lin [editor.] | Fei, Minrui [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
1987. AsiaSim 2012 [electronic resource] : Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II / edited by Tianyuan Xiao, Lin Zhang, Minrui Fei.

by Xiao, Tianyuan [editor.] | Zhang, Lin [editor.] | Fei, Minrui [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
1988. System Simulation and Scientific Computing [electronic resource] : International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II / edited by Tianyuan Xiao, Lin Zhang, Shiwei Ma.

by Xiao, Tianyuan [editor.] | Zhang, Lin [editor.] | Ma, Shiwei [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
1989. Learning and Intelligent Optimization [electronic resource] : 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers / edited by Youssef Hamadi, Marc Schoenauer.

by Hamadi, Youssef [editor.] | Schoenauer, Marc [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
1990. 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 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
1991. Graph-Theoretic Concepts in Computer Science [electronic resource] : 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers / edited by Martin Charles Golumbic, Michal Stern, Avivit Levy, Gila Morgenstern.

by Golumbic, Martin Charles [editor.] | Stern, Michal [editor.] | Levy, Avivit [editor.] | Morgenstern, Gila [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
1992. Data and Knowledge Engineering [electronic resource] : Third International Conference, ICDKE 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 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
1993. Information Security and Cryptology [electronic resource] : 7th International Conference, Inscrypt 2011, Beijing, China, November 30 – December 3, 2011. Revised Selected Papers / edited by Chuan-Kun Wu, Moti Yung, Dongdai Lin.

by Wu, Chuan-Kun [editor.] | Yung, Moti [editor.] | Lin, Dongdai [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
1994. Combinatorial Image Analaysis [electronic resource] : 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings / edited by Reneta P. Barneva, Valentin E. Brimkov, Jake K. Aggarwal.

by Barneva, Reneta P [editor.] | Brimkov, Valentin E [editor.] | Aggarwal, Jake K [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
1995. 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 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
1996. Design and Analysis of Algorithms [electronic resource] : First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings / edited by Guy Even, Dror Rawitz.

by Even, Guy [editor.] | Rawitz, Dror [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
1997. 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 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
1998. Progress in Cryptology - INDOCRYPT 2012 [electronic resource] : 13th International Conference on Cryptology in India, Kolkata, India, December 9-12, 2012. Proceedings / edited by Steven Galbraith, Mridul Nandi.

by Galbraith, Steven [editor.] | Nandi, Mridul [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
1999. Advances in Cryptology – ASIACRYPT 2012 [electronic resource] : 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings / edited by Xiaoyun Wang, Kazue Sako.

by Wang, Xiaoyun [editor.] | Sako, Kazue [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
2000. 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 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

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