Search Results for Languages.

17 sonuç bulundu

1 2

00000DEFAULT_TR

13.

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Yazar

Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334987.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40672-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

Yazar

Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335202.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-45278-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

Yazar

Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334617.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38536-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

Yazar

Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334666.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38771-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Yazar

Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335032.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40948-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2

	{displayName}	{count}
{error}