|
|
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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|