Your search returned 13655 results. Subscribe to this search

|
5421. Hardware and Software: Verification and Testing [electronic resource] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings / edited by Hana Chockler, Alan J. Hu.

by Chockler, Hana | Hu, Alan 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, 2009Online access: Click here to access online Availability: No items available
5422. Knowledge Acquisition: Approaches, Algorithms and Applications [electronic resource] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers / edited by Debbie Richards, Byeong-Ho Kang.

by Richards, Debbie | Kang, Byeong-Ho | 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
5423. Privacy, Security, and Trust in KDD [electronic resource] : Second ACM SIGKDD International Workshop, PinKDD 2008, Las Vegas, NV, USA, August 24, 2008, Revised Selected Papers / edited by Francesco Bonchi, Elena Ferrari, Wei Jiang, Bradley Malin.

by Bonchi, Francesco | Ferrari, Elena | Jiang, Wei | Malin, Bradley | 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
5424. Location and Context Awareness [electronic resource] : 4th International Symposium, LoCA 2009 Tokyo, Japan, May 7-8, 2009 Proceedings / edited by Tanzeem Choudhury, Aaron Quigley, Thomas Strang, Koji Suginuma.

by Choudhury, Tanzeem | Quigley, Aaron | Strang, Thomas | Suginuma, Koji | 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
5425. 3D Computer Vision [electronic resource] : Efficient Methods and Applications / by Christian Wöhler.

by Wöhler, 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, 2009Online access: Click here to access online Availability: No items available
5426. Languages: From Formal to Natural [electronic resource] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner.

by Grumberg, Orna | Kaminski, Michael | Katz, Shmuel | Wintner, Shuly | 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
5427. Transactions on Data Hiding and Multimedia Security IV [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, 2009Online access: Click here to access online Availability: No items available
5428. Symplectic Geometric Algorithms for Hamiltonian Systems [electronic resource] / by Kang Feng, Mengzhao Qin.

by Feng, Kang | Qin, Mengzhao | 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
5429. HPC@Green IT [electronic resource] : Green High Performance Computing Methods / by Ralf Gruber, Vincent Keller.

by Gruber, Ralf | Keller, Vincent | 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
5430. Advances in Biometrics [electronic resource] : Third International Conference, ICB 2009, Alghero, Italy, June 2-5, 2009. Proceedings / edited by Massimo Tistarelli, Mark S. Nixon.

by Tistarelli, Massimo | Nixon, Mark 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, 2009Online access: Click here to access online Availability: No items available
5431. Network Economics for Next Generation Networks [electronic resource] : 6th International Workshop on Internet Charging and Qos Technologies, ICQT 2009, Aachen, Germany, May 11-15, 2009. Proceedings / edited by Peter Reichl, Burkhard Stiller, Bruno Tuffin.

by Reichl, Peter | Stiller, Burkhard | Tuffin, Bruno | 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
5432. MobileWireless Middleware, Operating Systems, and Applications [electronic resource] : Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings / edited by Jean-Marie Bonnin, Carlo Giannelli, Thomas Magedanz.

by Bonnin, Jean-Marie | Giannelli, Carlo | Magedanz, 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, 2009Online access: Click here to access online Availability: No items available
5433. Similarity-Based Clustering [electronic resource] : Recent Developments and Biomedical Applications / edited by Michael Biehl, Barbara Hammer, Michel Verleysen, Thomas Villmann.

by Biehl, Michael | Hammer, Barbara | Verleysen, Michel | Villmann, 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, 2009Online access: Click here to access online Availability: No items available
5434. Computer Vision/Computer Graphics CollaborationTechniques [electronic resource] : 4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009. Proceedings / edited by André Gagalowicz, Wilfried Philips.

by Gagalowicz, André | Philips, Wilfried | 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
5435. Formal Concept Analysis [electronic resource] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings / edited by Sébastien Ferré, Sebastian Rudolph.

by Ferré, Sébastien | Rudolph, Sebastian | 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
5436. Advances in Artificial Intelligence [electronic resource] : 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009 Kelowna, Canada, May 25-27, 2009 Proceedings / edited by Yong Gao, Nathalie Japkowicz.

by Gao, Yong | Japkowicz, Nathalie | 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
5437. The Future of Identity in the Information Society [electronic resource] / edited by Kai Rannenberg, Denis Royer, André Deuker.

by Rannenberg, Kai | Royer, Denis | Deuker, André | 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
5438. Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings / edited by Pekka Abrahamsson, Michele Marchesi, Frank Maurer.

by Abrahamsson, Pekka | Marchesi, Michele | Maurer, 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, 2009Online access: Click here to access online Availability: No items available
5439. Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers / edited by Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio.

by Berkling, Kay | Joseph, Mathai | Meyer, Bertrand | Nordio, Martin | 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
5440. Enterprise, Business-Process and Information Systems Modeling [electronic resource] : 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings / edited by Terry Halpin, John Krogstie, Selmin Nurcan, Erik Proper, Rainer Schmidt, Pnina Soffer, Roland Ukor.

by Halpin, Terry | Krogstie, John | Nurcan, Selmin | Proper, Erik | Schmidt, Rainer | Soffer, Pnina | Ukor, Roland | 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