Limit Search Results
Author
SpringerLink (Online service)
(97)
Legay, Axel. editor.
(3)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(2)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Language
Subject
Compilers (Computer programs).
(89)
Compilers and Interpreters.
(89)
Software engineering.
(63)
Computer science.
(47)
Computer Science Logic and Foundations of Programming.
(39)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
122 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for SPSS uygulamalı regresyon analizi : lojistik regresyon – eğri uydurma – tahmin
SPSS uygulamalı regresyon analizi : lojistik regresyon – eğri uydurma – tahmin
Author 
Gamgam, Hamza. Altunkaynak, Bülent.
Preferred Shelf Number 
QA278.2 G36 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
14. 
Cover image for Mühendisler için matlab'ın temelleri ve mühendislik matematiği uygulamaları
Mühendisler için matlab'ın temelleri ve mühendislik matematiği uygulamaları
Author 
Berkan, Ural. Yüksek, Mustafa.
Preferred Shelf Number 
QA297 B456 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
15. 
Cover image for Projeler ile CATIA
Projeler ile CATIA
Author 
Ovalı, İsmail. Esen, Cemal.
Preferred Shelf Number 
TA345 O93 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
16. 
Cover image for MATLAB uygulamaları ve etki analizleri : ekonomi, finans ve işletme için
MATLAB uygulamaları ve etki analizleri : ekonomi, finans ve işletme için
Author 
Göksel, Türkmen.
Preferred Shelf Number 
QA297 G65 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
17. 
Cover image for Windows 10 Anniversary update bible
Windows 10 Anniversary update bible
Author 
Tidrow, Rob, author. Boyce, Jim, 1958- author. Shapiro, Jeffrey R., author.
Preferred Shelf Number 
QA76.76 .O63
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119416999
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Swift in the cloud
Swift in the cloud
Author 
Williamson, Leigh, author.
Preferred Shelf Number 
QA76.73 .S95
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119368502
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Very Soft Organic Clay Applied for Road Embankment : Modelling and Optimisation Approach, UNESCO-IHE PhD, Delft, the Netherlands.
Very Soft Organic Clay Applied for Road Embankment : Modelling and Optimisation Approach, UNESCO-IHE PhD, Delft, the Netherlands.
Author 
Limsiri, C., author. CRC Press LLC.
Preferred Shelf Number 
TE210.8
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429094125
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for String Analysis for Software Verification and Security
String Analysis for Software Verification and Security
Author 
Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68670-7
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Author 
Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68690-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Introduction to Compiler Design
Introduction to Compiler Design
Author 
Mogensen, Torben Ægidius. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66966-3
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Author 
Draheim, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55198-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Author 
Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71237-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action