Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(55)
Panitz, Sven Eric. author.
(2)
Steinbacher, Andreas F. author.
(2)
Yao, Xin. editor.
(2)
Abbas, Hazem M. editor.
(1)
Dil
Yayın Yılı
-
Konu
Theory of Computation.
(21)
Artificial intelligence.
(17)
Computer Science Logic and Foundations of Programming.
(9)
Software engineering.
(9)
Computer science -- Mathematics.
(8)
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ç
58 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications için kapak resmi
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Yazar 
Downey, Rod. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-53744-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
A Beginner's Guide to Informatics and Artificial Intelligence A Short Course Towards Practical Problem Solving için kapak resmi
A Beginner's Guide to Informatics and Artificial Intelligence A Short Course Towards Practical Problem Solving
Yazar 
Weng, Wei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-1477-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization için kapak resmi
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
Yazar 
Blum, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-60103-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Applied Assistive Technologies and Informatics for Students with Disabilities için kapak resmi
Applied Assistive Technologies and Informatics for Students with Disabilities
Yazar 
Kaluri, Rajesh. editor. Mahmud, Mufti. editor. Gadekallu, Thippa Reddy. editor. (orcid)0000-0003-0097-801X Rajput, Dharmendra Singh. editor. Lakshmanna, Kuruva. editor. (orcid)0000-0003-3480-4851
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-0914-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications için kapak resmi
Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications
Yazar 
Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43540-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Foundations for Functional Modeling of Technical Artefacts için kapak resmi
Foundations for Functional Modeling of Technical Artefacts
Yazar 
Lind, Morten. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45918-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Artificial Intelligence and Brain Research Neural Networks, Deep Learning and the Future of Cognition için kapak resmi
Artificial Intelligence and Brain Research Neural Networks, Deep Learning and the Future of Cognition
Yazar 
Krauss, Patrick. author. (orcid)0000-0002-6611-7733 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-68980-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Computer science security : concepts and tools için kapak resmi
Computer science security : concepts and tools
Yazar 
Zaidoun, Ameur Salem, author.
Yer Numarası 
QA76.9 .A25 Z35 2022
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163847
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools için kapak resmi
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Yazar 
Mahmood, Zaigham. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54325-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II için kapak resmi
Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II
Yazar 
Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63312-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
String Analysis for Software Verification and Security için kapak resmi
String Analysis for Software Verification and Security
Yazar 
Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68670-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Modern Language Models and Computation Theory with Applications için kapak resmi
Modern Language Models and Computation Theory with Applications
Yazar 
Meduna, Alexander. author. Soukup, Ondřej. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63100-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç