Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(128)
Queiroz, Ruy. editor.
(7)
Bekki, Daisuke. editor.
(4)
Project Muse.
(4)
de Queiroz, Ruy. editor.
(4)
Dil
English
(178)
Yayın Yılı
-
Konu
Artificial intelligence.
(43)
Computer science.
(36)
Formal Languages and Automata Theory.
(17)
Machine theory.
(17)
Computational intelligence.
(14)
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ç
179 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Language, logic, and concepts : Essays in memory of John Macnamara için kapak resmi
Language, logic, and concepts : Essays in memory of John Macnamara
Yazar 
Macnamara, John Theodore. Jackendoff, Ray, 1945- ed. Bloom, Paul, 1963- ed. Wynn, Karen, ed.
Yer Numarası 
BF 201 L36 1999
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
50. 
Lies language and logic in the late Middle Ages için kapak resmi
Lies language and logic in the late Middle Ages
Yazar 
Spade, Paul Vincent.
Yer Numarası 
BC 34.S11 L54 1988
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
51. 
Foundations of logico-linquistics : a unified theory of information, language, and logic için kapak resmi
Foundations of logico-linquistics : a unified theory of information, language, and logic
Yazar 
Cooper, William S.
Yer Numarası 
P 39 C68 1978
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
52. 
Language, logic and genre : papes from the poetics and literary theory section, modern language association ;ed. by Wallace Martin. için kapak resmi
Language, logic and genre : papes from the poetics and literary theory section, modern language association ;ed. by Wallace Martin.
Yazar 
Martin, Wallace., ed.
Yer Numarası 
PN 45 L317 1974
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
53. 
Maths For Computing A Beginner's Guide için kapak resmi
Maths For Computing A Beginner's Guide
Yazar 
Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-69234-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Category Theory Using Haskell An Introduction with Moggi and Yoneda için kapak resmi
Category Theory Using Haskell An Introduction with Moggi and Yoneda
Yazar 
Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-68538-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024 için kapak resmi
Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024
Yazar 
Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-6957-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Intelligent Computing and Networking Proceedings of IC-ICN 2024 için kapak resmi
Intelligent Computing and Networking Proceedings of IC-ICN 2024
Yazar 
Ghinea, George. editor. (orcid)0000-0003-2578-5580 Semwal, Vijay Bhaskar. editor. Khandare, Anand. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-8631-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings için kapak resmi
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Yazar 
Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-84924-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Artificial Intelligence and Machine Learning Techniques in Engineering and Management için kapak resmi
Artificial Intelligence and Machine Learning Techniques in Engineering and Management
Yazar 
Srinivasa Raju, Komaragiri. author. (orcid)0009-0006-9268-8229 Nagesh Kumar, Dasika. author. (orcid)0000-0002-5294-8501 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-2621-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Foundations of Soft Logic için kapak resmi
Foundations of Soft Logic
Yazar 
Klein, Moshe. author. Maimon, Oded. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-58233-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Advanced Digital System Design A Practical Guide to Verilog Based FPGA and ASIC Implementation için kapak resmi
Advanced Digital System Design A Practical Guide to Verilog Based FPGA and ASIC Implementation
Yazar 
Roy, Shirshendu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-41085-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç