Your search returned 10041 results. Subscribe to this search

|
7921. 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
7922. 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
7923. 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
7924. Phosphate Phosphors for Solid-State Lighting [electronic resource] / by Kartik N. Shinde, S.J. Dhoble, H.C. Swart, Kyeongsoon Park.

by Shinde, Kartik N [author.] | Dhoble, S.J [author.] | Swart, H.C [author.] | Park, Kyeongsoon [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
7925. Service-Oriented Computing [electronic resource] : 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings / edited by Chengfei Liu, Heiko Ludwig, Farouk Toumani, Qi Yu.

by Liu, Chengfei [editor.] | Ludwig, Heiko [editor.] | Toumani, Farouk [editor.] | Yu, Qi [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
7926. Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings / edited by Itsuki Noda, Noriaki Ando, Davide Brugali, James J. Kuffner.

by Noda, Itsuki [editor.] | Ando, Noriaki [editor.] | Brugali, Davide [editor.] | Kuffner, James J [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
7927. 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 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
7928. 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
7929. 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
7930. 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
7931. 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
7932. 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
7933. Implementation and Application of Functional Languages [electronic resource] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / edited by Andy Gill, Jurriaan Hage.

by Gill, Andy [editor.] | Hage, Jurriaan [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
7934. 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
7935. 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
7936. 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 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
7937. Natural Language Processing and Chinese Computing [electronic resource] : First CCF Conference, NLPCC 2012, Beijing, China, October 31-November 5, 2012. Proceedings / edited by Ming Zhou, Guodong Zhou, Dongyan Zhao, Qun Liu, Lei Zou.

by Zhou, Ming [editor.] | Zhou, Guodong [editor.] | Zhao, Dongyan [editor.] | Liu, Qun [editor.] | Zou, Lei [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
7938. Advances in Artificial Intelligence - SBIA 2012 [electronic resource] : 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings / edited by Leliane N. Barros, Marcelo Finger, Aurora T. Pozo, Gustavo A. Gimenénez-Lugo, Marcos Castilho.

by Barros, Leliane N [editor.] | Finger, Marcelo [editor.] | Pozo, Aurora T [editor.] | Gimenénez-Lugo, Gustavo A [editor.] | Castilho, Marcos [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
7939. Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I / edited by Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung.

by Huang, Tingwen [editor.] | Zeng, Zhigang [editor.] | Li, Chuandong [editor.] | Leung, Chi Sing [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
7940. Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part IV / edited by Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung.

by Huang, Tingwen [editor.] | Zeng, Zhigang [editor.] | Li, Chuandong [editor.] | Leung, Chi Sing [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