Limit Search Results
Author
SpringerLink (Online service)
(37)
Project Muse.
(3)
Seidl, Helmut. author.
(3)
Wilhelm, Reinhard. author.
(3)
Wilson, Romer, 1891-1930, compiler.
(3)
Language
Publication Date
-
Subject
Computer science.
(16)
Software engineering.
(10)
DERLEME (ELEKTRONİK BİLGİSAYARLAR).
(8)
Artificial intelligence.
(6)
Compilers (Computer programs)
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
103 Results Found Subscribe to search results
000000000000DEFAULT
Print
73. 
Cover image for Aynü’l-hayat : fi tefsiri kelami halıkı’l-beriyyat bi-iradi ahseni’l-i’tirazat
Aynü’l-hayat : fi tefsiri kelami halıkı’l-beriyyat bi-iradi ahseni’l-i’tirazat
Author 
İlyâs B. Muhammed B. Ali, author. Alpaydın, Mehmet Akif, 1986- compiler. Duman, Musa, editor.
Preferred Shelf Number 
BP130.4 I49 2021 V.1
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
74. 
Cover image for A sleepless eye aphorisms from the Sahara
A sleepless eye aphorisms from the Sahara
Author 
Kūnī, Ibrāhīm, author. Sebe, Alain, photographer. Allen, Roger, translator. Fähndrich, Hartmut, compiler. Project Muse, distributor.
Preferred Shelf Number 
ONLINE(322939.1)
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Professor Unrat, oder, Das Ende eines Tyrannen : roman
Professor Unrat, oder, Das Ende eines Tyrannen : roman
Author 
Mann, Heinrich, 1871-1950. Wolff, Rudolf, writer of afterword. Schneider, Peter-Paul, compiler.
Preferred Shelf Number 
PT2625.A43 P7 1994
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
76. 
Cover image for Professional C++
Professional C++
Author 
Gregoire, Marc (Software engineer), author.
Preferred Shelf Number 
QA76.73 .C153 G733 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193202
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Artificial intelligence in process fault diagnosis : methods for plant surveillance
Artificial intelligence in process fault diagnosis : methods for plant surveillance
Author 
Fickelscherer, Richard J., author.
Preferred Shelf Number 
TP155.75
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119825920
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24950-1
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Author 
Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25803-9
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings
Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings
Author 
Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29315-3
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Information Security and Privacy 28th Australasian Conference, ACISP 2023, Brisbane, QLD, Australia, July 5-7, 2023, Proceedings
Information Security and Privacy 28th Australasian Conference, ACISP 2023, Brisbane, QLD, Australia, July 5-7, 2023, Proceedings
Author 
Simpson, Leonie. editor. Rezazadeh Baee, Mir Ali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35486-1
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
Author 
Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32041-5
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
Author 
Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40843-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action