Limit Search Results
Author
SpringerLink (Online service)
(40)
Deelman, Ewa. editor. (orcid)0000-0001-5106-503X
(2)
Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X
(2)
Dongarra, Jack. editor.
(2)
Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996
(2)
Language
Publication Date
-
Subject
Programming Techniques.
(33)
Software engineering.
(27)
Computer networks .
(25)
Computer science.
(25)
Computer programming.
(19)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
40 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Author 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335072.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
Author 
Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.
Preferred Shelf Number 
ONLINE(334025.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35668-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Distributed Algorithms for Message-Passing Systems
Distributed Algorithms for Message-Passing Systems
Author 
Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334542.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38123-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings
Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings
Author 
Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335124.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41575-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action