Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
3 sonuç bulundu Arama sonuçlarına abone ol
000DEFAULT_TR
Yazdır
1. 
Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings için kapak resmi
Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings
Yazar 
Hutter, Dieter. editor. Ullmann, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b135497
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
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:
3. 
Rippling: Meta-Level Guidance for Mathematical Reasoning için kapak resmi
Rippling: Meta-Level Guidance for Mathematical Reasoning
Yazar 
Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: