Your search returned 23186 results. Subscribe to this search

|
8261. Formal Methods for Web Services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures / edited by Marco Bernardo, Luca Padovani, Gianluigi Zavattaro.

by Bernardo, Marco | Padovani, Luca | Zavattaro, Gianluigi | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
8262. Reliable Software Technologies – Ada-Europe 2009 [electronic resource] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings / edited by Fabrice Kordon, Yvon Kermarrec.

by Kordon, Fabrice | Kermarrec, Yvon | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
8263. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings / edited by Willem-Jan Hoeve, John N. Hooker.

by Hoeve, Willem-Jan | Hooker, John N | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
8264. Functional Imaging and Modeling of the Heart [electronic resource] : 5th International Conference, FIMH 2009, Nice, France, June 3-5, 2009. Proceedings / edited by Nicholas Ayache, Hervé Delingette, Maxime Sermesant.

by Ayache, Nicholas | Delingette, Hervé | Sermesant, Maxime | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
8265. Mapping Geomorphological Environments [electronic resource] / by Kosmas Pavlopoulos, Niki Evelpidou, Andreas Vassilopoulos.

by Pavlopoulos, Kosmas | Evelpidou, Niki | Vassilopoulos, Andreas | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
8266. Applied Cryptography and Network Security [electronic resource] : 7th International Conference, ACNS 2009, Paris-Rocquencourt, France, June 2-5, 2009. Proceedings / edited by Michel Abdalla, David Pointcheval, Pierre-Alain Fouque, Damien Vergnaud.

by Abdalla, Michel | Pointcheval, David | Fouque, Pierre-Alain | Vergnaud, Damien | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
8267. Algorithmic Algebraic Combinatorics and Gröbner Bases [electronic resource] / edited by Mikhail Klin, Gareth A. Jones, Aleksandar Jurišić, Mikhail Muzychuk, Ilia Ponomarenko.

by Klin, Mikhail | Jones, Gareth A | Jurišić, Aleksandar | Muzychuk, Mikhail | Ponomarenko, Ilia | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
8268. Computational Science – ICCS 2009 [electronic resource] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I / edited by Gabrielle Allen, Jarosław Nabrzyski, Edward Seidel, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot.

by Allen, Gabrielle | Nabrzyski, Jarosław | Seidel, Edward | Albada, Geert Dick | Dongarra, Jack | Sloot, Peter M. A | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
8269. Computational Science – ICCS 2009 [electronic resource] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II / edited by Gabrielle Allen, Jarosław Nabrzyski, Edward Seidel, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot.

by Allen, Gabrielle | Nabrzyski, Jarosław | Seidel, Edward | Albada, Geert Dick | Dongarra, Jack | Sloot, Peter M. A | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
8270. Perspectives on Spatial Data Analysis [electronic resource] / edited by Luc Anselin, Sergio J. Rey.

by Anselin, Luc | Rey, Sergio 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
8271. Handbook on Business Process Management 2 [electronic resource] : Strategic Alignment, Governance, People and Culture / edited by Jan vom Brocke, Michael Rosemann.

by vom Brocke, Jan | Rosemann, 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
8272. Multi-Agent-Based Simulation IX [electronic resource] : International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers / edited by Nuno David, Jaime Simão Sichman.

by David, Nuno | Sichman, Jaime Simão | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
8273. Formal to Practical Security [electronic resource] : Papers Issued from the 2005-2008 French-Japanese Collaboration / edited by Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada.

by Cortier, Véronique | Kirchner, Claude | Okada, Mitsuhiro | Sakurada, Hideki | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
8274. Research in Computational Molecular Biology [electronic resource] : 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings / edited by Serafim Batzoglou.

by Batzoglou, Serafim | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
8275. Experimental Algorithms [electronic resource] : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings / edited by Jan Vahrenhold.

by Vahrenhold, 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, 2009Online access: Click here to access online Availability: No items available
8276. Dictionary of Weighing Terms [electronic resource] : A Guide to the Terminology of Weighing / by Roland Nater, Arthur Reichmuth, Roman Schwartz, Michael Borys, Panagiotis Zervos.

by Nater, Roland | Reichmuth, Arthur | Schwartz, Roman | Borys, Michael | Zervos, Panagiotis | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
8277. Theory and Applications of Models of Computation [electronic resource] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings / edited by Jianer Chen, S. Barry Cooper.

by Chen, Jianer | Cooper, S. Barry | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
8278. Combinatorial Optimization and Applications [electronic resource] : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings / edited by Ding-Zhu Du, Xiaodong Hu, Panos M. Pardalos.

by Du, Ding-Zhu | Hu, Xiaodong | Pardalos, Panos 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, 2009Online access: Click here to access online Availability: No items available
8279. Graph Theory, Computational Intelligence and Thought [electronic resource] : Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday / edited by Marina Lipshteyn, Vadim E. Levit, Ross M. McConnell.

by Lipshteyn, Marina | Levit, Vadim E | McConnell, Ross 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, 2009Online access: Click here to access online Availability: No items available
8280. Open Source Ecosystems: Diverse Communities Interacting [electronic resource] : 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden, June 3-6, 2009. Proceedings / edited by Cornelia Boldyreff, Kevin Crowston, Björn Lundell, Anthony I. Wasserman.

by Boldyreff, Cornelia | Crowston, Kevin | Lundell, Björn | Wasserman, Anthony I | SpringerLink (Online service).

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