|
|
5501.
|
Advanced Parallel Processing Technologies [electronic resource] : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011. Proceedings / edited by Olivier Temam, Pen-Chung Yew, Binyu Zang.
by Temam, Olivier | Yew, Pen-Chung | Zang, Binyu | 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
|
|
|
5502.
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [electronic resource] : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings / edited by José L. Ayala, Braulio García-Cámara, Manuel Prieto, Martino Ruggiero, Gilles Sicard.
by Ayala, José L | García-Cámara, Braulio | Prieto, Manuel | Ruggiero, Martino | Sicard, Gilles | 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
|
|
|
5503.
|
Information Hiding [electronic resource] : 13th International Conference, IH 2011, Prague, Czech Republic, May 18-20, 2011, Revised Selected Papers / edited by Tomáš Filler, Tomáš Pevný, Scott Craver, Andrew Ker.
by Filler, Tomáš | Pevný, Tomáš | Craver, Scott | Ker, Andrew | 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
|
|
|
5504.
|
Datalog Reloaded [electronic resource] : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers / edited by Oege Moor, Georg Gottlob, Tim Furche, Andrew Sellers.
by Moor, Oege | Gottlob, Georg | Furche, Tim | Sellers, Andrew | 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
|
|
|
5505.
|
Information Security and Cryptology - ICISC 2010 [electronic resource] : 13th International Conference, Seoul, Korea, December 1-3, 2010, Revised Selected Papers / edited by Kyung-Hyune Rhee, DaeHun Nyang.
by Rhee, Kyung-Hyune | Nyang, DaeHun | 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
|
|
|
5506.
|
Computational Logistics [electronic resource] : Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings / edited by Jürgen W. Böse, Hao Hu, Carlos Jahn, Xiaoning Shi, Robert Stahlbock, Stefan Voß.
by Böse, Jürgen W | Hu, Hao | Jahn, Carlos | Shi, Xiaoning | Stahlbock, Robert | Voß, Stefan | 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
|
|
|
5507.
|
Advanced Computer Science and Information Technology [electronic resource] : Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings / edited by Tai-hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas.
by Kim, Tai-hoon | Adeli, Hojjat | Robles, Rosslin John | Balitanas, Maricel | 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
|
|
|
5508.
|
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
|
|
|
5509.
|
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
|
|
|
5510.
|
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
|
|
|
5511.
|
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
|
|
|
5512.
|
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
|
|
|
5513.
|
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
|
|
|
5514.
|
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
|
|
|
5515.
|
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
|
|
|
5516.
|
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
|
|
|
5517.
|
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
|
|
|
5518.
|
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
|
|
|
5519.
|
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
|
|
|
5520.
|
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
|
