Limit Search Results
Author
SpringerLink (Online service)
(303)
Taylor and Francis.
(7)
Algan, Sefer.
(6)
Aktaş, Volkan.
(5)
Noble, James. editor.
(5)
Language
Publication Date
-
Subject
Software engineering.
(186)
Computer science.
(155)
Programming languages (Electronic computers).
(130)
Programming Languages, Compilers, Interpreters.
(92)
Logic design.
(77)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
550 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Ubiquitous Information Technologies and Applications CUTE 2012
Ubiquitous Information Technologies and Applications CUTE 2012
Author 
Han, Youn-Hee. editor. Park, Doo-Soon. editor. Jia, Weijia. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336087.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5857-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
Cover image for Compiler Design Syntactic and Semantic Analysis
Compiler Design Syntactic and Semantic Analysis
Author 
Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333076.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17540-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Theory of computation
Theory of computation
Author 
Tourlakis, George J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=837606
Wiley http://dx.doi.org/10.1002/9781118315361
http://site.ebrary.com/lib/alltitles/Doc?id=10560654
ebrary http://site.ebrary.com/id/10560654
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Fundamentals of multicore software development
Fundamentals of multicore software development
Author 
Pankratius, Victor. Adl-Tabatabai, Ali-Reza. Tichy, Walter F.
Preferred Shelf Number 
QA76.642 .F86 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Modeling and simulation in ecotoxicology with applications in MATLAB and Simulink
Modeling and simulation in ecotoxicology with applications in MATLAB and Simulink
Author 
Dixon, Kenneth R., author.
Preferred Shelf Number 
RA1226 .D59 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Intelligent systems for engineers and scientists
Intelligent systems for engineers and scientists
Author 
Hopgood, Adrian A., author.
Preferred Shelf Number 
QA76.76 .E95 H675 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Raspberry Pi user guide
Raspberry Pi user guide
Author 
Upton, Eben. Halfacree, Gareth.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action