Your search returned 2635 results. Subscribe to this search

|
1681. Logics in Computer Science [electronic resource] : A Study on Extensions of Temporal and Strategic Logics / by Fabio Mogavero.

by Mogavero, Fabio [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013Online access: Click here to access online Availability: No items available
1682. Design and Analysis of Approximation Algorithms [electronic resource] / by Ding-Zhu Du, Ker-I Ko, Xiaodong Hu.

by Du, Ding-Zhu [author.] | Ko, Ker-I [author.] | Hu, Xiaodong [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
1683. Computational Complexity [electronic resource] : Theory, Techniques, and Applications / edited by Robert A. Meyers.

by Meyers, Robert A [editor.] | 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 : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
1684. Creating New Medical Ontologies for Image Annotation [electronic resource] : A Case Study / by Liana Stanescu, Dumitru Dan Burdescu, Marius Brezovan, Cristian Gabriel Mihai.

by Stanescu, Liana [author.] | Burdescu, Dumitru Dan [author.] | Brezovan, Marius [author.] | Mihai, Cristian Gabriel [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 : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
1685. Network Inference in Molecular Biology [electronic resource] : A Hands-on Framework / by Jesse M. Lingeman, Dennis Shasha.

by Lingeman, Jesse M | Shasha, Dennis | 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
1686. Data Correcting Approaches in Combinatorial Optimization [electronic resource] / by Boris Goldengorin, Panos M. Pardalos.

by Goldengorin, Boris [author.] | Pardalos, Panos M [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 : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
1687. Approximation Algorithms and Semidefinite Programming [electronic resource] / by Bernd Gärtner, Jiri Matousek.

by Gärtner, Bernd [author.] | Matousek, Jiri [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, 2012Online access: Click here to access online Availability: No items available
1688. Complex Scheduling [electronic resource] / by Peter Brucker, Sigrid Knust.

by Brucker, Peter [author.] | Knust, Sigrid [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, 2012Online access: Click here to access online Availability: No items available
1689. Computer Architecture [electronic resource] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers / edited by Ana Lucia Varbanescu, Anca Molnos, Rob Nieuwpoort.

by Varbanescu, Ana Lucia [editor.] | Molnos, Anca [editor.] | Nieuwpoort, Rob [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
1690. Scale Space and Variational Methods in Computer Vision [electronic resource] : Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 – June 2, 2011, Revised Selected Papers / edited by Alfred M. Bruckstein, Bart M. Haar Romeny, Alexander M. Bronstein, Michael M. Bronstein.

by Bruckstein, Alfred M [editor.] | Haar Romeny, Bart M [editor.] | Bronstein, Alexander M [editor.] | Bronstein, Michael 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, 2012Online access: Click here to access online Availability: No items available
1691. e-Business and Telecommunications [electronic resource] : 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers / edited by Mohammad S. Obaidat, George A. Tsihrintzis, Joaquim Filipe.

by Obaidat, Mohammad S [editor.] | Tsihrintzis, George A [editor.] | Filipe, Joaquim [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
1692. RFID. Security and Privacy [electronic resource] : 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers / edited by Ari Juels, Christof Paar.

by Juels, Ari [editor.] | Paar, Christof [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
1693. Graph Drawing [electronic resource] : 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers / edited by Marc Kreveld, Bettina Speckmann.

by Kreveld, Marc [editor.] | Speckmann, Bettina [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
1694. Mathematical and Engineering Methods in Computer Science [electronic resource] : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers / edited by Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš.

by Kotásek, Zdeněk [editor.] | Bouda, Jan [editor.] | Černá, Ivana [editor.] | Sekanina, Lukáš [editor.] | Vojnar, Tomáš [editor.] | Antoš, 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, 2012Online access: Click here to access online Availability: No items available
1695. Distributed Computing and Networking [electronic resource] : 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings / edited by Luciano Bononi, Ajoy K. Datta, Stéphane Devismes, Archan Misra.

by Bononi, Luciano [editor.] | Datta, Ajoy K [editor.] | Devismes, Stéphane [editor.] | Misra, Archan [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
1696. Communication and Networking [electronic resource] : International Conference, FGCN 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I / edited by Tai-hoon Kim, Hojjat Adeli, Wai-chi Fang, Thanos Vasilakos, Adrian Stoica, Charalampos Z. Patrikakis, Gansen Zhao, Javier García Villalba, Yang Xiao.

by Kim, Tai-hoon [editor.] | Adeli, Hojjat [editor.] | Fang, Wai-chi [editor.] | Vasilakos, Thanos [editor.] | Stoica, Adrian [editor.] | Patrikakis, Charalampos Z [editor.] | Zhao, Gansen [editor.] | Villalba, Javier García [editor.] | Xiao, Yang [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
1697. Advances in Computer Science and Information Technology. Networks and Communications [electronic resource] : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I / edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.

by Meghanathan, Natarajan [editor.] | Chaki, Nabendu [editor.] | Nagamalai, Dhinaharan [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
1698. Advances in Computer Science and Information Technology. Computer Science and Engineering [electronic resource] : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II / edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.

by Meghanathan, Natarajan [editor.] | Chaki, Nabendu [editor.] | Nagamalai, Dhinaharan [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
1699. Advances in Computer Science and Information Technology. Computer Science and Information Technology [electronic resource] : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III / edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.

by Meghanathan, Natarajan [editor.] | Chaki, Nabendu [editor.] | Nagamalai, Dhinaharan [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
1700. Theory of Security and Applications [electronic resource] : Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers / edited by Sebastian Mödersheim, Catuscia Palamidessi.

by Mödersheim, Sebastian [editor.] | Palamidessi, Catuscia [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

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