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 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:
14. 
Cover image for R ile çıkarımsal istatistik
R ile çıkarımsal istatistik
Author 
Gürsakal, Necmi
Preferred Shelf Number 
QA276.45.R3 G88 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
15. 
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 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
16. 
Cover image for SPSS statistics for data analysis and visualization
SPSS statistics for data analysis and visualization
Author 
McCormick, Keith (Consultant), author. Salcedo, Jesus, author. Peck, Jon, author. Wheeler, Andrew, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Author 
Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51046-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings
Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings
Author 
de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65578-9
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
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:
21. 
Cover image for Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54434-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Handbook of typography for the mathematical sciences
Handbook of typography for the mathematical sciences
Author 
KRANTZ, STEVEN G.
Preferred Shelf Number 
Z253.4 .T47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429123658
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Programming ArcGIS Pro with Python
Programming ArcGIS Pro with Python
Author 
Pimpler, Eric.
Preferred Shelf Number 
G70.212 P567 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
24. 
Cover image for Earthquake occurrence : short- and long-term models and their validation
Earthquake occurrence : short- and long-term models and their validation
Author 
Console, Rodolfo, 1944- author. Murru, Maura, author. Falcone, Giuseppe (Geophysicist), author.
Preferred Shelf Number 
QE534.3
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119372301
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action