Your search returned 10041 results. Subscribe to this search

|
4361. Foundations of Computer Software. Future Trends and Techniques for Development [electronic resource] : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers / edited by Christine Choppy, Oleg Sokolsky.

by Choppy, Christine | Sokolsky, Oleg | 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
4362. Logic-Based Program Synthesis and Transformation [electronic resource] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / edited by Danny Schreye.

by Schreye, Danny | 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
4363. Ethics and Policy of Biometrics [electronic resource] : Third International Conference on Ethics and Policy of Biometrics and International Data Sharing, ICEB 2010, Hong Kong, January 4-5, 2010. Revised Papers / edited by Ajay Kumar, David Zhang.

by Kumar, Ajay | Zhang, David | 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
4364. Characterization and Design of Zeolite Catalysts [electronic resource] : Solid Acidity, Shape Selectivity and Loading Properties / by Miki Niwa, Naonobu Katada, Kazu Okumura.

by Niwa, Miki | Katada, Naonobu | Okumura, Kazu | 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
4365. Three-Dimensional Model Analysis and Processing [electronic resource] / by Faxin Yu, Hao Luo, Zheming Lu, Pinghui Wang.

by Yu, Faxin | Luo, Hao | Lu, Zheming | Wang, Pinghui | 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
4366. Pervasive Computing [electronic resource] : 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings / edited by Patrik Floréen, Antonio Krüger, Mirjana Spasojevic.

by Floréen, Patrik | Krüger, Antonio | Spasojevic, Mirjana | 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
4367. High Performance Computing Systems and Applications [electronic resource] : 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009, Revised Selected Papers / edited by Douglas J. K. Mewhort, Natalie M. Cann, Gary W. Slater, Thomas J. Naughton.

by Mewhort, Douglas J. K | Cann, Natalie M | Slater, Gary W | Naughton, Thomas J | 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
4368. Progress in Cryptology – AFRICACRYPT 2010 [electronic resource] : Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010. Proceedings / edited by Daniel J. Bernstein, Tanja Lange.

by Bernstein, Daniel J | Lange, Tanja | 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
4369. Research in Computational Molecular Biology [electronic resource] : 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010. Proceedings / edited by Bonnie Berger.

by Berger, Bonnie | 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
4370. Computational Modeling of Objects Represented in Images [electronic resource] : Second International Symposium, CompIMAGE 2010, Buffalo, NY, USA, May 5-7, 2010. Proceedings / edited by Reneta P. Barneva, Valentin E. Brimkov, Herbert A. Hauptman, Renato M. Natal Jorge, João Manuel R. S. Tavares.

by Barneva, Reneta P | Brimkov, Valentin E | Hauptman, Herbert A | Natal Jorge, Renato M | Tavares, João Manuel R. S | 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
4371. Hamiltonian Chaos Beyond the KAM Theory [electronic resource] : Dedicated to George M. Zaslavsky (1935–2008) / edited by Albert C. J. Luo, Valentin Afraimovich.

by Luo, Albert C. J | Afraimovich, Valentin | 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
4372. Energy Flows, Material Cycles and Global Development [electronic resource] : A Process Engineering Approach to the Earth System / by Georg Schaub, Thomas Turek.

by Schaub, Georg | Turek, Thomas | 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
4373. Residential Location Choice [electronic resource] : Models and Applications / edited by Francesca Pagliara, John Preston, David Simmonds.

by Pagliara, Francesca | Preston, John | Simmonds, David | 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
4374. Argumentation in Multi-Agent Systems [electronic resource] : 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers / edited by Peter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet.

by McBurney, Peter | Rahwan, Iyad | Parsons, Simon | Maudet, Nicolas | 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
4375. Information Security, Practice and Experience [electronic resource] : 6th International Conference, ISPEC 2010, Seoul, Korea, May 12-13, 2010. Proceedings / edited by Jin Kwak, Robert H. Deng, Yoojae Won, Guilin Wang.

by Kwak, Jin | Deng, Robert H | Won, Yoojae | Wang, Guilin | 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
4376. Semantic Processing of Legal Texts [electronic resource] : Where the Language of Law Meets the Law of Language / edited by Enrico Francesconi, Simonetta Montemagni, Wim Peters, Daniela Tiscornia.

by Francesconi, Enrico | Montemagni, Simonetta | Peters, Wim | Tiscornia, Daniela | 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
4377. Artificial Intelligence: Theories, Models and Applications [electronic resource] : 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings / edited by Stasinos Konstantopoulos, Stavros Perantonis, Vangelis Karkaletsis, Constantine D. Spyropoulos, George Vouros.

by Konstantopoulos, Stasinos | Perantonis, Stavros | Karkaletsis, Vangelis | Spyropoulos, Constantine D | Vouros, George | 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
4378. Modern Techniques for Nano- and Microreactors/-reactions [electronic resource] / edited by Frank Caruso.

by Caruso, Frank | 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
4379. Complex Macromolecular Systems I [electronic resource] / edited by Axel H. E. Müller, Hans-Werner Schmidt.

by Müller, Axel H. E | Schmidt, Hans-Werner | 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
4380. Complex Macromolecular Systems II [electronic resource] / edited by Axel H. E. Müller, Hans-Werner Schmidt.

by Müller, Axel H. E | Schmidt, Hans-Werner | 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