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 
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 
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 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Yazar 
Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: