Limit Search Results
Author
SpringerLink (Online service)
(93)
Cordeiro, José. editor.
(3)
Maciaszek, Leszek A. editor.
(3)
Filipe, Joaquim. editor.
(2)
Legay, Axel. editor.
(2)
Language
Publication Date
-
2013
(92)
2016
(1)
Subject
Programming Languages, Compilers, Interpreters.
(92)
Software engineering.
(68)
Logic design.
(49)
Logics and Meanings of Programs.
(48)
Programming Techniques.
(37)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
93 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Author 
Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47958-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Objective-C Programmer’s Reference
Objective-C Programmer’s Reference
Author 
Oliveira, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330726.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5906-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
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:
6. 
Cover image for From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
Author 
Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330942.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for The R Software Fundamentals of Programming and Statistical Analysis
The R Software Fundamentals of Programming and Statistical Analysis
Author 
Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332463.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-9020-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
Cover image for Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Author 
Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332934.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02654-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
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:
Select an Action