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
37. 
Rendezvous in Distributed Systems Theory, Algorithms and Applications için kapak resmi
Rendezvous in Distributed Systems Theory, Algorithms and Applications
Yazar 
Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-3680-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Models of Computation için kapak resmi
Models of Computation
Yazar 
Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42900-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs için kapak resmi
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Yazar 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
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:
41. 
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:
42. 
Sentiment Analysis in the Bio-Medical Domain Techniques, Tools, and Applications için kapak resmi
Sentiment Analysis in the Bio-Medical Domain Techniques, Tools, and Applications
Yazar 
Satapathy, Ranjan. author. Cambria, Erik. author. Hussain, Amir. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68468-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Artificial Neural Networks in Pattern Recognition 7th IAPR TC3 Workshop, ANNPR 2016, Ulm, Germany, September 28-30, 2016, Proceedings için kapak resmi
Artificial Neural Networks in Pattern Recognition 7th IAPR TC3 Workshop, ANNPR 2016, Ulm, Germany, September 28-30, 2016, Proceedings
Yazar 
Schwenker, Friedhelm. editor. Abbas, Hazem M. editor. El Gayar, Neamat. editor. Trentin, Edmondo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46182-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Domain-Specific Conceptual Modeling Concepts, Methods and Tools için kapak resmi
Domain-Specific Conceptual Modeling Concepts, Methods and Tools
Yazar 
Karagiannis, Dimitris. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. (orcid)0000-0002-8698-3292 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39417-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Evolutionary Computer Vision The First Footprints için kapak resmi
Evolutionary Computer Vision The First Footprints
Yazar 
Olague, Gustavo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-43693-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Topics in Grammatical Inference için kapak resmi
Topics in Grammatical Inference
Yazar 
Heinz, Jeffrey. editor. Sempere, José M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48395-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks için kapak resmi
Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks
Yazar 
Nikoletseas, Sotiris. editor. Yang, Yuanyuan. editor. Georgiadis, Apostolos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46810-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Computational Autism için kapak resmi
Computational Autism
Yazar 
Galitsky, Boris. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39972-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç