|
|
1361.
|
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
|
|
|
1362.
|
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
|
|
|
1363.
|
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
|
|
|
1364.
|
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
|
|
|
1365.
|
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
|
|
|
1366.
|
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
|
|
|
1367.
|
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
|
|
|
1368.
|
Model and Data Engineering [electronic resource] : First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings / edited by Ladjel Bellatreche, Filipe Mota Pinto.
by Bellatreche, Ladjel | Mota Pinto, Filipe | 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
|
|
|
1369.
|
Multimodal Brain Image Analysis [electronic resource] : First International Workshop, MBIA 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings / edited by Tianming Liu, Dinggang Shen, Luis Ibanez, Xiaodong Tao.
by Liu, Tianming | Shen, Dinggang | Ibanez, Luis | Tao, Xiaodong | 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
|
|
|
1370.
|
Recent Advances in the Message Passing Interface [electronic resource] : 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings / edited by Yiannis Cotronis, Anthony Danalis, Dimitrios S. Nikolopoulos, Jack Dongarra.
by Cotronis, Yiannis | Danalis, Anthony | Nikolopoulos, Dimitrios S | Dongarra, Jack | 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
|
|
|
1371.
|
Similarity-Based Pattern Recognition [electronic resource] : First International Workshop, SIMBAD 2011, Venice, Italy, September 28-30, 2011. Proceedings / edited by Marcello Pelillo, Edwin R. Hancock.
by Pelillo, Marcello | Hancock, Edwin 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
|
|
|
1372.
|
Discovery Science [electronic resource] : 14th International Conference, DS 2011, Espoo, Finland, October 5-7, 2011. Proceedings / edited by Tapio Elomaa, Jaakko Hollmén, Heikki Mannila.
by Elomaa, Tapio | Hollmén, Jaakko | Mannila, Heikki | 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
|
|
|
1373.
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings / edited by Xavier Défago, Franck Petit, Vincent Villain.
by Défago, Xavier | Petit, Franck | Villain, Vincent | 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
|
|
|
1374.
|
Transactions on Data Hiding and Multimedia Security VI [electronic resource] / edited by Yun Q. Shi, Sabu Emmanuel, Mohan S. Kankanhalli, Shih-Fu Chang, Regunathan Radhakrishnan, Fulong Ma, Li Zhao.
by Shi, Yun Q | Emmanuel, Sabu | Kankanhalli, Mohan S | Chang, Shih-Fu | Radhakrishnan, Regunathan | Ma, Fulong | Zhao, Li | 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
|
|
|
1375.
|
Formal Methods and Software Engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / edited by Shengchao Qin, Zongyan Qiu.
by Qin, Shengchao | Qiu, Zongyan | 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
|
|
|
1376.
|
Security Aspects in Information Technology [electronic resource] : First International Conference, InfoSecHiComNet 2011, Haldia, India, October 19-22, 2011. Proceedings / edited by Marc Joye, Debdeep Mukhopadhyay, Michael Tunstall.
by Joye, Marc | Mukhopadhyay, Debdeep | Tunstall, Michael | 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
|
|
|
1377.
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 11th International Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings, Part I / edited by Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou.
by Xiang, Yang | Cuzzocrea, Alfredo | Hobbs, Michael | Zhou, Wanlei | 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
|
|
|
1378.
|
Modern Transport Telematics [electronic resource] : 11th International Conference on Transport Systems Telematics, TST 2011, Katowice-Ustroń, Poland, October 19-22, 2011. Selected Papers / edited by Jerzy Mikulski.
by Mikulski, Jerzy | 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
|
|
|
1379.
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II / edited by Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou.
by Xiang, Yang | Cuzzocrea, Alfredo | Hobbs, Michael | Zhou, Wanlei | 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
|
|
|
1380.
|
Communications and Multimedia Security [electronic resource] : 12th IFIP TC 6 / TC 11 International Conference, CMS 2011, Ghent, Belgium, October 19-21,2011. Proceedings / edited by Bart Decker, Jorn Lapon, Vincent Naessens, Andreas Uhl.
by Decker, Bart | Lapon, Jorn | Naessens, Vincent | Uhl, Andreas | 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
|