|
|
10421.
|
Computer Safety, Reliability, and Security [electronic resource] : 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings / edited by Francesco Flammini, Sandro Bologna, Valeria Vittorini.
by Flammini, Francesco | Bologna, Sandro | Vittorini, Valeria | 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
|
|
|
10422.
|
Emerging Research in Web Information Systems and Mining [electronic resource] : International Conference, WISM 2011, Taiyuan, China, September 23-25, 2011. Proceedings / edited by Gong Zhiguo, Xiangfeng Luo, Junjie Chen, Fu Lee Wang, Jingsheng Lei.
by Zhiguo, Gong | Luo, Xiangfeng | Chen, Junjie | Wang, Fu Lee | Lei, Jingsheng | 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
|
|
|
10423.
|
Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers / edited by Jurriaan Hage, Marco T. Morazán.
by Hage, Jurriaan | Morazán, Marco T | 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
|
|
|
10424.
|
Modeling and Using Context [electronic resource] : 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings / edited by Michael Beigl, Henning Christiansen, Thomas R. Roth-Berghofer, Anders Kofod-Petersen, Kenny R. Coventry, Hedda R. Schmidtke.
by Beigl, Michael | Christiansen, Henning | Roth-Berghofer, Thomas R | Kofod-Petersen, Anders | Coventry, Kenny R | Schmidtke, Hedda R | 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
|
|
|
10425.
|
Emerging Research in Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2011, Taiyuan, China, September 23-25, 2011. Proceedings / edited by Hepu Deng, Duoqian Miao, Fu Lee Wang, Jingsheng Lei.
by Deng, Hepu | Miao, Duoqian | Wang, Fu Lee | Lei, Jingsheng | 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
|
|
|
10426.
|
Reachability Problems [electronic resource] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / edited by Giorgio Delzanno, Igor Potapov.
by Delzanno, Giorgio | Potapov, Igor | 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
|
|
|
10427.
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings / edited by Uli Fahrenberg, Stavros Tripakis.
by Fahrenberg, Uli | Tripakis, Stavros | 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
|
|
|
10428.
|
Provable Security [electronic resource] : 5th International Conference, ProvSec 2011, Xi’an, China, October 16-18, 2011. Proceedings / edited by Xavier Boyen, Xiaofeng Chen.
by Boyen, Xavier | Chen, Xiaofeng | 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
|
|
|
10429.
|
Machine Learning in Medical Imaging [electronic resource] : Second International Workshop, MLMI 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings / edited by Kenji Suzuki, Fei Wang, Dinggang Shen, Pingkun Yan.
by Suzuki, Kenji | Wang, Fei | Shen, Dinggang | Yan, Pingkun | 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
|
|
|
10430.
|
ENTERprise Information Systems [electronic resource] : International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part III / edited by Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho.
by Cruz-Cunha, Maria Manuela | Varajão, João | Powell, Philip | Martinho, Ricardo | 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
|
|
|
10431.
|
ENTERprise Information Systems [electronic resource] : International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part II / edited by Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho.
by Cruz-Cunha, Maria Manuela | Varajão, João | Powell, Philip | Martinho, Ricardo | 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
|
|
|
10432.
|
ENTERprise Information Systems [electronic resource] : International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011, Proceedings, Part I / edited by Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho.
by Cruz-Cunha, Maria Manuela | Varajão, João | Powell, Philip | Martinho, Ricardo | 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
|
|
|
10433.
|
Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings / edited by Cesare Tinelli, Viorica Sofronie-Stokkermans.
by Tinelli, Cesare | Sofronie-Stokkermans, Viorica | 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
|
|
|
10434.
|
Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings / edited by Tevfik Bultan, Pao-Ann Hsiung.
by Bultan, Tevfik | Hsiung, Pao-Ann | 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
|
|
|
10435.
|
Mapping of Parent Hamiltonians [electronic resource] : From Abelian and non-Abelian Quantum Hall States to Exact Models of Critical Spin Chains / by Martin Greiter.
by Greiter, Martin | 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
|
|
|
10436.
|
Photogrammetric Image Analysis [electronic resource] : ISPRS Conference, PIA 2011, Munich, Germany, October 5-7, 2011. Proceedings / edited by Uwe Stilla, Franz Rottensteiner, Helmut Mayer, Boris Jutzi, Matthias Butenuth.
by Stilla, Uwe | Rottensteiner, Franz | Mayer, Helmut | Jutzi, Boris | Butenuth, Matthias | 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
|
|
|
10437.
|
Web Information Systems Engineering – WISE 2010 Workshops [electronic resource] : WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010, Revised Selected Papers / edited by Dickson K. W. Chiu, Ladjel Bellatreche, Hideyasu Sasaki, Ho-fung Leung, Shing-Chi Cheung, Haiyang Hu, Jie Shao.
by Chiu, Dickson K. W | Bellatreche, Ladjel | Sasaki, Hideyasu | Leung, Ho-fung | Cheung, Shing-Chi | Hu, Haiyang | Shao, Jie | 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
|
|
|
10438.
|
Network and Parallel Computing [electronic resource] : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings / edited by Erik Altman, Weisong Shi.
by Altman, Erik | Shi, Weisong | 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
|
|
|
10439.
|
Algorithmic Learning Theory [electronic resource] : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings / edited by Jyrki Kivinen, Csaba Szepesvári, Esko Ukkonen, Thomas Zeugmann.
by Kivinen, Jyrki | Szepesvári, Csaba | Ukkonen, Esko | Zeugmann, Thomas | 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
|
|
|
10440.
|
Open Source Systems: Grounding Research [electronic resource] : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011. Proceedings / edited by Scott A. Hissam, Barbara Russo, Manoel G. Mendonça Neto, Fabio Kon.
by Hissam, Scott A | Russo, Barbara | Mendonça Neto, Manoel G | Kon, Fabio | 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
|
