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)
Bianchi, Reinaldo A. C. editor.
(1)
Dil
Yayın Yılı
-
Konu
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ç
22 sonuç bulundu Arama sonuçlarına abone ol
0000000000000000000000DEFAULT_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. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings için kapak resmi
Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Yazar 
Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-16501-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
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:
11. 
Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers için kapak resmi
Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Yazar 
Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28475-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
SVA: The Power of Assertions in SystemVerilog için kapak resmi
SVA: The Power of Assertions in SystemVerilog
Yazar 
Cerny, Eduard. author. Dudani, Surrendra. author. Havlicek, John. author. Korchemny, Dmitry. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-07139-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
Recursive identification and parameter estimation için kapak resmi
Recursive identification and parameter estimation
Yazar 
Chen, Hanfu, author. Zhao, Wenxiao, author.
Yer Numarası 
ONLINE(357129.1)
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Continuous time dynamical systems state estimation and optimal control with orthogonal functions için kapak resmi
Continuous time dynamical systems state estimation and optimal control with orthogonal functions
Yazar 
Mohan, B. M. (Bosukonda Murali) Kar, S. K.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Combinatory logic pure, applied and typed için kapak resmi
Combinatory logic pure, applied and typed
Yazar 
Bimb,̤ Katalin, 1963-
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Stochastic processes estimation, optimization, & analysis için kapak resmi
Stochastic processes estimation, optimization, & analysis
Yazar 
Najim, K. Ikonen, Enso, 1965- Daoud, Ait-Kadi.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781903996553
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Pyramid algorithms a dynamic programming approach to curves and surfaces for geometric modeling için kapak resmi
Pyramid algorithms a dynamic programming approach to curves and surfaces for geometric modeling
Yazar 
Goldman, Ron, 1947-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781558603547
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Recursive macroeconomic theory için kapak resmi
Recursive macroeconomic theory
Yazar 
Ljungqvist, Lars. Sargent, Thomas J., ort. yaz.
Yer Numarası 
HB 172.5 L59 2000
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
19. 
Recursive functionals için kapak resmi
Recursive functionals
Yazar 
Sanchis, Luis E.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444894472
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Elementary induction on abstract structures için kapak resmi
Elementary induction on abstract structures
Yazar 
Moschovakis, Yiannis N.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105370
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Degrees of unsolvability için kapak resmi
Degrees of unsolvability
Yazar 
Shoenfield, Joseph Robert.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720420616
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 için kapak resmi
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
Yazar 
Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422610
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: