Limit Search Results
Author
Language
Publication Date
-
Subject
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)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
21 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Sets, Logic and Maths for Computing
Sets, Logic and Maths for Computing
by 
Makinson, David. author.
https://doi.org/10.1007/978-1-4471-2500-6
Format: 
Excerpt: 
Sets, Logic and Maths for Computing Makinson, David. author.
2. 
Cover image for Sets, Logic and Maths for Computing
Sets, Logic and Maths for Computing
by 
Makinson, David. author.
https://doi.org/10.1007/978-1-84628-845-6
Format: 
Excerpt: 
Sets, Logic and Maths for Computing Makinson, David. author.
3. 
Cover image for A Graph-Theoretic Approach to Enterprise Network Dynamics
A Graph-Theoretic Approach to Enterprise Network Dynamics
by 
Bunke, Horst. author.
https://doi.org/10.1007/978-0-8176-4519-9
Format: 
Excerpt: 
Progress in Computer Science and Applied Logic,
4. 
Cover image for Probabilistic Logics and Probabilistic Networks
Probabilistic Logics and Probabilistic Networks
by 
Haenni, Rolf. author.
https://doi.org/10.1007/978-94-007-0008-6
Format: 
Excerpt: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
5. 
Cover image for Degrees of Belief
Degrees of Belief
by 
Huber, Franz. editor.
https://doi.org/10.1007/978-1-4020-9198-8
Format: 
Excerpt: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
6. 
Cover image for Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
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: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
7. 
Cover image for Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
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: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
8. 
Cover image for 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
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: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
9. 
Cover image for CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
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: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
10. 
Cover image for Semantics of Probabilistic Processes An Operational Approach
Semantics of Probabilistic Processes An Operational Approach
by 
Deng, Yuxin. author.
https://doi.org/10.1007/978-3-662-45198-4
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
11. 
Cover image for Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings
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: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
12. 
Cover image for Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
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: 
Excerpt: 
Computer Science Logic and Foundations of Programming.