Arama Sonuçlarını Sınırlandır
Yazar
Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.
Yer Numarası
P98
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Pejrolo, Andrea.
Yer Numarası
ONLINE
Elektronik Erişim
ScienceDirect http://www.sciencedirect.com/science/book/9780240522166
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Li, Wei. author. SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Workshop on computer science logic (2nd : 1988 : Duisburg Germany) Büning, H. K., ort. yaz. Richter, M. M., ort. yaz.
Yer Numarası
QA 76.9.M35 W67 1988
Format:
Durum
Beytepe Kütüphanesi~1
Kopya:
Yazar
Duraklar, Kazım author.
Yer Numarası
QA76.9 .A25
Elektronik Erişim
Taylor & Francis https://www.taylorfrancis.com/books/9781003597445
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Martiri, Edlira, editor Vajjhala, Narasimha, 1978- editor. Dalipi, Fisnik, editor
Yer Numarası
QA76.9 .A25
Elektronik Erişim
Taylor & Francis https://www.taylorfrancis.com/books/9781003504979
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Eylem Seç


