|
|
10121.
|
Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi.
by Groce, Alex | Musuvathi, Madanlal | 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
|
|
|
10122.
|
Future Information Technology [electronic resource] : 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part II / edited by James J. Park, Laurence T. Yang, Changhoon Lee.
by Park, James J | Yang, Laurence T | Lee, Changhoon | 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
|
|
|
10123.
|
Experiences of Climate Change Adaptation in Africa [electronic resource] / edited by Walter Leal Filho.
by Leal Filho, Walter | 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
|
|
|
10124.
|
Developments in Language Theory [electronic resource] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / edited by Giancarlo Mauri, Alberto Leporati.
by Mauri, Giancarlo | Leporati, Alberto | 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
|
|
|
10125.
|
Natural Language Processing and Information Systems [electronic resource] : 16th International Conference on Applications of Natural Language to Information Systems, NLDB 2011, Alicante, Spain, June 28-30, 2011. Proceedings / edited by Rafael Muñoz, Andrés Montoyo, Elisabeth Métais.
by Muñoz, Rafael | Montoyo, Andrés | Métais, Elisabeth | 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
|
|
|
10126.
|
Future Information Technology [electronic resource] : 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part I / edited by James J. Park, Laurence T. Yang, Changhoon Lee.
by Park, James J | Yang, Laurence T | Lee, Changhoon | 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
|
|
|
10127.
|
Transactions on Computational Science XII [electronic resource] : Special Issue on Cyberworlds / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Alexei Sourin, Olga Sourina.
by Gavrilova, Marina L | Tan, C. J. Kenneth | Sourin, Alexei | Sourina, Olga | 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
|
|
|
10128.
|
Secure and Trust Computing, Data Management and Applications [electronic resource] : 8th FIRA International Conference, STA 2011, Loutraki, Greece, June 28-30, 2011. Proceedings / edited by James J. Park, Javier Lopez, Sang-Soo Yeo, Taeshik Shon, David Taniar.
by Park, James J | Lopez, Javier | Yeo, Sang-Soo | Shon, Taeshik | Taniar, David | 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
|
|
|
10129.
|
Data and Applications Security and Privacy XXV [electronic resource] : 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011. Proceedings / edited by Yingjiu Li.
by Li, Yingjiu | 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
|
|
|
10130.
|
Scientific and Statistical Database Management [electronic resource] : 23rd International Conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011. Proceedings / edited by Judith Bayard Cushing, James French, Shawn Bowers.
by Bayard Cushing, Judith | French, James | Bowers, Shawn | 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
|
|
|
10131.
|
Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings / edited by João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre.
by Leite, João | Torroni, Paolo | Ågotnes, Thomas | Boella, Guido | Torre, Leon | 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
|
|
|
10132.
|
User Modeling, Adaption and Personalization [electronic resource] : 19th International Conference, UMAP 2011, Girona, Spain, July 11-15, 2011. Proceedings / edited by Joseph A. Konstan, Ricardo Conejo, José L. Marzo, Nuria Oliver.
by Konstan, Joseph A | Conejo, Ricardo | Marzo, José L | Oliver, Nuria | 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
|
|
|
10133.
|
Secure and Trust Computing, Data Management, and Applications [electronic resource] : STA 2011 Workshops: IWCS 2011 and STAVE 2011, Loutraki, Greece, June 28-30, 2011. Proceedings / edited by Changhoon Lee, Jean-Marc Seigneur, James J. Park, Roland R. Wagner.
by Lee, Changhoon | Seigneur, Jean-Marc | Park, James J | Wagner, Roland 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
|
|
|
10134.
|
Artificial Immune Systems [electronic resource] : 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings / edited by Pietro Liò, Giuseppe Nicosia, Thomas Stibor.
by Liò, Pietro | Nicosia, Giuseppe | Stibor, 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
|
|
|
10135.
|
Network Reliability and Resilience [electronic resource] / by Ilya Gertsbakh, Yoseph Shpungin.
by Gertsbakh, Ilya | Shpungin, Yoseph | 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
|
|
|
10136.
|
Enhancing Learning Through Technology. Education Unplugged: Mobile Technologies and Web 2.0 [electronic resource] : 6th International Conference, ITC 2011, Hong Kong, China, July 11-13, 2011. Proceedings / edited by Reggie Kwan, Carmel McNaught, Philip Tsang, Fu Lee Wang, Kam Cheong Li.
by Kwan, Reggie | McNaught, Carmel | Tsang, Philip | Wang, Fu Lee | Li, Kam Cheong | 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
|
|
|
10137.
|
Software Engineering Techniques [electronic resource] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers / edited by Zbigniew Huzar, Radek Koci, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka.
by Huzar, Zbigniew | Koci, Radek | Meyer, Bertrand | Walter, Bartosz | Zendulka, Jaroslav | 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
|
|
|
10138.
|
Digital Information Processing and Communications [electronic resource] : International Conference , ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part I / edited by Vaclav Snasel, Jan Platos, Eyas El-Qawasmeh.
by Snasel, Vaclav | Platos, Jan | El-Qawasmeh, Eyas | 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
|
|
|
10139.
|
Pattern Recognition, Machine Intelligence and Biometrics [electronic resource] / edited by Patrick S. P. Wang.
by Wang, Patrick S. P | 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
|
|
|
10140.
|
Digital Information Processing and Communications [electronic resource] : International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part II / edited by Vaclav Snasel, Jan Platos, Eyas El-Qawasmeh.
by Snasel, Vaclav | Platos, Jan | El-Qawasmeh, Eyas | 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
|
