Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
5 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULT_TR
Yazdır
1. 
Model-Based Requirements Engineering için kapak resmi
Model-Based Requirements Engineering
Yazar 
Holt, Jon Perry, Simon A Brownsword, Mike
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBPC009E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
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:
3. 
Handbook of automated reasoning için kapak resmi
Handbook of automated reasoning
Yazar 
Robinson, J. A. (John Alan) Voronkov, Andrei, 1959-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444508133
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Mathematics mechanization and applications için kapak resmi
Mathematics mechanization and applications
Yazar 
Gao, Xiao-Shan. Wang, Dongming, 1961-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780127347608
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Communication complexity a new approach to circuit depth için kapak resmi
Communication complexity a new approach to circuit depth
Yazar 
Karchmer, Mauricio.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267292
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: