Your search returned 7989 results. Subscribe to this search

|
2381. Automated Reasoning [electronic resource] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings / edited by Jürgen Giesl, Reiner Hähnle.

by Giesl, Jürgen | Hähnle, Reiner | 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
2382. Fluid Structure Interaction II [electronic resource] : Modelling, Simulation, Optimization / edited by Hans-Joachim Bungartz, Miriam Mehl, Michael Schäfer.

by Bungartz, Hans-Joachim | Mehl, Miriam | Schäfer, 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
2383. Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 7th International Conference, DIMVA 2010, Bonn, Germany, July 8-9, 2010. Proceedings / edited by Christian Kreibich, Marko Jahnke.

by Kreibich, Christian | Jahnke, Marko | 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
2384. Biosystems Engineering I [electronic resource] : Creating Superior Biocatalysts / edited by Christoph Wittmann, Rainer Krull.

by Wittmann, Christoph | Krull, Rainer | 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
2385. The European Central Bank at Ten [electronic resource] / edited by Jakob Haan, Helge Berger.

by Haan, Jakob | Berger, Helge | 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
2386. Hilbert Functions of Filtered Modules [electronic resource] / by Giuseppe Valla, Maria Evelina Rossi.

by Valla, Giuseppe | Rossi, Maria Evelina | 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
2387. New Results in Numerical and Experimental Fluid Mechanics VII [electronic resource] : Contributions to the 16th STAB/DGLR Symposium Aachen, Germany 2008 / edited by Andreas Dillmann, Gerd Heller, Michael Klaas, Hans-Peter Kreplin, Wolfgang Nitsche, Wolfgang Schröder.

by Dillmann, Andreas | Heller, Gerd | Klaas, Michael | Kreplin, Hans-Peter | Nitsche, Wolfgang | Schröder, Wolfgang | 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
2388. Web-Age Information Management [electronic resource] : 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010. Proceedings / edited by Lei Chen, Changjie Tang, Jun Yang, Yunjun Gao.

by Chen, Lei | Tang, Changjie | Yang, Jun | Gao, Yunjun | 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
2389. Geometric Theory of Discrete Nonautonomous Dynamical Systems [electronic resource] / by Christian Pötzsche.

by Pötzsche, 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, 2010Online access: Click here to access online Availability: No items available
2390. Current Topics in Artificial Intelligence [electronic resource] : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers / edited by Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca.

by Meseguer, Pedro | Mandow, Lawrence | Gasca, Rafael 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, 2010Online access: Click here to access online Availability: No items available
2391. Case-Based Reasoning. Research and Development [electronic resource] : 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings / edited by Isabelle Bichindaritz, Stefania Montani.

by Bichindaritz, Isabelle | Montani, Stefania | 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
2392. Privacy and Identity Management for Life [electronic resource] : 5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School, Nice, France, September 7-11, 2009, Revised Selected Papers / edited by Michele Bezzi, Penny Duquenoy, Simone Fischer-Hübner, Marit Hansen, Ge Zhang.

by Bezzi, Michele | Duquenoy, Penny | Fischer-Hübner, Simone | Hansen, Marit | Zhang, Ge | 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
2393. Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz.

by Aloni, Maria | Bastiaanse, Harald | Jager, Tikitu | Schulz, Katrin | 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
2394. Networked Digital Technologies [electronic resource] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part I / edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.

by Zavoral, Filip | Yaghob, Jakub | Pichappan, Pit | El-Qawasmeh, Eyas | 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
2395. Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson.

by Touili, Tayssir | Cook, Byron | Jackson, Paul | 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
2396. Transactions on Data Hiding and Multimedia Security V [electronic resource] / edited by Yun Q. Shi.

by Shi, Yun Q | 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
2397. Efficient Secure Two-Party Protocols [electronic resource] : Techniques and Constructions / by Carmit Hazay, Yehuda Lindell.

by Hazay, Carmit | Lindell, Yehuda | 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
2398. Networked Digital Technologies [electronic resource] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part II / edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.

by Zavoral, Filip | Yaghob, Jakub | Pichappan, Pit | El-Qawasmeh, Eyas | 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
2399. A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP / edited by Agostino Dovier, Enrico Pontelli.

by Dovier, Agostino | Pontelli, Enrico | 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
2400. Advanced Statistical Steganalysis [electronic resource] / by Rainer Böhme.

by Böhme, Rainer | 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