Search Results for Recursive functions.

1.

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:

2.

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:

3.

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.

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:

5.

Python for Data Science

Yazar

Muddana, A. Lakshmi. author. Vinayakam, Sandhya. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-52473-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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:

7.

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:

8.

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:

9.

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:

10.

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:

11.

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:

12.

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:

13.

Economic Model Predictive Control Theory, Formulations and Chemical Process Applications

Yazar

Ellis, Matthew. author. Liu, Jinfeng. author. Christofides, Panagiotis D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41108-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

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:

15.

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:

16.

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:

17.

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:

18.

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:

19.

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:

20.

Recursive identification and parameter estimation

Yazar

Chen, Hanfu, author. Zhao, Wenxiao, author.

Yer Numarası

TA168 .C476 2014

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Continuous time dynamical systems : state estimation and optimal control with orthogonal functions

Yazar

Mohan, B. M. (Bosukonda Murali), author. Kar, S. K.

Yer Numarası

QA404.5 .M64 2013

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Combinatory logic : pure, applied and typed

Yazar

Bimbo, Katalin, 1963, author.

Yer Numarası

QA9.5 .B56 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

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:

24.

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:

25.

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:

26.

The handbook of formulas and tables for signal processing

Yazar

Poularikas, Alexander D., 1933- author.

Yer Numarası

TK5102.9 .P677 1999

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

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:

28.

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:

29.

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:

30.

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:

	{displayName}	{count}
{error}