Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(530)
Uszkoreit, Hans. editor.
(33)
Rehm, Georg. editor.
(32)
Wiley InterScience (Online service)
(12)
Lopez, Cesar. author.
(11)
Dil
Yayın Yılı
-
Konu
Computer science.
(332)
Translators (Computer programs).
(247)
Compilers (Computer programs).
(217)
Compilers and Interpreters.
(217)
Artificial intelligence.
(204)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
1134 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
Yazar 
Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66902-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures için kapak resmi
Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Yazar 
Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60074-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings için kapak resmi
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Yazar 
Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66176-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Yazar 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54580-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Smart Card Research and Advanced Applications 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised Selected Papers için kapak resmi
Smart Card Research and Advanced Applications 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised Selected Papers
Yazar 
Lemke-Rust, Kerstin. editor. Tunstall, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54669-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Low Level X Window Programming An Introduction by Examples için kapak resmi
Low Level X Window Programming An Introduction by Examples
Yazar 
Maloney, Ross J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-74250-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Functional software size measurement methodology with effort estimation and performance indication için kapak resmi
Functional software size measurement methodology with effort estimation and performance indication
Yazar 
Singh, Jasveer, 1955- author.
Yer Numarası 
QA76.76 .S65 S56 2017 EB
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119238126
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Earthquake occurrence : short- and long-term models and their validation için kapak resmi
Earthquake occurrence : short- and long-term models and their validation
Yazar 
Console, Rodolfo, 1944- author. Murru, Maura, author. Falcone, Giuseppe (Geophysicist), author.
Yer Numarası 
QE534.3
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119372301
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Swift in the cloud için kapak resmi
Swift in the cloud
Yazar 
Williamson, Leigh, author.
Yer Numarası 
QA76.73 .S95
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119368502
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Windows 10 Anniversary update bible için kapak resmi
Windows 10 Anniversary update bible
Yazar 
Tidrow, Rob, author. Boyce, Jim, 1958- author. Shapiro, Jeffrey R., author.
Yer Numarası 
QA76.76 .O63
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119416999
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
A data scientist's guide to acquiring, cleaning and managing data in R için kapak resmi
A data scientist's guide to acquiring, cleaning and managing data in R
Yazar 
Buttrey, Samuel, author. Whitaker, Lyn R., author.
Yer Numarası 
QA76.9 .D26
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119080053
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Programming ArcGIS Pro with Python için kapak resmi
Programming ArcGIS Pro with Python
Yazar 
Pimpler, Eric.
Yer Numarası 
G70.212 P567 2017
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
Eylem Seç