Your search returned 19172 results. Subscribe to this search

|
18181. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Javier Esparza, Rupak Majumdar.

by Esparza, Javier [editor.] | Majumdar, Rupak [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, 2010Online access: Click here to access online Availability: No items available
18182. IEC 61131-3: Programming Industrial Automation Systems [electronic resource] : Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids / by Karl Heinz John, Michael Tiegelkamp.

by John, Karl Heinz [author.] | Tiegelkamp, Michael [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, 2010Online access: Click here to access online Availability: No items available
18183. The Third International Conference on the Development of Biomedical Engineering in Vietnam [electronic resource] : BME2010, 11–14 January, 2010, Ho Chi Minh City, Vietnam / edited by Vo Toi, Truong Quang Dang Khoa.

by Toi, Vo [editor.] | Khoa, Truong Quang Dang [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, 2010Online access: Click here to access online Availability: No items available
18184. Database Systems for Advanced Applications [electronic resource] : 15th International Conference, DASFAA 2010, Tsukuba, Japan, April 1-4, 2010, Proceedings, Part I / edited by Hiroyuki Kitagawa, Yoshiharu Ishikawa, Qing Li, Chiemi Watanabe.

by Kitagawa, Hiroyuki [editor.] | Ishikawa, Yoshiharu [editor.] | Li, Qing [editor.] | Watanabe, Chiemi [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, 2010Online access: Click here to access online Availability: No items available
18185. Fundamental Approaches to Software Engineering [electronic resource] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by David S. Rosenblum, Gabriele Taentzer.

by Rosenblum, David S [editor.] | Taentzer, Gabriele [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, 2010Online access: Click here to access online Availability: No items available
18186. Foundations of Software Science and Computational Structures [electronic resource] : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Luke Ong.

by Ong, Luke [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, 2010Online access: Click here to access online Availability: No items available
18187. Information Systems, Technology and Management [electronic resource] : 4th International Conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010. Proceedings / edited by Sushil K. Prasad, Harrick M. Vin, Sartaj Sahni, Mahadeo P. Jaiswal, Bundit Thipakorn.

by Prasad, Sushil K [editor.] | Vin, Harrick M [editor.] | Sahni, Sartaj [editor.] | Jaiswal, Mahadeo P [editor.] | Thipakorn, Bundit [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, 2010Online access: Click here to access online Availability: No items available
18188. Databases in Networked Information Systems [electronic resource] : 6th International Workshop, DNIS 2010, Aizu-Wakamatsu, Japan, March 29-31, 2010. Proceedings / edited by Shinji Kikuchi, Shelly Sachdeva, Subhash Bhalla.

by Kikuchi, Shinji [editor.] | Sachdeva, Shelly [editor.] | Bhalla, Subhash [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, 2010Online access: Click here to access online Availability: No items available
18189. Price Regulation and Risk [electronic resource] : The Impact of Regulation System Shifts on Risk Components / by Michael Hierzenberger.

by Hierzenberger, Michael [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, 2010Online access: Click here to access online Availability: No items available
18190. Production Engineering and Management under Fuzziness [electronic resource] / edited by Cengiz Kahraman, Mesut Yavuz.

by Kahraman, Cengiz [editor.] | Yavuz, Mesut [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, 2010Online access: Click here to access online Availability: No items available
18191. Shapes and Diffeomorphisms [electronic resource] / by Laurent Younes.

by Younes, Laurent [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, 2010Online access: Click here to access online Availability: No items available
18192. Innovative Technological Materials [electronic resource] : Structural Properties by Neutron Scattering, Synchrotron Radiation and Modeling / edited by Jacek J. Skrzypek, Franco Rustichelli.

by Skrzypek, Jacek J [editor.] | Rustichelli, Franco [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, 2010Online access: Click here to access online Availability: No items available
18193. Roots of Modern Technology [electronic resource] : An Elegant Survey of the Basic Mathematical and Scientific Concepts / by Siegfried Wendt.

by Wendt, Siegfried [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, 2010Online access: Click here to access online Availability: No items available
18194. Energy, Natural Resources and Environmental Economics [electronic resource] / edited by Endre Bjørndal, Mette Bjørndal, Panos M. Pardalos, Mikael Rönnqvist.

by Bjørndal, Endre [editor.] | Bjørndal, Mette [editor.] | Pardalos, Panos M [editor.] | Rönnqvist, Mikael [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, 2010Online access: Click here to access online Availability: No items available
18195. Trends in Nanophysics [electronic resource] : Theory, Experiment and Technology / edited by Victor Bârsan, Alexandru Aldea.

by Bârsan, Victor [editor.] | Aldea, Alexandru [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, 2010Online access: Click here to access online Availability: No items available
18196. C-X Bond Formation [electronic resource] / edited by Arkadi Vigalok.

by Vigalok, Arkadi [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, 2010Online access: Click here to access online Availability: No items available
18197. Advances in Social Computing [electronic resource] : Third International Conference on Social Computing, Behavioral Modeling, and Prediction, SBP 2010, Bethesda, MD, USA, March 30-31, 2010. Proceedings / edited by Sun-Ki Chai, John J. Salerno, Patricia L. Mabry.

by Chai, Sun-Ki [editor.] | Salerno, John J [editor.] | Mabry, Patricia L [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, 2010Online access: Click here to access online Availability: No items available
18198. Advances in Databases and Information Systems [electronic resource] : Associated Workshops and Doctoral Consortium of the 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009. Revised Selected Papers / edited by Janis Grundspenkis, Marite Kirikova, Yannis Manolopoulos, Leonids Novickis.

by Grundspenkis, Janis [editor.] | Kirikova, Marite [editor.] | Manolopoulos, Yannis [editor.] | Novickis, Leonids [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, 2010Online access: Click here to access online Availability: No items available
18199. Seventy Years of Exploration in Oceanography [electronic resource] : A Prolonged Weekend Discussion with Walter Munk / by Hans Storch, Klaus Hasselmann.

by Storch, Hans [author.] | Hasselmann, Klaus [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, 2010Online access: Click here to access online Availability: No items available
18200. Advances in Intelligent Information and Database Systems [electronic resource] / edited by Ngoc Thanh Nguyen, Radosław Katarzyniak, Shyi-Ming Chen.

by Nguyen, Ngoc Thanh [editor.] | Katarzyniak, Radosław [editor.] | Chen, Shyi-Ming [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, 2010Online 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