Limit Search Results
Author
SpringerLink (Online service)
(293)
Dix, Jürgen. editor.
(6)
Stenström, Per. editor.
(6)
Aldini, Alessandro. editor.
(5)
Baldoni, Matteo. editor.
(5)
Language
English
(293)
Publication Date
-
Subject
Computer Communication Networks.
(293)
Computer science.
(284)
Software engineering.
(244)
Artificial intelligence.
(87)
Information Systems.
(42)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
293 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
Author 
Phillips, Iain. editor. Rahaman, Hafizur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59936-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II
Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II
Author 
Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68612-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I
Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I
Author 
Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68600-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings
Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings
Author 
Bodden, Eric. editor. Payer, Mathias. editor. (orcid)0000-0001-5054-7547 Athanasopoulos, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62105-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333558.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32341-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Distributed Programming Theory and Practice
Distributed Programming Theory and Practice
Author 
Shankar, A. Udaya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331611.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4881-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Author 
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03077-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Author 
Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Preferred Shelf Number 
ONLINE(332964.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03089-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Author 
Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334136.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36157-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Author 
Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334772.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39277-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action