100 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. 
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.
2. 
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.
5. 
Practical Analysis of Algorithms için kapak resmi
Practical Analysis of Algorithms
Practical Analysis of Algorithms
Yazar 
Vrajitoru, Dana. author.
http://dx.doi.org/10.1007/978-3-319-09888-3
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs.
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ı: 
Logics and Meanings of Programs.
Tümünü Seç
100 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(100)
Ait Ameur, Yamine. editor.
(2)
Bondavalli, Andrea. editor.
(2)
Gheorghe, Marian. editor.
(2)
Giannakopoulou, Dimitra. editor.
(2)
Format
Dil
English
(100)
Konu
Computer logic.
(100)
Logics and Meanings of Programs.
(100)
Computer science.
(99)
Software engineering.
(71)
Mathematical Logic and Formal Languages.
(58)
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