40 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. 
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ı: 
Systems Theory, Control. https://scigraph.springernature.com/ontologies/product-market-codes/M13070
2. 
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ı: 
Software Engineering/Programming and Operating Systems.
3. 
Incompleteness for Higher-Order Arithmetic An Example Based on Harrington’s Principle için kapak resmi
Incompleteness for Higher-Order Arithmetic An Example Based on Harrington’s Principle
Incompleteness for Higher-Order Arithmetic An Example Based on Harrington’s Principle
Yazar 
Cheng, Yong. author.
https://doi.org/10.1007/978-981-13-9949-7
Format: 
Electronic Resources
Alıntı: 
provable in second order arithmetic. The book also examines what is the minimal system in higher order
4. 
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ı: 
Computational Complexity of Solving Equation Systems Broniek, Przemysław. author.
5. 
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ı: 
Introduction to Concurrency Theory Transition Systems and CCS / Gorrieri, Roberto. author.
Tümünü Seç
40 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(40)
Dediu, Adrian-Horia. editor.
(3)
Martín-Vide, Carlos. editor.
(3)
Truthe, Bianca. editor.
(3)
Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634
(2)
Format
Dil
Basım Yılı
Konu
Mathematical Logic and Formal Languages.
(35)
Computer science.
(23)
Software engineering.
(18)
Artificial intelligence.
(17)
Computer logic.
(17)
Materyal Türü
Lokasyon
Kütüphane
Git:Arama SonuçlarıSayfa BaşıArama Filtreleri

TED Üniversitesi

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

Powered by Informascope