Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(57)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(6)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(5)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Dil
Konu
Computer science.
(31)
Computer Science Logic and Foundations of Programming.
(29)
Computer programming.
(27)
Software engineering.
(26)
COMPUTERS / Computer Graphics / Game Programming & Design
(22)
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ç
98 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings için kapak resmi
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
Yazar 
Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-7956-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III için kapak resmi
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Yazar 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75778-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Nature appreciation : knowledge as art için kapak resmi
Nature appreciation : knowledge as art
Yazar 
Ursyn, Anna, 1955- author.
Yer Numarası 
QA268
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003619574
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Mastering technical art in Unreal Engine, Materials and VFX için kapak resmi
Mastering technical art in Unreal Engine, Materials and VFX
Yazar 
Penninck, Greg, author. Butler, Stuart, author.
Yer Numarası 
T385
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781032663852
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Mastering technical art in Unreal Engine, World building için kapak resmi
Mastering technical art in Unreal Engine, World building
Yazar 
Penninck, Greg, author. Butler, Stuart, author.
Yer Numarası 
T385
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781032663883
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Thermoelectrics : design and materials için kapak resmi
Thermoelectrics : design and materials
Yazar 
Lee, HoSung, author.
Yer Numarası 
TK2950 .L44 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394317387
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Financial data analytics with machine learning, optimization and statistics için kapak resmi
Financial data analytics with machine learning, optimization and statistics
Yazar 
Chen, Yongzhao, author. Cheung, Ka Chun, author. Fan, Kaiser, author. Yam, Phillip (Sheung Chi Phillip), author.
Yer Numarası 
HG104 .C44 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863403
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
The data science handbook için kapak resmi
The data science handbook
Yazar 
Cady, Field, 1984- author.
Yer Numarası 
QA76.9 .D32 C33 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394234523
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Applied satisfiability : cryptography, scheduling and coalitional games için kapak resmi
Applied satisfiability : cryptography, scheduling and coalitional games
Yazar 
Liao, Xiaojuan, author. Koshimura, Miyuki, author.
Yer Numarası 
QA76.9 .A3 L53 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394249817
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Alice and Bob learn secure coding için kapak resmi
Alice and Bob learn secure coding
Yazar 
Janca, Tanya. author.
Yer Numarası 
QA76.76 .D47
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277179
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Optimization in sustainable energy : methods and applications için kapak resmi
Optimization in sustainable energy : methods and applications
Yazar 
Chatterjee, Prasenjit, 1982- editor.
Yer Numarası 
TJ163.2 .O68 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242139
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers için kapak resmi
Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers
Yazar 
Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-84913-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç