Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(122)
Antoš, David. editor.
(2)
Bloem, Roderick. editor.
(2)
Henzinger, Thomas A. editor.
(2)
Legay, Axel. editor.
(2)
Dil
English
(123)
Yayın Yılı
-
Konu
Computer science.
(66)
Mathematical logic.
(48)
Mathematical Logic and Formal Languages.
(43)
Logic design.
(40)
Artificial intelligence.
(39)
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ç
123 sonuç bulundu Arama sonuçlarına abone ol
000DEFAULT_TR
Yazdır
121. 
Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings için kapak resmi
Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings
Yazar 
Rosca, Justinian. editor. Erdogmus, Deniz. editor. Príncipe, José C. editor. Haykin, Simon. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11679363
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
122. 
Adapting Proofs-as-Programs The Curry-Howard Protocol için kapak resmi
Adapting Proofs-as-Programs The Curry-Howard Protocol
Yazar 
Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-28183-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
123. 
Categories for Software Engineering için kapak resmi
Categories for Software Engineering
Yazar 
Fiadeiro, José Luiz. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138249
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç