Arama Sonuçlarını Sınırlandır
Yazar
Bernardo, Marco. editor.
(2)
Garcia Diaz, Vicente. editor.
(2)
Geroimenko, Vladimir. editor.
(2)
Geshi, Masaaki. editor.
(2)
Hunt, John. author.
(2)
Dil
Yayın Yılı
-
Konu
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ç
97 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures için kapak resmi
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası 
XX(519008.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-18941-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures için kapak resmi
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Yazar 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13678-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Automatic Quantum Computer Programming A Genetic Programming Approach için kapak resmi
Automatic Quantum Computer Programming A Genetic Programming Approach
Yazar 
Spector, Lee. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-36791-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Mathematical and Computer Programming Techniques for Computer Graphics için kapak resmi
Mathematical and Computer Programming Techniques for Computer Graphics
Yazar 
Comninos, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-292-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention için kapak resmi
Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention
Yazar 
Trappl, Robert. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-4390-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III için kapak resmi
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
Yazar 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Yer Numarası 
XX(520246.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-2449-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Parallel Programming for Multicore and Cluster Systems için kapak resmi
Parallel Programming for Multicore and Cluster Systems
Yazar 
Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)
Yer Numarası 
XX(520312.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28924-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers için kapak resmi
Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Yazar 
Pesado, Patricia. editor. SpringerLink (Online service)
Yer Numarası 
XX(520411.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34147-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Higher Education Computer Science A Manual of Practical Approaches için kapak resmi
Higher Education Computer Science A Manual of Practical Approaches
Yazar 
Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)
Yer Numarası 
XX(520416.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29386-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Advanced Guide to Python 3 Programming için kapak resmi
Advanced Guide to Python 3 Programming
Yazar 
Hunt, John. author. SpringerLink (Online service)
Yer Numarası 
XX(520649.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40336-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Autonomous Driving Perception Fundamentals and Applications için kapak resmi
Autonomous Driving Perception Fundamentals and Applications
Yazar 
Fan, Rui. editor. Guo, Sicen. editor. Bocus, Mohammud Junaid. editor. SpringerLink (Online service)
Yer Numarası 
XX(520694.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-4287-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Advances in Quantitative Ethnography 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8-12, 2023, Proceedings için kapak resmi
Advances in Quantitative Ethnography 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8-12, 2023, Proceedings
Yazar 
Arastoopour Irgens, Golnaz. editor. Knight, Simon. editor. SpringerLink (Online service)
Yer Numarası 
XX(520715.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47014-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç