Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(9)
Agarwal, Sonali. editor.
(1)
Baier, Christel. editor.
(1)
Beckmann, Arnold. editor.
(1)
Bellanger, Maurice, author.
(1)
Dil
Yayın Yılı
-
Konu
Recursive functions.
(7)
Mathematical optimization.
(2)
Amazon Web Services (Firm)
(1)
Apprentissage automatique.
(1)
Big data -- Data processing.
(1)
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ç
27 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Formal systems and recursive functions için kapak resmi
Formal systems and recursive functions
Yazar 
Crossley, John N. Dummett, Michael, 1925-2011.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534057
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Formal systems and recursive functions : proceeding için kapak resmi
Formal systems and recursive functions : proceeding
Yazar 
Logic Colloquium (8th : 1963 : Oxford).
Yer Numarası 
BC 135 L8292 1965
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
The foundations of intuitionistic mathematics : especially in relation to recursive functions için kapak resmi
The foundations of intuitionistic mathematics : especially in relation to recursive functions
Yazar 
Kleene, Stephen Cole, 1909- Vesley, Richard Eugene, ort. yaz.
Yer Numarası 
QA 248.5 K652 1965
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4. 
Cybernetical intelligence : engineering cybernetics with machine intelligence için kapak resmi
Cybernetical intelligence : engineering cybernetics with machine intelligence
Yazar 
Wong, Kelvin K. L., author.
Yer Numarası 
Q325.5 .W637 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394217519
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Digital speech transmission and enhancement için kapak resmi
Digital speech transmission and enhancement
Yazar 
Vary, Peter, author. Martin, Rainer, author.
Yer Numarası 
TK5103.7 .V37 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119060970
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Digital signal processing : theory and practice için kapak resmi
Digital signal processing : theory and practice
Yazar 
Bellanger, Maurice, author. Engel, Benjamin A., translator.
Yer Numarası 
TK5102.9 .B4513 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394182695
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV için kapak resmi
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV
Yazar 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-1639-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part II için kapak resmi
Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part II
Yazar 
Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45389-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Data analytics in the AWS cloud : building a data platform for BI and predictive analytics on AWS için kapak resmi
Data analytics in the AWS cloud : building a data platform for BI and predictive analytics on AWS
Yazar 
Minichino, Joe, author.
Yer Numarası 
QA76.585 .M56 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320677
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings için kapak resmi
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
Yazar 
Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15579-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings için kapak resmi
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Yazar 
Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-20028-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: