Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(37)
Meseguer, José. editor.
(3)
Jones, Cliff B. editor.
(2)
Liu, Zhiming. editor.
(2)
Rozenberg, Grzegorz. editor.
(2)
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
38 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULT_TR
Yazdır
37. 
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday için kapak resmi
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Yazar 
Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106663
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
The mythical man-month : essays on software engineering için kapak resmi
The mythical man-month : essays on software engineering
Yazar 
Brooks, Frederick P. (Frederick Phillips)
Yer Numarası 
QA76.758 B75 1995
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya: