Limit Search Results
Author
SpringerLink (Online service)
(33)
IEEE Xplore (Online Service), distributor.
(5)
MIT Press, publisher.
(5)
Diaz-Herrera, Jorge L., 1950- editor.
(2)
Gonzalez, Teofilo F., editor.
(2)
Language
Subject
Computer programming.
(42)
Software engineering.
(24)
Programming languages (Electronic computers).
(21)
Computer logic.
(14)
Mathematical logic.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
68 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54833-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
Author 
McCarthy, Jay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-45340-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Guide to Java A Concise Introduction to Programming
Guide to Java A Concise Introduction to Programming
Author 
Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6317-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computing for biologists : python programming and principles
Computing for biologists : python programming and principles
Author 
Libeskind-Hadas, Ran. Bush, Eliot.
Preferred Shelf Number 
QH324.2 L53 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Bayesian programming
Bayesian programming
Author 
Bessiere, Pierre.
Preferred Shelf Number 
QA76.6 B4764 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Sams teach yourself Java in 24 hours
Sams teach yourself Java in 24 hours
Author 
Cadenhead, Rogers, author.
Preferred Shelf Number 
QA76.73.J38 C335 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
Cover image for Introduction to scientific programming and simulation using R
Introduction to scientific programming and simulation using R
Author 
Jones, Owen (Owen Dafydd), author. Maillardet, Robert, author. Robinson, Andrew (Andrew P.), author.
Preferred Shelf Number 
Q183.9 J65 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
Cover image for Using advanced MPI : modern features of the Message-Passing-Interface
Using advanced MPI : modern features of the Message-Passing-Interface
Author 
Gropp, William, author. Hoefler, Torsten. Thakur, Rajeev. Lusk, Ewing. IEEE Xplore (Online Service), distributor.
Preferred Shelf Number 
ONLINE(364986.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981848
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Processing : a programming handbook for visual designers and artists
Processing : a programming handbook for visual designers and artists
Author 
Reas, Casey, author. Fry, Ben. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number 
ONLINE(364987.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7008153
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Author 
Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10431-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Author 
Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11737-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Author 
Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12904-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action