Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Computer science-Mathematics.
(21)
Probability and Statistics in Computer Science.
(21)
Computer science.
(16)
Computer Science Logic and Foundations of Programming.
(14)
Formal Languages and Automata Theory.
(9)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
21 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
1. 
Sets, Logic and Maths for Computing için kapak resmi
Sets, Logic and Maths for Computing
by 
Makinson, David. author.
https://doi.org/10.1007/978-1-4471-2500-6
Format: 
Alıntı: 
Sets, Logic and Maths for Computing Makinson, David. author.
2. 
Sets, Logic and Maths for Computing için kapak resmi
Sets, Logic and Maths for Computing
by 
Makinson, David. author.
https://doi.org/10.1007/978-1-84628-845-6
Format: 
Alıntı: 
Sets, Logic and Maths for Computing Makinson, David. author.
3. 
A Graph-Theoretic Approach to Enterprise Network Dynamics için kapak resmi
A Graph-Theoretic Approach to Enterprise Network Dynamics
by 
Bunke, Horst. author.
https://doi.org/10.1007/978-0-8176-4519-9
Format: 
Alıntı: 
Progress in Computer Science and Applied Logic,
4. 
Probabilistic Logics and Probabilistic Networks için kapak resmi
Probabilistic Logics and Probabilistic Networks
by 
Haenni, Rolf. author.
https://doi.org/10.1007/978-94-007-0008-6
Format: 
Alıntı: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
5. 
Degrees of Belief için kapak resmi
Degrees of Belief
by 
Huber, Franz. editor.
https://doi.org/10.1007/978-1-4020-9198-8
Format: 
Alıntı: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
6. 
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers için kapak resmi
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
by 
Bonsangue, Marcello M. editor.
https://doi.org/10.1007/978-3-662-44124-4
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
7. 
Semantics of Probabilistic Processes An Operational Approach için kapak resmi
Semantics of Probabilistic Processes An Operational Approach
by 
Deng, Yuxin. author.
https://doi.org/10.1007/978-3-662-45198-4
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
8. 
Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings için kapak resmi
Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings
by 
Norman, Gethin. editor.
https://doi.org/10.1007/978-3-319-10696-0
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
9. 
Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings için kapak resmi
Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
by 
Horváth, András. editor.
https://doi.org/10.1007/978-3-319-10885-8
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
10. 
Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday için kapak resmi
Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
by 
van Breugel, Franck. editor.
https://doi.org/10.1007/978-3-319-06880-0
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
11. 
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures için kapak resmi
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
by 
Remke, Anne. editor.
https://doi.org/10.1007/978-3-662-45489-3
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
12. 
CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. için kapak resmi
CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
by 
Baldan, Paolo. editor.
https://doi.org/10.1007/978-3-662-44584-6
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.