484 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000DEFAULTTR
Yazdır
1. 
Answer Set Programming için kapak resmi
Answer Set Programming
Answer Set Programming
Yazar 
Lifschitz, Vladimir. author.
https://doi.org/10.1007/978-3-030-24658-7
Format: 
Electronic Resources
Alıntı: 
SpringerLink (Online service)
2. 
Towards Paraconsistent Engineering için kapak resmi
Towards Paraconsistent Engineering
Towards Paraconsistent Engineering
Yazar 
Akama, Seiki. editor.
http://dx.doi.org/10.1007/978-3-319-40418-9
Format: 
Electronic Resources
Alıntı: 
SpringerLink (Online service)
3. 
A First Introduction to Quantum Computing and Information için kapak resmi
A First Introduction to Quantum Computing and Information
A First Introduction to Quantum Computing and Information
Yazar 
Zygelman, Bernard. author.
https://doi.org/10.1007/978-3-319-91629-3
Format: 
Electronic Resources
Alıntı: 
SpringerLink (Online service)
5. 
Krister Segerberg on Logic of Actions için kapak resmi
Krister Segerberg on Logic of Actions
Krister Segerberg on Logic of Actions
Yazar 
Trypuz, Robert. editor.
http://dx.doi.org/10.1007/978-94-007-7046-1
Format: 
Electronic Resources
Alıntı: 
SpringerLink (Online service)
7. 
Logics for Computer Science Classical and Non-Classical için kapak resmi
Logics for Computer Science Classical and Non-Classical
Logics for Computer Science Classical and Non-Classical
Yazar 
Wasilewska, Anita. author.
https://doi.org/10.1007/978-3-319-92591-2
Format: 
Electronic Resources
Alıntı: 
SpringerLink (Online service)
9. 
Verification of Business Rules Programs için kapak resmi
Verification of Business Rules Programs
Verification of Business Rules Programs
Yazar 
Berstel-Da Silva, Bruno. author.
http://dx.doi.org/10.1007/978-3-642-40038-4
Format: 
Electronic Resources
Alıntı: 
SpringerLink (Online service)
10. 
Dag Prawitz on Proofs and Meaning için kapak resmi
Dag Prawitz on Proofs and Meaning
Dag Prawitz on Proofs and Meaning
Yazar 
Wansing, Heinrich. editor.
http://dx.doi.org/10.1007/978-3-319-11041-7
Format: 
Electronic Resources
Alıntı: 
SpringerLink (Online service)
Tümünü Seç
484 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(484)
Potapov, Igor. editor.
(6)
Ölveczky, Peter Csaba. editor.
(6)
Artho, Cyrille. editor.
(5)
Duan, Zhenhua. editor.
(5)
Format
Dil
English
(484)
Basım Yılı
Konu
Computer science.
(394)
Software engineering.
(358)
Computer logic.
(337)
Mathematical Logic and Formal Languages.
(290)
Programming Languages, Compilers, Interpreters.
(226)
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope