|
|
6501.
|
Reasoning Web. Semantic Technologies for Software Engineering [electronic resource] : 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures / edited by Uwe Aßmann, Andreas Bartho, Christian Wende.
by Aßmann, Uwe | Bartho, Andreas | Wende, Christian | 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
|
|
|
6502.
|
Secure Data Management [electronic resource] : 7th VLDB Workshop, SDM 2010, Singapore, September 17, 2010. Proceedings / edited by Willem Jonker, Milan Petković.
by Jonker, Willem | Petković, Milan | 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
|
|
|
6503.
|
Computer Vision – ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part I / edited by Kostas Daniilidis, Petros Maragos, Nikos Paragios.
by Daniilidis, Kostas | Maragos, Petros | Paragios, Nikos | 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
|
|
|
6504.
|
Computer Vision – ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part II / edited by Kostas Daniilidis, Petros Maragos, Nikos Paragios.
by Daniilidis, Kostas | Maragos, Petros | Paragios, Nikos | 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
|
|
|
6505.
|
Computer Vision – ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part V / edited by Kostas Daniilidis, Petros Maragos, Nikos Paragios.
by Daniilidis, Kostas | Maragos, Petros | Paragios, Nikos | 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
|
|
|
6506.
|
Computer Vision – ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part III / edited by Kostas Daniilidis, Petros Maragos, Nikos Paragios.
by Daniilidis, Kostas | Maragos, Petros | Paragios, Nikos | 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
|
|
|
6507.
|
Computer Vision – ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV / edited by Kostas Daniilidis, Petros Maragos, Nikos Paragios.
by Daniilidis, Kostas | Maragos, Petros | Paragios, Nikos | 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
|
|
|
6508.
|
Computer Vision – ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part VI / edited by Kostas Daniilidis, Petros Maragos, Nikos Paragios.
by Daniilidis, Kostas | Maragos, Petros | Paragios, Nikos | 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
|
|
|
6509.
|
Empirical Methods in Natural Language Generation [electronic resource] : Data-oriented Methods and Empirical Evaluation / edited by Emiel Krahmer, Mariët Theune.
by Krahmer, Emiel | Theune, Mariët | 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
|
|
|
6510.
|
Advances in Databases and Information Systems [electronic resource] : 14th East European Conference, ADBIS 2010, Novi Sad, Serbia, September 20-24, 2010. Proceedings / edited by Barbara Catania, Mirjana Ivanović, Bernhard Thalheim.
by Catania, Barbara | Ivanović, Mirjana | Thalheim, Bernhard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
6511.
|
Software Product Lines: Going Beyond [electronic resource] : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings / edited by Jan Bosch, Jaejoon Lee.
by Bosch, Jan | Lee, Jaejoon | 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
|
|
|
6512.
|
Mathematical Software – ICMS 2010 [electronic resource] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings / edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama.
by Fukuda, Komei | Hoeven, Joris van der | Joswig, Michael | Takayama, Nobuki | 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
|
|
|
6513.
|
Testing – Practice and Research Techniques [electronic resource] : 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings / edited by Leonardo Bottaci, Gordon Fraser.
by Bottaci, Leonardo | Fraser, Gordon | 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
|
|
|
6514.
|
Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II / edited by Kang Li, Minrui Fei, Li Jia, George W. Irwin.
by Li, Kang | Fei, Minrui | Jia, Li | Irwin, George W | 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
|
|
|
6515.
|
Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III / edited by Kang Li, Li Jia, Xin Sun, Minrui Fei, George W. Irwin.
by Li, Kang | Jia, Li | Sun, Xin | Fei, Minrui | Irwin, George W | 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
|
|
|
6516.
|
Business Process Management [electronic resource] : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings / edited by Richard Hull, Jan Mendling, Stefan Tai.
by Hull, Richard | Mendling, Jan | Tai, Stefan | 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
|
|
|
6517.
|
Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part I / edited by Kang Li, Minrui Fei, Li Jia, George W. Irwin.
by Li, Kang | Fei, Minrui | Jia, Li | Irwin, George W | 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
|
|
|
6518.
|
Trustworthly Global Computing [electronic resource] : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers / edited by Martin Wirsing, Martin Hofmann, Axel Rauschmayer.
by Wirsing, Martin | Hofmann, Martin | Rauschmayer, Axel | 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
|
|
|
6519.
|
Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings / edited by Ahmed Bouajjani, Wei-Ngan Chin.
by Bouajjani, Ahmed | Chin, Wei-Ngan | 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
|
|
|
6520.
|
Recent Advances in the Message Passing Interface [electronic resource] : 17th European MPI Users’ Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings / edited by Rainer Keller, Edgar Gabriel, Michael Resch, Jack Dongarra.
by Keller, Rainer | Gabriel, Edgar | Resch, Michael | Dongarra, Jack | 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
|
