Limit Search Results
Author
SpringerLink (Online service)
(368)
Kim, Tai-hoon. editor.
(8)
Apduhan, Bernady O. editor.
(6)
Gervasi, Osvaldo. editor.
(5)
Nagamalai, Dhinaharan. editor.
(5)
Language
Subject
Software engineering.
(369)
Computer science.
(336)
Computer Communication Networks.
(159)
Artificial intelligence.
(118)
Computer software.
(94)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
390 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Author 
Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30743-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Software Business Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012. Proceedings
Software Business Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012. Proceedings
Author 
Cusumano, Michael A. editor. Iyer, Bala. editor. Venkatraman, N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30746-1
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings
Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings
Author 
Li, Ruixuan. editor. Cao, Jiannong. editor. Bourgeois, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30767-6
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Impact Analysis of Solutions for Chronic Disease Prevention and Management 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings
Impact Analysis of Solutions for Chronic Disease Prevention and Management 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings
Author 
Donnelly, Mark. editor. Paggetti, Cristiano. editor. Nugent, Chris. editor. Mokhtari, Mounir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30779-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
Author 
Al-Begain, Khalid. editor. Fiems, Dieter. editor. Vincent, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30782-9
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Author 
Giese, Holger. editor. Rosu, Grigore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30793-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Author 
Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Coordination Models and Languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings
Coordination Models and Languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings
Author 
Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30829-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Ad-hoc, Mobile, and Wireless Networks 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings
Ad-hoc, Mobile, and Wireless Networks 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings
Author 
Li, Xiang-Yang. editor. Papavassiliou, Symeon. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31638-8
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings
Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings
Author 
Brambilla, Marco. editor. Tokuda, Takehiro. editor. Tolksdorf, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31753-8
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
Author 
Donaldson, Alastair. editor. Parker, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31759-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Author 
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Gurov, Dilian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31762-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets