Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(133)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(4)
Schmidt, Renate A. editor.
(3)
Anwar, Sajid. editor. (orcid)0000-0003-3393-1656
(2)
Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408
(2)
Dil
English
(161)
Yayın Yılı
-
Konu
Computer science.
(80)
Computer Science Logic and Foundations of Programming.
(73)
Software engineering.
(65)
Formal Languages and Automata Theory.
(58)
Machine theory.
(58)
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ç
161 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings için kapak resmi
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Yazar 
Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74234-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
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:
15. 
Proceedings of International Conference on Information Technology and Applications ICITA 2024 için kapak resmi
Proceedings of International Conference on Information Technology and Applications ICITA 2024
Yazar 
Ullah, Abrar. editor. Anwar, Sajid. editor. (orcid)0000-0003-3393-1656 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-1758-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings için kapak resmi
Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings
Yazar 
Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97100-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Quantum artificial intelligence with Qiskit. için kapak resmi
Quantum artificial intelligence with Qiskit.
Yazar 
Wichert, Andrzej, author.
Yer Numarası 
Q335
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003374404
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:
18. 
Game AI uncovered. Volume two için kapak resmi
Game AI uncovered. Volume two
Yazar 
Roberts, Paul (Game programmer), editor.
Yer Numarası 
GV1469.3
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003323549
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:
19. 
Choreomata : performance and performativity after AI için kapak resmi
Choreomata : performance and performativity after AI
Yazar 
Trillo, Roberto Alonso, 1983- editor. Poliks, Marek, editor.
Yer Numarası 
PN1584
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003312338
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:
20. 
INTELLIGENT AUTOMATION bridging the gap between business and academia. için kapak resmi
INTELLIGENT AUTOMATION bridging the gap between business and academia.
Yazar 
Myers, Marie, editor. Brace, Carol, editor. Carden, Lila, editor.
Yer Numarası 
Q335
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003276128
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:
21. 
GAME AI UNCOVERED. Volume one için kapak resmi
GAME AI UNCOVERED. Volume one
Yazar 
Roberts, Paul (Game programmer) Dent, Nicholas (Illustrator)
Yer Numarası 
GV1469.3
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003324102
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:
22. 
Programming with GitHub Copilot : Write Better Code--Faster! için kapak resmi
Programming with GitHub Copilot : Write Better Code--Faster!
Yazar 
Dowswell, Kurt, author.
Yer Numarası 
QA76.76 .D47
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319787
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings için kapak resmi
Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings
Yazar 
Cho, Da-Jung. editor. (orcid)0000-0002-5265-8520 Kim, Jongmin. editor. (orcid)0000-0002-2713-1006 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63742-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I için kapak resmi
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Yazar 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63498-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç