|
|
35761.
|
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 [editor.] | Musuvathi, Madanlal [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
|
|
|
35762.
|
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 [editor.] | Yang, Laurence T [editor.] | Lee, Changhoon [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
|
|
|
35763.
|
Experiences of Climate Change Adaptation in Africa [electronic resource] / edited by Walter Leal Filho.
by Leal Filho, Walter [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
|
|
|
35764.
|
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 [editor.] | Leporati, Alberto [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
|
|
|
35765.
|
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 [editor.] | Montoyo, Andrés [editor.] | Métais, Elisabeth [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
|
|
|
35766.
|
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 [editor.] | Yang, Laurence T [editor.] | Lee, Changhoon [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
|
|
|
35767.
|
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 [editor.] | Tan, C. J. Kenneth [editor.] | Sourin, Alexei [editor.] | Sourina, Olga [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
|
|
|
35768.
|
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 [editor.] | Lopez, Javier [editor.] | Yeo, Sang-Soo [editor.] | Shon, Taeshik [editor.] | Taniar, David [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
|
|
|
35769.
|
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 [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
|
|
|
35770.
|
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 [editor.] | French, James [editor.] | Bowers, Shawn [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
|
|
|
35771.
|
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 [editor.] | Torroni, Paolo [editor.] | Ågotnes, Thomas [editor.] | Boella, Guido [editor.] | Torre, Leon [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
|
|
|
35772.
|
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 [editor.] | Conejo, Ricardo [editor.] | Marzo, José L [editor.] | Oliver, Nuria [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
|
|
|
35773.
|
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 [editor.] | Seigneur, Jean-Marc [editor.] | Park, James J [editor.] | Wagner, Roland 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
|
|
|
35774.
|
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 [editor.] | Nicosia, Giuseppe [editor.] | Stibor, 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
|
|
|
35775.
|
Network Reliability and Resilience [electronic resource] / by Ilya Gertsbakh, Yoseph Shpungin.
by Gertsbakh, Ilya [author.] | Shpungin, Yoseph [author.] | 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
|
|
|
35776.
|
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 [editor.] | McNaught, Carmel [editor.] | Tsang, Philip [editor.] | Wang, Fu Lee [editor.] | Li, Kam Cheong [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
|
|
|
35777.
|
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 [editor.] | Koci, Radek [editor.] | Meyer, Bertrand [editor.] | Walter, Bartosz [editor.] | Zendulka, Jaroslav [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
|
|
|
35778.
|
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 [editor.] | Platos, Jan [editor.] | El-Qawasmeh, Eyas [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
|
|
|
35779.
|
Pattern Recognition, Machine Intelligence and Biometrics [electronic resource] / edited by Patrick S. P. Wang.
by Wang, Patrick S. P [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
|
|
|
35780.
|
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 [editor.] | Platos, Jan [editor.] | El-Qawasmeh, Eyas [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
|
