Your search returned 5853 results. Subscribe to this search

|
1141. Partial Covers, Reducts and Decision Rules in Rough Sets [electronic resource] : Theory and Applications / by Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko.

by Moshkov, Mikhail Ju | Piliszczuk, Marcin | Zielosko, Beata | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1142. Sensors [electronic resource] : Advancements in Modeling, Design Issues, Fabrication and Practical Applications / edited by S.C. Mukhopadhyay, R.Y.M. Huang.

by Mukhopadhyay, S.C | Huang, R.Y.M | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1143. New Frontiers in Applied Artificial Intelligence [electronic resource] : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings / edited by Ngoc Thanh Nguyen, Leszek Borzemski, Adam Grzech, Moonis Ali.

by Nguyen, Ngoc Thanh | Borzemski, Leszek | Grzech, Adam | Ali, Moonis | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1144. Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt.

by Beckert, Bernhard | Hähnle, Reiner | Schmitt, Peter H | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
1145. Fuzzy Implications [electronic resource] / by Michał Baczyński, Balasubramaniam Jayaram.

by Baczyński, Michał | Jayaram, Balasubramaniam | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1146. Fuzzy Logic in Action: Applications in Epidemiology and Beyond [electronic resource] / by Eduardo Massad, Neli Regina Siqueira Ortega, Laecio Carvalho Barros, Claudio José Struchiner.

by Massad, Eduardo | Ortega, Neli Regina Siqueira | Barros, Laecio Carvalho | Struchiner, Claudio José | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1147. Intelligent Tutoring Systems [electronic resource] : 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008 Proceedings / edited by Beverley P. Woolf, Esma Aïmeur, Roger Nkambou, Susanne Lajoie.

by Woolf, Beverley P | Aïmeur, Esma | Nkambou, Roger | Lajoie, Susanne | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1148. From Animals to Animats 10 [electronic resource] : 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings / edited by Minoru Asada, John C. T. Hallam, Jean-Arcady Meyer, Jun Tani.

by Asada, Minoru | Hallam, John C. T | Meyer, Jean-Arcady | Tani, Jun | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1149. Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock.

by Meyer, Bertrand | Woodcock, Jim | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1150. Neural Information Processing [electronic resource] : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I / edited by Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa.

by Ishikawa, Masumi | Doya, Kenji | Miyamoto, Hiroyuki | Yamakawa, Takeshi | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1151. Neural Information Processing [electronic resource] : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II / edited by Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa.

by Ishikawa, Masumi | Doya, Kenji | Miyamoto, Hiroyuki | Yamakawa, Takeshi | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1152. Intelligence and Security Informatics [electronic resource] : Techniques and Applications / edited by Hsinchun Chen, Christopher C. Yang.

by Chen, Hsinchun | Yang, Christopher C | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1153. Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens.

by Swart, Harrie | Orłowska, Ewa | Schmidt, Gunther | Roubens, Marc | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
1154. Neural Networks: Computational Models and Applications [electronic resource] / by Huajin Tang, Kay Chen Tan, Zhang Yi.

by Tang, Huajin | Tan, Kay Chen | Yi, Zhang | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
1155. Declarative Programming for Knowledge Management [electronic resource] : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers / edited by Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata.

by Umeda, Masanobu | Wolf, Armin | Bartenstein, Oskar | Geske, Ulrich | Seipel, Dietmar | Takata, Osamu | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
1156. Cartesian Impedance Control of Redundant and Flexible-Joint Robots [electronic resource] / by Christian Ott.

by Ott, Christian | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1157. Motion Planning in Medicine: Optimization and Simulation Algorithms for Image-Guided Procedures [electronic resource] / by Ron Alterovitz, Ken Goldberg.

by Alterovitz, Ron | Goldberg, Ken | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1158. Innovative Concepts for Autonomic and Agent-Based Systems [electronic resource] : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers / edited by Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski.

by Hinchey, Michael G | Rago, Patricia | Rash, James L | Rouff, Christopher A | Sterritt, Roy | Truszkowski, Walt | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
1159. Machine Learning for Multimodal Interaction [electronic resource] : Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers / edited by Steve Renals, Samy Bengio, Jonathan G. Fiscus.

by Renals, Steve | Bengio, Samy | Fiscus, Jonathan G | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
1160. Database Theory – ICDT 2007 [electronic resource] : 11th International Conference, Barcelona, Spain, January 10-12, 2007. Proceedings / edited by Thomas Schwentick, Dan Suciu.

by Schwentick, Thomas | Suciu, Dan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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