Limit Search Results
Author
SpringerLink (Online service)
(92)
Cordeiro, José. editor.
(3)
Maciaszek, Leszek A. editor.
(3)
Filipe, Joaquim. editor.
(2)
Legay, Axel. editor.
(2)
Language
Publication Date
-
2013
(92)
Subject
Computer science.
(92)
Programming Languages, Compilers, Interpreters.
(92)
Software engineering.
(67)
Logic design.
(49)
Logics and Meanings of Programs.
(48)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
92 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Learn Cocoa on the Mac
Learn Cocoa on the Mac
Author 
Nutting, Jack. author. Clark, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330613.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4543-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Learn Lua for iOS Game Development
Learn Lua for iOS Game Development
Author 
Varma, Jayant. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330623.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4663-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Node.js Recipes
Node.js Recipes
Author 
Gackenheimer, Cory. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330745.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6059-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for TouchDevelop: Programming on the Go
TouchDevelop: Programming on the Go
Author 
Horspool, R. Nigel. author. Tillmann, Nikolai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330757.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6137-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Introduction to Image Processing Using R Learning by Examples
Introduction to Image Processing Using R Learning by Examples
Author 
Frery, Alejandro C. author. Perciano, Talita. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331107.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4950-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
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:
8. 
Cover image for Giants of Computing A Compendium of Select, Pivotal Pioneers
Giants of Computing A Compendium of Select, Pivotal Pioneers
Author 
O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331194.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5340-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
Cover image for Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Author 
Shan, Chung-chieh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332981.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03542-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Author 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332982.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03545-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
Author 
Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334069.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35861-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action