339 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ı: 
Progress in Computer Science and Applied Logic,
2. 
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,
3. 
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,
4. 
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.
5. 
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.
6. 
Regulated Grammars and Automata için kapak resmi
Regulated Grammars and Automata
Regulated Grammars and Automata
Yazar 
Meduna, Alexander. author.
http://dx.doi.org/10.1007/978-1-4939-0369-6
Format: 
Electronic Resources
Alıntı: 
Discrete Mathematics in Computer Science.
7. 
Directed Algebraic Topology and Concurrency için kapak resmi
Directed Algebraic Topology and Concurrency
Directed Algebraic Topology and Concurrency
Yazar 
Fajstrup, Lisbeth. author.
http://dx.doi.org/10.1007/978-3-319-15398-8
Format: 
Electronic Resources
Alıntı: 
Mathematical Applications in Computer Science.
8. 
Semantics of Probabilistic Processes An Operational Approach için kapak resmi
Semantics of Probabilistic Processes An Operational Approach
Semantics of Probabilistic Processes An Operational Approach
Yazar 
Deng, Yuxin. author.
http://dx.doi.org/10.1007/978-3-662-45198-4
Format: 
Electronic Resources
Alıntı: 
Probability and Statistics in Computer Science.
9. 
Concrete Semantics With Isabelle/HOL için kapak resmi
Concrete Semantics With Isabelle/HOL
Concrete Semantics With Isabelle/HOL
Yazar 
Nipkow, Tobias. author.
http://dx.doi.org/10.1007/978-3-319-10542-0
Format: 
Electronic Resources
Alıntı: 
Computer science.
10. 
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.
Tümünü Seç
339 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(339)
Bouchon-Meunier, Bernadette. editor.
(5)
Yager, Ronald R. editor.
(5)
Martín-Vide, Carlos. editor.
(4)
Potapov, Igor. editor.
(4)
Format
Dil
English
(339)
Basım Yılı
2014
(101)
2015
(91)
2016
(83)
2019
(64)
Konu
Mathematical Logic and Formal Languages.
(329)
Computer science.
(271)
Computer logic.
(198)
Logics and Meanings of Programs.
(193)
Software engineering.
(166)
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