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
Select an Action
11662 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Author 
Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334851.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39799-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings
Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings
Author 
Lepora, Nathan F. editor. Mura, Anna. editor. Krapp, Holger G. editor. Verschure, Paul F. M. J. editor. Prescott, Tony J. editor.
Preferred Shelf Number 
ONLINE(334852.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39802-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Wireless Access Flexibility First International Workshop, WiFlex 2013, Kaliningrad, Russia, September 4-6, 2013. Proceedings
Wireless Access Flexibility First International Workshop, WiFlex 2013, Kaliningrad, Russia, September 4-6, 2013. Proceedings
Author 
Bianchi, Giuseppe. editor. Lyakhov, Andrey. editor. Khorov, Evgeny. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334853.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39805-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Co-created Effective, Agile, and Trusted eServices 15th International Conference on Electronic Commerce, ICEC 2013, Turku, Finland, August 13-15, 2013. Proceedings
Co-created Effective, Agile, and Trusted eServices 15th International Conference on Electronic Commerce, ICEC 2013, Turku, Finland, August 13-15, 2013. Proceedings
Author 
Järveläinen, Jonna. editor. Li, Hongxiu. editor. Tuikka, Anne-Marie. editor. Kuusela, Tiina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334854.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39808-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Nordic Contributions in IS Research 4th Scandinavian Conference on Information Systems, SCIS 2013, Oslo, Norway, August 11-14, 2013. Proceedings
Nordic Contributions in IS Research 4th Scandinavian Conference on Information Systems, SCIS 2013, Oslo, Norway, August 11-14, 2013. Proceedings
Author 
Aanestad, Margunn. editor. Bratteteig, Tone. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334855.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39832-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Smart Health International Conference, ICSH 2013, Beijing, China, August 3-4, 2013. Proceedings
Smart Health International Conference, ICSH 2013, Beijing, China, August 3-4, 2013. Proceedings
Author 
Zeng, Daniel. editor. Yang, Christopher C. editor. Tseng, Vincent S. editor. Xing, Chunxiao. editor. Chen, Hsinchun. editor.
Preferred Shelf Number 
ONLINE(334856.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39844-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Agreement Technologies Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings
Agreement Technologies Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings
Author 
Chesñevar, Carlos Iván. editor. Onaindia, Eva. editor. Ossowski, Sascha. editor. Vouros, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334857.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39860-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Author 
Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334859.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39866-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Enabling Real-Time Business Intelligence 6th International Workshop, BIRTE 2012, Held at the 38th International Conference on Very Large Databases, VLDB 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers
Enabling Real-Time Business Intelligence 6th International Workshop, BIRTE 2012, Held at the 38th International Conference on Very Large Databases, VLDB 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers
Author 
Castellanos, Malu. editor. Dayal, Umeshwar. editor. Rundensteiner, Elke A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334860.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39872-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computational and Robotic Models of the Hierarchical Organization of Behavior
Computational and Robotic Models of the Hierarchical Organization of Behavior
Author 
Baldassarre, Gianluca. editor. Mirolli, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334861.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39875-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Financial Cryptography and Data Security 17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers
Financial Cryptography and Data Security 17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers
Author 
Sadeghi, Ahmad-Reza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334863.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39884-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Digital Forensics and Cyber Crime 4th International Conference, ICDF2C 2012, Lafayette, IN, USA, October 25-26, 2012, Revised Selected Papers
Digital Forensics and Cyber Crime 4th International Conference, ICDF2C 2012, Lafayette, IN, USA, October 25-26, 2012, Revised Selected Papers
Author 
Rogers, Marcus. editor. Seigfried-Spellar, Kathryn C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334864.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39891-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action