Search Results for récursion.

1.

Mathematical logic : A course with exercises

Yazar

Cori, Rene. Lascar, Daniel, 1942- ort. yaz.

Yer Numarası

QA 9 C742513 2000 PT.1

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

2.

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 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

Pitts, Andrew. editor. (orcid) SpringerLink (Online service)

Yer Numarası

XX(519161.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-662-46678-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Programming Languages and Systems 24th European Symposium on Programming, ESOP 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

Vitek, Jan. editor. SpringerLink (Online service)

Yer Numarası

XX(519237.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-662-46669-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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ı

XX(519090.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-662-46681-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

Yazar

Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)

Yer Numarası

XX(519117.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-17142-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Language Production, Cognition, and the Lexicon

Yazar

Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)

Yer Numarası

XX(518530.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08043-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Data Structures and Algorithms with Python

Yazar

Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)

Yer Numarası

XX(518537.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-13072-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Yazar

Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)

Yer Numarası

XX(519135.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-23820-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Yazar

Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)

Yer Numarası

XX(519154.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}