Limit Search Results
Author
SpringerLink (Online service)
(14388)
Kim, Tai-hoon. editor.
(61)
Filipe, Joaquim. editor.
(53)
Taniar, David. editor.
(46)
Apduhan, Bernady O. editor.
(44)
Language
Publication Date
-
Subject
Computer science.
(11662)
Artificial intelligence.
(3896)
Software engineering.
(3227)
Computer Communication Networks.
(2803)
Information systems.
(2505)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
16226 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings
Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings
Author 
Huth, Michael. editor. Asokan, N. editor. Čapkun, Srdjan. editor. Flechais, Ivan. editor. Coles-Kemp, Lizzie. editor.
Preferred Shelf Number 
ONLINE(334696.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38908-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
Author 
Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334697.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38911-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Author 
Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334698.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38916-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings
Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings
Author 
Neto, Pedro. editor. Moreira, António Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334756.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39223-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Author 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334702.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
Author 
Ober, Iulian. editor. Ober, Ileana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25264-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for e-Business and Telecommunications 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers
e-Business and Telecommunications 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers
Author 
Obaidat, Mohammad S. editor. Tsihrintzis, George A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25206-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Author 
Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25271-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
Author 
Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25231-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advances in Image and Video Technology 5th Pacific Rim Symposium, PSIVT 2011, Gwangju, South Korea, November 20-23, 2011, Proceedings, Part II
Advances in Image and Video Technology 5th Pacific Rim Symposium, PSIVT 2011, Gwangju, South Korea, November 20-23, 2011, Proceedings, Part II
Author 
Ho, Yo-Sung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25346-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Advances in Image and Video Technology 5th Pacific Rim Symposium, PSIVT 2011, Gwangju, South Korea, November 20-23, 2011, Proceedings, Part I
Advances in Image and Video Technology 5th Pacific Rim Symposium, PSIVT 2011, Gwangju, South Korea, November 20-23, 2011, Proceedings, Part I
Author 
Ho, Yo-Sung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25367-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Communication and Networking International Conference, FGCN 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I
Communication and Networking International Conference, FGCN 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Fang, Wai-chi. editor. Vasilakos, Thanos. editor. Stoica, Adrian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27192-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action