Arama Sonuçlarını Sınırlandır
Yazar
Dil
Konu
Materyal Türü
580 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
Yazar 
Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.
Yer Numarası 
P98
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
Pejrolo, Andrea.
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
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 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
Chowdhary, K.R. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
Klüver, Christina. author. Klüver, Jürgen. author. Schmidt, Jörn. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: