Arama Sonuçlarını Sınırlandır
Yazar
Konu
Materyal Türü
237 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
Yazar 
Li, Wei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
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
Rafta:
Kopya:
Yazar 
Rojas, Raúl. author. SpringerLink (Online service)
Yer Numarası 
XX(520704.1)
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
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)
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Yer Numarası 
XX(520889.1)
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Yer Numarası 
XX(520898.1)
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)
Yer Numarası 
XX(520416.1)
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
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
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
Fiadeiro, José Luiz. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
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
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: