337 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
3. 
Validation of Evolving Software için kapak resmi
Validation of Evolving Software
Validation of Evolving Software
Yazar 
Chockler, Hana. editor.
http://dx.doi.org/10.1007/978-3-319-10623-6
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs.
4. 
Transactions on Petri Nets and Other Models of Concurrency X için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency X
Transactions on Petri Nets and Other Models of Concurrency X
Yazar 
Koutny, Maciej. editor.
http://dx.doi.org/10.1007/978-3-662-48650-4
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs.
5. 
Transactions on Petri Nets and Other Models of Concurrency IX için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency IX
Transactions on Petri Nets and Other Models of Concurrency IX
Yazar 
Koutny, Maciej. editor.
http://dx.doi.org/10.1007/978-3-662-45730-6
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs.
6. 
Transactions on Petri Nets and Other Models of Concurrency XI için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency XI
Transactions on Petri Nets and Other Models of Concurrency XI
Yazar 
Koutny, Maciej. editor.
http://dx.doi.org/10.1007/978-3-662-53401-4
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs.
7. 
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ı: 
Logics and Meanings of Programs.
8. 
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ı: 
Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market
11. 
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ı: 
Logics and Meanings of Programs.
Tümünü Seç
337 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(337)
Ölveczky, Peter Csaba. editor.
(5)
Artho, Cyrille. editor.
(4)
Kroening, Daniel. editor.
(4)
Lanese, Ivan. editor.
(4)
Format
Dil
English
(337)
Basım Yılı
2014
(100)
2015
(94)
2016
(80)
2019
(63)
Konu
Logics and Meanings of Programs.
(337)
Computer science.
(271)
Software engineering.
(251)
Mathematical logic.
(206)
Mathematical Logic and Formal Languages.
(203)
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