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
Rojas, Raúl. author. SpringerLink (Online service)
Yer Numarası
XX(520704.1)
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)
Yer Numarası
XX(520518.1)
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Yer Numarası
XX(520889.1)
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Yer Numarası
XX(520898.1)
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)
Yer Numarası
XX(520416.1)
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Koch, Fernando. editor. (orcid)0000-0001-7136-3253 Koster, Andrew. editor. (orcid)0000-0001-5976-7183 Riaño, David. editor. (orcid)0000-0002-1608-0215 Montagna, Sara. editor. (orcid)0000-0001-5390-4319 Schumacher, Michael. editor. (orcid)0000-0001-6522-4556
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Fiadeiro, José Luiz. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
van Bevern, René. editor. (orcid)0000-0002-4805-218X Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424 SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Eylem Seç