Your search returned 16260 results. Subscribe to this search

|
13821. Descriptional Complexity of Formal Systems [electronic resource] : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings / edited by Markus Holzer, Martin Kutrib, Giovanni Pighizzini.

by Holzer, Markus [editor.] | Kutrib, Martin [editor.] | Pighizzini, Giovanni [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, 2011Online access: Click here to access online Availability: No items available
13822. Agent-Oriented Software Engineering XI [electronic resource] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers / edited by Danny Weyns, Marie-Pierre Gleizes.

by Weyns, Danny [editor.] | Gleizes, Marie-Pierre [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, 2011Online access: Click here to access online Availability: No items available
13823. Possibility for Decision [electronic resource] : A Possibilistic Approach to Real Life Decisions / by Christer Carlsson, Robert Fullér.

by Carlsson, Christer [author.] | Fullér, Robert [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, 2011Online access: Click here to access online Availability: No items available
13824. ECOOP 2011 – Object-Oriented Programming [electronic resource] : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings / edited by Mira Mezini.

by Mezini, Mira [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, 2011Online access: Click here to access online Availability: No items available
13825. Average Time Complexity of Decision Trees [electronic resource] / by Igor Chikalov.

by Chikalov, Igor [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, 2011Online access: Click here to access online Availability: No items available
13826. Intelligent Open Learning Systems [electronic resource] : Concepts, Models and Algorithms / by Przemysław Różewski, Emma Kusztina, Ryszard Tadeusiewicz, Oleg Zaikin.

by Różewski, Przemysław [author.] | Kusztina, Emma [author.] | Tadeusiewicz, Ryszard [author.] | Zaikin, Oleg [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, 2011Online access: Click here to access online Availability: No items available
13827. Parallel and Distributed Computing and Networks [electronic resource] : International Conference, PDCN 2010, Chongqing, China, December 13-14, 2010. Revised Selected Papers / edited by Luo Qi.

by Qi, Luo [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, 2011Online access: Click here to access online Availability: No items available
13828. Advances in Computing and Communications [electronic resource] : First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, Part I / edited by Ajith Abraham, Jaime Lloret Mauri, John F. Buford, Junichi Suzuki, Sabu M. Thampi.

by Abraham, Ajith [editor.] | Lloret Mauri, Jaime [editor.] | Buford, John F [editor.] | Suzuki, Junichi [editor.] | Thampi, Sabu M [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, 2011Online access: Click here to access online Availability: No items available
13829. Advances in Computing and Communications [electronic resource] : First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, Part II / edited by Ajith Abraham, Jaime Lloret Mauri, John F. Buford, Junichi Suzuki, Sabu M. Thampi.

by Abraham, Ajith [editor.] | Lloret Mauri, Jaime [editor.] | Buford, John F [editor.] | Suzuki, Junichi [editor.] | Thampi, Sabu M [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, 2011Online access: Click here to access online Availability: No items available
13830. e-Technologies and Networks for Development [electronic resource] : First International Conference, ICeND 2011, Dar-es-Salaam, Tanzania, August 3-5, 2011. Proceedings / edited by Jim James Yonazi, Eliamani Sedoyeka, Ezendu Ariwa, Eyas El-Qawasmeh.

by Yonazi, Jim James [editor.] | Sedoyeka, Eliamani [editor.] | Ariwa, Ezendu [editor.] | El-Qawasmeh, Eyas [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, 2011Online access: Click here to access online Availability: No items available
13831. Emerging Intelligent Technologies in Industry [electronic resource] / edited by Dominik Ryżko, Henryk Rybiński, Piotr Gawrysiak, Marzena Kryszkiewicz.

by Ryżko, Dominik [editor.] | Rybiński, Henryk [editor.] | Gawrysiak, Piotr [editor.] | Kryszkiewicz, Marzena [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, 2011Online access: Click here to access online Availability: No items available
13832. Nonlinear Dynamical Systems in Engineering [electronic resource] : Some Approximate Approaches / by Vasile Marinca, Nicolae Herisanu.

by Marinca, Vasile [author.] | Herisanu, Nicolae [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, 2011Online access: Click here to access online Availability: No items available
13833. Advances in Extended and Multifield Theories for Continua [electronic resource] / edited by Bernd Markert.

by Markert, Bernd [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, 2011Online access: Click here to access online Availability: No items available
13834. Towards a Service-Based Internet. ServiceWave 2010 Workshops [electronic resource] : International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers / edited by Michel Cezon, Yaron Wolfsthal.

by Cezon, Michel [editor.] | Wolfsthal, Yaron [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, 2011Online access: Click here to access online Availability: No items available
13835. Web Information Systems and Technologies [electronic resource] : 6th International Conference, WEBIST 2010, Valencia, Spain, April 7-10, 2010, Revised Selected Papers / edited by Joaquim Filipe, José Cordeiro.

by Filipe, Joaquim [editor.] | Cordeiro, José [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, 2011Online access: Click here to access online Availability: No items available
13836. Perspectives on Soviet and Russian Computing [electronic resource] : First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers / edited by John Impagliazzo, Eduard Proydakov.

by Impagliazzo, John [editor.] | Proydakov, Eduard [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, 2011Online access: Click here to access online Availability: No items available
13837. Emotional Cognitive Neural Algorithms with Engineering Applications [electronic resource] : Dynamic Logic: FromVague to Crisp / by Leonid Perlovsky, Ross Deming, Roman Ilin.

by Perlovsky, Leonid [author.] | Deming, Ross [author.] | Ilin, Roman [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, 2011Online access: Click here to access online Availability: No items available
13838. Nonlinear Mathematics for Uncertainty and its Applications [electronic resource] / edited by Shoumei Li, Xia Wang, Yoshiaki Okazaki, Jun Kawabe, Toshiaki Murofushi, Li Guan.

by Li, Shoumei [editor.] | Wang, Xia [editor.] | Okazaki, Yoshiaki [editor.] | Kawabe, Jun [editor.] | Murofushi, Toshiaki [editor.] | Guan, Li [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, 2011Online access: Click here to access online Availability: No items available
13839. Robotic Sailing [electronic resource] : Proceedings of the 4th International Robotic Sailing Conference / edited by Alexander Schlaefer, Ole Blaurock.

by Schlaefer, Alexander [editor.] | Blaurock, Ole [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, 2011Online access: Click here to access online Availability: No items available
13840. Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk.

by Eekelen, Marko [editor.] | Geuvers, Herman [editor.] | Schmaltz, Julien [editor.] | Wiedijk, Freek [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, 2011Online 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