|
|
4141.
|
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 [editor.] | Potapov, Igor [editor.] | 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
|
|
|
4142.
|
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 [editor.] | Tripakis, Stavros [editor.] | 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
|
|
|
4143.
|
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 [editor.] | Chen, Xiaofeng [editor.] | 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
|
|
|
4144.
|
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 [editor.] | Wang, Fei [editor.] | Shen, Dinggang [editor.] | Yan, Pingkun [editor.] | 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
|
|
|
4145.
|
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 [editor.] | Sofronie-Stokkermans, Viorica [editor.] | 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
|
|
|
4146.
|
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 [editor.] | Rottensteiner, Franz [editor.] | Mayer, Helmut [editor.] | Jutzi, Boris [editor.] | Butenuth, Matthias [editor.] | 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
|
|
|
4147.
|
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 [editor.] | Shi, Weisong [editor.] | 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
|
|
|
4148.
|
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 [editor.] | Szepesvári, Csaba [editor.] | Ukkonen, Esko [editor.] | Zeugmann, Thomas [editor.] | 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
|
|
|
4149.
|
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 [editor.] | Mota Pinto, Filipe [editor.] | 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
|
|
|
4150.
|
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 [editor.] | Shen, Dinggang [editor.] | Ibanez, Luis [editor.] | Tao, Xiaodong [editor.] | 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
|
|
|
4151.
|
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 [editor.] | Danalis, Anthony [editor.] | Nikolopoulos, Dimitrios S [editor.] | Dongarra, Jack [editor.] | 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
|
|
|
4152.
|
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 [editor.] | Hancock, Edwin R [editor.] | 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
|
|
|
4153.
|
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 [editor.] | Hollmén, Jaakko [editor.] | Mannila, Heikki [editor.] | 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
|
|
|
4154.
|
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 [editor.] | Petit, Franck [editor.] | Villain, Vincent [editor.] | 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
|
|
|
4155.
|
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 [editor.] | Emmanuel, Sabu [editor.] | Kankanhalli, Mohan S [editor.] | Chang, Shih-Fu [editor.] | Radhakrishnan, Regunathan [editor.] | Ma, Fulong [editor.] | Zhao, Li [editor.] | 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
|
|
|
4156.
|
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 [editor.] | Qiu, Zongyan [editor.] | 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
|
|
|
4157.
|
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 [editor.] | Mukhopadhyay, Debdeep [editor.] | Tunstall, Michael [editor.] | 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
|
|
|
4158.
|
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 [editor.] | Cuzzocrea, Alfredo [editor.] | Hobbs, Michael [editor.] | Zhou, Wanlei [editor.] | 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
|
|
|
4159.
|
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 [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
4160.
|
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 [editor.] | Cuzzocrea, Alfredo [editor.] | Hobbs, Michael [editor.] | Zhou, Wanlei [editor.] | 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
|
