33 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
13. 
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior için kapak resmi
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
Yazar 
Schultz, Patrick. author.
https://doi.org/10.1007/978-3-030-00704-1
Format: 
Electronic Resources
Alıntı: 
Progress in Computer Science and Applied Logic,
14. 
Introduction to Concurrency Theory Transition Systems and CCS için kapak resmi
Introduction to Concurrency Theory Transition Systems and CCS
Introduction to Concurrency Theory Transition Systems and CCS
Yazar 
Gorrieri, Roberto. author.
http://dx.doi.org/10.1007/978-3-319-21491-7
Format: 
Electronic Resources
Alıntı: 
Texts in Theoretical Computer Science. An EATCS Series,
15. 
Petri Net Synthesis için kapak resmi
Petri Net Synthesis
Petri Net Synthesis
Yazar 
Badouel, Eric. author.
http://dx.doi.org/10.1007/978-3-662-47967-4
Format: 
Electronic Resources
Alıntı: 
Texts in Theoretical Computer Science. An EATCS Series,
16. 
Process Algebras for Petri Nets The Alphabetization of Distributed Systems için kapak resmi
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Yazar 
Gorrieri, Roberto. author.
https://doi.org/10.1007/978-3-319-55559-1
Format: 
Electronic Resources
Alıntı: 
Monographs in Theoretical Computer Science. An EATCS Series,
17. 
Turing Computability Theory and Applications için kapak resmi
Turing Computability Theory and Applications
Turing Computability Theory and Applications
Yazar 
Soare, Robert I. author.
http://dx.doi.org/10.1007/978-3-642-31933-4
Format: 
Electronic Resources
Alıntı: 
Computer science -- Mathematics.
18. 
Finitely Supported Mathematics An Introduction için kapak resmi
Finitely Supported Mathematics An Introduction
Finitely Supported Mathematics An Introduction
Yazar 
Alexandru, Andrei. author.
http://dx.doi.org/10.1007/978-3-319-42282-4
Format: 
Electronic Resources
Alıntı: 
Computer science -- Mathematics.
19. 
Computational Complexity of Solving Equation Systems için kapak resmi
Computational Complexity of Solving Equation Systems
Computational Complexity of Solving Equation Systems
Yazar 
Broniek, Przemysław. author.
http://dx.doi.org/10.1007/978-3-319-21750-5
Format: 
Electronic Resources
Alıntı: 
Computer science.
22. 
Logical Foundations of Cyber-Physical Systems için kapak resmi
Logical Foundations of Cyber-Physical Systems
Logical Foundations of Cyber-Physical Systems
Yazar 
Platzer, André. author.
https://doi.org/10.1007/978-3-319-63588-0
Format: 
Electronic Resources
Alıntı: 
Computer science.
Tümünü Seç
33 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(33)
Baltag, Alexandru. editor.
(2)
Gorrieri, Roberto. author.
(2)
Schlechta, Karl. author.
(2)
Akama, Seiki. editor.
(1)
Format
Basım Yılı
Konu
Mathematical logic.
(20)
Computer science.
(19)
Mathematical Logic and Formal Languages.
(16)
Logic, Symbolic and mathematical.
(13)
Artificial intelligence.
(10)
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