Your search returned 23186 results. Subscribe to this search

|
9281. Logic, Language, Information and Computation [electronic resource] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / edited by Anuj Dawar, Ruy Queiroz.

by Dawar, Anuj | Queiroz, Ruy | 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
9282. Inductive Logic Programming [electronic resource] : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers / edited by Luc Raedt.

by Raedt, Luc | 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
9283. Fast Software Encryption [electronic resource] : 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers / edited by Seokhie Hong, Tetsu Iwata.

by Hong, Seokhie | Iwata, Tetsu | 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
9284. Computer Networks [electronic resource] : 17th Conference, CN 2010, Ustroń, Poland, June 15-19, 2010. Proceedings / edited by Andrzej Kwiecień, Piotr Gaj, Piotr Stera.

by Kwiecień, Andrzej | Gaj, Piotr | Stera, Piotr | 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
9285. Trust and Trustworthy Computing [electronic resource] : Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010. Proceedings / edited by Alessandro Acquisti, Sean W. Smith, Ahmad-Reza Sadeghi.

by Acquisti, Alessandro | Smith, Sean W | Sadeghi, Ahmad-Reza | 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
9286. High Performance Computing in Science and Engineering, Garching/Munich 2009 [electronic resource] : Transactions of the Fourth Joint HLRB and KONWIHR Review and Results Workshop, Dec. 8-9, 2009, Leibniz Supercomputing Centre, Garching/Munich, Germany / edited by Siegfried Wagner, Matthias Steinmetz, Arndt Bode, Markus Michael Müller.

by Wagner, Siegfried | Steinmetz, Matthias | Bode, Arndt | Müller, Markus Michael | 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
9287. Strategic Social Choice [electronic resource] : Stable Representations of Constitutions / by Bezalel Peleg, Hans Peters.

by Peleg, Bezalel | Peters, Hans | 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
9288. Natural Language Processing and Information Systems [electronic resource] : 15th International Conference on Applications of Natural Language to Information Systems, NLDB 2010, Cardiff, UK, June 23-25, 2010. Proceedings / edited by Christina J. Hopfe, Yacine Rezgui, Elisabeth Métais, Alun Preece, Haijiang Li.

by Hopfe, Christina J | Rezgui, Yacine | Métais, Elisabeth | Preece, Alun | Li, Haijiang | 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
9289. Oil and Gas Resources in China: A Roadmap to 2050 [electronic resource] / edited by Guangding Liu, Changchun Yang, Tianyao Hao, Xiaorong Luo.

by Liu, Guangding | Yang, Changchun | Hao, Tianyao | Luo, Xiaorong | 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
9290. Web Engineering [electronic resource] : 10th International Conference, ICWE 2010, Vienna Austria, July 5-9, 2010. Proceedings / edited by Boualem Benatallah, Fabio Casati, Gerti Kappel, Gustavo Rossi.

by Benatallah, Boualem | Casati, Fabio | Kappel, Gerti | Rossi, Gustavo | 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
9291. Induction Accelerators [electronic resource] / edited by Ken Takayama, Richard J. Briggs.

by Takayama, Ken | Briggs, Richard 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, 2011Online access: Click here to access online Availability: No items available
9292. Medical Biometrics [electronic resource] : Second International Conference, ICMB 2010, Hong Kong, China, June 28-30, 2010. Proceedings / edited by David Zhang, Milan Sonka.

by Zhang, David | Sonka, Milan | 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
9293. Risk Management and Governance [electronic resource] : Concepts, Guidelines and Applications / by Terje Aven, Ortwin Renn.

by Aven, Terje | Renn, Ortwin | 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
9294. Process Management [electronic resource] : Why Project Management Fails in Complex Decision Making Processes / by Hans de Bruijn, Ernst ten Heuvelhof, Roel in 't Veld.

by de Bruijn, Hans | ten Heuvelhof, Ernst | in 't Veld, Roel | 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
9295. Progress in Artificial Economics [electronic resource] : Computational and Agent-Based Models / edited by Marco Li Calzi, Lucia Milone, Paolo Pellizzari.

by Li Calzi, Marco | Milone, Lucia | Pellizzari, Paolo | 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
9296. Objects, Models, Components, Patterns [electronic resource] : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings / edited by Jan Vitek.

by Vitek, Jan | 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
9297. Programs, Proofs, Processes [electronic resource] : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings / edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes.

by Ferreira, Fernando | Löwe, Benedikt | Mayordomo, Elvira | Mendes Gomes, Luí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
9298. Essential Building Blocks of Human Nature [electronic resource] / edited by Ulrich J. Frey, Charlotte Störmer, Kai P. Willführ.

by Frey, Ulrich J | Störmer, Charlotte | Willführ, Kai P | 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
9299. Networked Services and Applications - Engineering, Control and Management [electronic resource] : 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings / edited by Finn Arve Aagesen, Svein Johan Knapskog.

by Aagesen, Finn Arve | Knapskog, Svein Johan | 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
9300. Tests and Proofs [electronic resource] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings / edited by Gordon Fraser, Angelo Gargantini.

by Fraser, Gordon | Gargantini, Angelo | 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