Limit Search Results
Author
SpringerLink (Online service)
(30)
Abelson, Harold.
(1)
Abreu, Jorge. editor.
(1)
Abásolo, María José. editor. (orcid)0000-0003-4441-3264
(1)
Aiello, Marco. author.
(1)
Language
Publication Date
-
Subject
Programming languages (Electronic computers).
(13)
Computer logic.
(11)
Software engineering.
(10)
Artificial intelligence.
(8)
Mathematical logic.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
42 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Author 
Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07151-0
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings
Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings
Author 
Chatterjee, Mainak. editor. Cao, Jian-nong. editor. Kothapalli, Kishore. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-45249-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Practical Analysis of Algorithms
Practical Analysis of Algorithms
Author 
Vrajitoru, Dana. author. Knight, William. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09888-3
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Structure and interpretation of computer programs
Structure and interpretation of computer programs
Author 
Abelson, Harold. Sussman, Gerald Jay. Sussman, Julie.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276830
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Deep Learning with R
Deep Learning with R
Author 
Ghatak, Abhijit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-5850-0
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Python by example : learning to program in 150 challenges
Python by example : learning to program in 150 challenges
Author 
Lacey, Nichola, author.
Preferred Shelf Number 
QA76.73 .P98 L33 2019
Electronic Access 
https://doi.org/10.1017/9781108591942
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for The Web Was Done by Amateurs A Reflection on One of the Largest Collective Systems Ever Engineered
The Web Was Done by Amateurs A Reflection on One of the Largest Collective Systems Ever Engineered
Author 
Aiello, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90008-7
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Deploying secure containers for training and development
Deploying secure containers for training and development
Author 
Schipp, Jon, author. Dalziel, Henry, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128047170
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Introduction to computing using Python
Introduction to computing using Python
Author 
Perkovic, Ljubomir.
Preferred Shelf Number 
QA76.73.P98 P47 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
34. 
Cover image for Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Author 
Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08615-6
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Algoritmalar
Algoritmalar
Author 
Uzunköprü, Süleyman.
Preferred Shelf Number 
QA76.9.D35 U98 2014
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
36. 
Cover image for Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Author 
Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07602-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets