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
550 Results Found Subscribe to search results
000000000000DEFAULT
Print
325. 
Cover image for Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Author 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Availability 
Online Library~1
Available:
Copies:
326. 
Cover image for Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
Author 
Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2217-0
Format: 
Availability 
Online Library~1
Available:
Copies:
327. 
Cover image for LogiQL : a query language for smart databases
LogiQL : a query language for smart databases
Author 
Halpin, T. A., author. Rugaber, Spencer, author.
Preferred Shelf Number 
QA76.73 .L62 H35 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
328. 
Cover image for Beginning Java Programming: The Object Oriented Approach
Beginning Java Programming: The Object Oriented Approach
Author 
Baesens, Bart. Backiel, Aimee Author. Broucke, Seppe vanden Author.
Preferred Shelf Number 
QA76.73.J38 B34 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
329. 
Cover image for Python for data science for dummies
Python for data science for dummies
Author 
Massaron, Luca. Mueller, John Paul.
Preferred Shelf Number 
QA76.73.P98 M376 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
330. 
Cover image for Interaction flow modeling language model-driven UI engineering of web and mobile apps with IFML
Interaction flow modeling language model-driven UI engineering of web and mobile apps with IFML
Author 
Brambilla, Marco, 1976- author. Fraternali, Piero, author.
Preferred Shelf Number 
ONLINE(355438.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128001080
Format: 
Availability 
Online Library~1
Available:
Copies:
331. 
Cover image for Her Yönüyle C #
Her Yönüyle C #
Author 
Algan, Sefer.
Preferred Shelf Number 
QA76.73.C154 A44 2015
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
332. 
Cover image for PASCAL for electronics and communications
PASCAL for electronics and communications
Author 
Meadows, R. G. (Richard Guy), author.
Preferred Shelf Number 
QA76.73 .P2
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315274782
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
333. 
Cover image for Software essentials : design and construction
Software essentials : design and construction
Author 
Dingle, Adair, author.
Preferred Shelf Number 
QA76.76 .D47 D545 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
334. 
Cover image for NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Author 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06200-6
Format: 
Availability 
Online Library~1
Available:
Copies:
335. 
Cover image for Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Author 
DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11454-5
Format: 
Availability 
Online Library~1
Available:
Copies:
336. 
Cover image for Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Author 
Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09940-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets