Search Results for Infinite.

1.

Infinite Abelian groups

Yazar

Fuchs, Laszlo.

Yer Numarası

QA 171 F9517 1970- V.1

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

2.

Dostoevsky and the epileptic mode of being

Yazar

Fung, Paul, author.

Yer Numarası

PG3328.Z6 F86 2015

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

3.

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Yazar

Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)

Yer Numarası

XX(519007.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-21690-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

Yazar

Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)

Yer Numarası

XX(519222.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-662-47672-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

Yazar

Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)

Yer Numarası

XX(519225.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-662-47666-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II

Yazar

Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)

Yer Numarası

XX(519031.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-15705-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

Yazar

Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

XX(519049.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-21500-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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ı

XX(519060.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-20028-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

Yazar

van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)

Yer Numarası

XX(519137.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-662-48561-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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:

11.

Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

Yazar

Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Yer Numarası

XX(519119.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}