|
|
5281.
|
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
|
|
|
5282.
|
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
|
|
|
5283.
|
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
|
|
|
5284.
|
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
|
|
|
5285.
|
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
|
|
|
5286.
|
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
|
|
|
5287.
|
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
|
|
|
5288.
|
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
|
|
|
5289.
|
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
|
|
|
5290.
|
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
|
|
|
5291.
|
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
|
|
|
5292.
|
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
|
|
|
5293.
|
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
|
|
|
5294.
|
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
|
|
|
5295.
|
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
|
|
|
5296.
|
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
|
|
|
5297.
|
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
|
|
|
5298.
|
Advances in Information Technology and Education [electronic resource] : International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, Part I / edited by Honghua Tan, Mark Zhou.
by Tan, Honghua | Zhou, Mark | 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
|
|
|
5299.
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 8th International Conference; DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011. Proceedings / edited by Thorsten Holz, Herbert Bos.
by Holz, Thorsten | Bos, Herbert | 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
|
|
|
5300.
|
Collaborative Agents - Research and Development [electronic resource] : International Workshops, CARE@AI09 2009 / CARE@IAT10 2010, Melbourne Australia, December 1, 2009 and Toronto Canada, August 31, 2010, Revised Selected Papers / edited by Christian Guttmann, Frank Dignum, Michael Georgeff.
by Guttmann, Christian | Dignum, Frank | Georgeff, 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
|
