Your search returned 19172 results. Subscribe to this search

|
16681. Tools for Teaching Logic [electronic resource] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings / edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano.

by Blackburn, Patrick [editor.] | Ditmarsch, Hans [editor.] | Manzano, María [editor.] | Soler-Toscano, Fernando [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
16682. Multidisciplinary Information Retrieval [electronic resource] : Second Information Retrieval Facility Conference, IRFC 2011, Vienna, Austria, June 6, 2011. Proceedings / edited by Allan Hanbury, Andreas Rauber, Arjen P. Vries.

by Hanbury, Allan [editor.] | Rauber, Andreas [editor.] | Vries, Arjen P [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
16683. The Global Administrative Law of Science [electronic resource] / by Matthias Ruffert, Sebastian Steinecke.

by Ruffert, Matthias [author.] | Steinecke, Sebastian [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
16684. Researching the Future in Information Systems [electronic resource] : IFIP WG 8.2 Working Conference, Turku, Finland, June 6-8, 2011. Proceedings / edited by Mike Chiasson, Ola Henfridsson, Helena Karsten, Janice I. DeGross.

by Chiasson, Mike [editor.] | Henfridsson, Ola [editor.] | Karsten, Helena [editor.] | DeGross, Janice I [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
16685. Computers,Networks, Systems, and Industrial Engineering 2011 [electronic resource] / edited by Roger Lee.

by Lee, Roger [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
16686. Computer and Information Science 2011 [electronic resource] / edited by Roger Lee.

by Lee, Roger [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
16687. Advanced Microsystems for Automotive Applications 2011 [electronic resource] : Smart Systems for Electric, Safe and Networked Mobility / edited by Gereon Meyer, Jürgen Valldorf.

by Meyer, Gereon [editor.] | Valldorf, Jürgen [editor.] | SpringerLink (Online service).

Edition: 1.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
16688. Advances in Distributed Agent-Based Retrieval Tools [electronic resource] / edited by Vincenzo Pallotta, Alessandro Soro, Eloisa Vargiu.

by Pallotta, Vincenzo [editor.] | Soro, Alessandro [editor.] | Vargiu, Eloisa [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
16689. Distributed Applications and Interoperable Systems [electronic resource] : 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Pascal Felber, Romain Rouvoy.

by Felber, Pascal [editor.] | Rouvoy, Romain [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
16690. Random Finite Sets for Robot Mapping and SLAM [electronic resource] : New Concepts in Autonomous Robotic Map Representations / by John Mullane, Ba-Ngu Vo, Martin Adams, Ba-Tuong Vo.

by Mullane, John [author.] | Vo, Ba-Ngu [author.] | Adams, Martin [author.] | Vo, Ba-Tuong [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
16691. Dependable Computer Systems [electronic resource] / edited by Wojciech Zamojski, Janusz Kacprzyk, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak.

by Zamojski, Wojciech [editor.] | Kacprzyk, Janusz [editor.] | Mazurkiewicz, Jacek [editor.] | Sugier, Jarosław [editor.] | Walkowiak, Tomasz [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
16692. Progress in Parasitology [electronic resource] / edited by Heinz Mehlhorn.

by Mehlhorn, Heinz [editor.] | SpringerLink (Online service).

Edition: First.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
16693. Harmonic Functions and Potentials on Finite or Infinite Networks [electronic resource] / by Victor Anandam.

by Anandam, Victor [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
16694. Advanced Research on Computer Science and Information Engineering [electronic resource] : International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I / edited by Gang Shen, Xiong Huang.

by Shen, Gang [editor.] | Huang, Xiong [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
16695. Detoxification of Heavy Metals [electronic resource] / edited by Irena Sherameti, Ajit Varma.

by Sherameti, Irena [editor.] | Varma, Ajit [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
16696. Advanced Research on Computer Science and Information Engineering [electronic resource] : International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II / edited by Gang Shen, Xiong Huang.

by Shen, Gang [editor.] | Huang, Xiong [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
16697. Future Challenges in Security and Privacy for Academia and Industry [electronic resource] : 26th IFIP TC 11 International Information Security Conference, SEC 2011, Lucerne, Switzerland, June 7-9, 2011. Proceedings / edited by Jan Camenisch, Simone Fischer-Hübner, Yuko Murayama, Armand Portmann, Carlos Rieder.

by Camenisch, Jan [editor.] | Fischer-Hübner, Simone [editor.] | Murayama, Yuko [editor.] | Portmann, Armand [editor.] | Rieder, Carlos [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
16698. Intelligent Systems: Approximation by Artificial Neural Networks [electronic resource] / by George A. Anastassiou.

by Anastassiou, George A [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
16699. FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte.

by Butler, Michael [editor.] | Schulte, Wolfram [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
16700. Mobile Networks and Management [electronic resource] : Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010, Revised Selected Papers / edited by Kostas Pentikousis, Ramón Agüero, Marta García-Arranz, Symeon Papavassiliou.

by Pentikousis, Kostas [editor.] | Agüero, Ramón [editor.] | García-Arranz, Marta [editor.] | Papavassiliou, Symeon [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