Limit Search Results
Author
SpringerLink (Online service)
(37)
Noble, James. editor.
(2)
Achten, Peter. editor.
(1)
Barnes, John. author.
(1)
Bensalem, Saddek. editor.
(1)
Language
Publication Date
-
2013
(37)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
37 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Transactions on Pattern Languages of Programming III
Transactions on Pattern Languages of Programming III
Author 
Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334647.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38676-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
Author 
Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335028.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40922-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334348.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37036-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Guide to Programming and Algorithms Using R
Guide to Programming and Algorithms Using R
Author 
Ergül, Özgür. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331192.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5328-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331207.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Author 
Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332921.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02444-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Author 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334533.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Author 
Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334683.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38856-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
Cover image for Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
Author 
Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334706.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38977-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Author 
Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334711.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39013-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
Author 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334715.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39038-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action