Search Results for Model theory.

5 sonuç bulundu

00000DEFAULT_TR

Finite Model Theory and Its Applications

Yazar

Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-68804-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

Yazar

Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334691.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings

Yazar

Hu, Zhenjiang. editor. Lara, Juan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30476-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings

Yazar

Cabot, Jordi. editor. Visser, Eelco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Yazar

Tratt, Laurence. editor. Gogolla, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-13688-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}