Limit Search Results
Author
SpringerLink (Online service)
(85)
Artho, Cyrille. editor.
(2)
De Nicola, Rocco. editor.
(2)
Kadarmideen, Haja N. editor.
(2)
Liu, Shaoying. editor.
(2)
Language
Subject
Compilers (Computer programs).
(72)
Compilers and Interpreters.
(72)
Software engineering.
(64)
Computer science.
(58)
Computer Science Logic and Foundations of Programming.
(54)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
100 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Author 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Fundamentals of Physics and Chemistry of the Atmosphere
Fundamentals of Physics and Chemistry of the Atmosphere
Author 
Visconti, Guido. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29449-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings
Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings
Author 
Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47106-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Intelligent technologies for web applications
Intelligent technologies for web applications
Author 
Srinivas Sajja, Priti, author. Akerkar, Rajendra, author.
Preferred Shelf Number 
TK5105.88815
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429065965
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Programlama ve veritabanı mantığı
Programlama ve veritabanı mantığı
Author 
Çamoğlu, Kadir
Preferred Shelf Number 
QA76.755 C36 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
30. 
Cover image for Enformatik, toplum ve hukuk
Enformatik, toplum ve hukuk
Author 
Gürsul, Fatih.
Preferred Shelf Number 
KKX80.C65 E547 2016
Format: 
Availability 
Law Library~1
Available:
Copies:
31. 
Cover image for Veri analizi : Excel ve SPSS uygulamalarıyla birlikte
Veri analizi : Excel ve SPSS uygulamalarıyla birlikte
Author 
Bayram, Nuran.
Preferred Shelf Number 
HA32 V47 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
32. 
Cover image for Office 2016 Türkçe
Office 2016 Türkçe
Author 
Yıldız, Bayram
Preferred Shelf Number 
HF5548.4.M525 Y553 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
33. 
Cover image for SPSS ile bilimsel araştırma sürecinde nicel veri analizi
SPSS ile bilimsel araştırma sürecinde nicel veri analizi
Author 
Can, Abdullah
Preferred Shelf Number 
HA32 C36 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
34. 
Cover image for Office : Word.Excel.Powerpoint.Outlook.Access.
Office : Word.Excel.Powerpoint.Outlook.Access.
Author 
Bilişim Eğitim Merkezi.
Preferred Shelf Number 
HF5548.4.M525 O34 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
35. 
Cover image for Algoritma geliştirme ve veri yapıları
Algoritma geliştirme ve veri yapıları
Author 
Çölkesen, Toros Rifat.
Preferred Shelf Number 
QA76.9.D35 C64 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
36. 
Cover image for Statistical analysis of questionnaires : a unified approach based on R and Stata
Statistical analysis of questionnaires : a unified approach based on R and Stata
Author 
Bartolucci, Francesco, author. Bacci, Silvia, author. Gnaldi, Michela, author.
Preferred Shelf Number 
HA32 B36 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action