Limit Search Results
Author
SpringerLink (Online service)
(11590)
Kim, Tai-hoon. editor.
(61)
Filipe, Joaquim. editor.
(39)
Gervasi, Osvaldo. editor.
(39)
Gavrilova, Marina L. editor.
(36)
Language
Publication Date
-
2013
(1522)
2011
(1414)
2012
(1330)
2010
(1264)
2009
(1196)
Subject
Artificial intelligence.
(3262)
Software engineering.
(2980)
Computer Communication Networks.
(2721)
Information systems.
(2469)
Computer software.
(2011)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
11662 Results Found Subscribe to search results
000000000000DEFAULT
Print
2029. 
Cover image for Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Author 
Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334073.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35873-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2030. 
Cover image for Information Systems, E-learning, and Knowledge Management Research 4th World Summit on the Knowledge Society, WSKS 2011, Mykonos, Greece, September 21-23, 2011. Revised Selected Papers
Information Systems, E-learning, and Knowledge Management Research 4th World Summit on the Knowledge Society, WSKS 2011, Mykonos, Greece, September 21-23, 2011. Revised Selected Papers
Author 
Lytras, Miltiadis D. editor. Ruan, Da. editor. Tennyson, Robert D. editor. Ordonez De Pablos, Patricia. editor. García Peñalvo, Francisco José. editor.
Preferred Shelf Number 
ONLINE(334075.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35879-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2031. 
Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Author 
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334077.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35887-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2032. 
Cover image for Data Privacy Management and Autonomous Spontaneous Security 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers
Data Privacy Management and Autonomous Spontaneous Security 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers
Author 
Pietro, Roberto. editor. Herranz, Javier. editor. Damiani, Ernesto. editor. State, Radu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334078.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35890-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2033. 
Cover image for Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
Author 
Rajopadhye, Sanjay. editor. Mills Strout, Michelle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334104.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36036-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2034. 
Cover image for Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Author 
Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334105.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2035. 
Cover image for Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Author 
Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Preferred Shelf Number 
ONLINE(334106.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36046-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2036. 
Cover image for Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
Author 
Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334109.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36054-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2037. 
Cover image for System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
Author 
Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334111.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36062-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2038. 
Cover image for WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
Author 
Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334112.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36065-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2039. 
Cover image for Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings
Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings
Author 
Hota, Chittaranjan. editor. Srimani, Pradip K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334114.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36071-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2040. 
Cover image for Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers
Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers
Author 
Nin, Jordi. editor. Villatoro, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334115.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36074-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets