Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
15 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic
Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic
by 
Duží, Marie. author.
https://doi.org/10.1007/978-90-481-8812-3
Format: 
Excerpt: 
Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent
2. 
Cover image for Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
by 
Grädel, Erich. editor.
https://doi.org/10.1007/978-3-642-04027-6
Format: 
Excerpt: 
Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL
3. 
Cover image for Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
by 
Ouaknine, Joel. editor.
https://doi.org/10.1007/978-3-319-11439-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
4. 
Cover image for Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
by 
O'Regan, Gerard. author.
https://doi.org/10.1007/978-1-4471-4534-9
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
5. 
Cover image for Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings
Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings
by 
Yen, Hsu-Chun. editor.
https://doi.org/10.1007/978-3-642-31653-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
6. 
Cover image for Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings
by 
Frid, Anna. editor.
https://doi.org/10.1007/978-3-642-03351-3
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
7. 
Cover image for Handbook on Ontologies
Handbook on Ontologies
by 
Staab, Steffen. editor. (orcid)0000-0002-0780-4154
https://doi.org/10.1007/978-3-540-92673-3
Format: 
Excerpt: 
Mathematical Logic and Foundations.
8. 
Cover image for Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
by 
Harrison, Michael Douglas. editor.
https://doi.org/10.1007/978-3-540-87698-4
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
9. 
Cover image for Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings
Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings
by 
Saglietti, Francesca. editor.
https://doi.org/10.1007/978-3-540-75101-4
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
10. 
Cover image for Dependable Computing Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
Dependable Computing Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
by 
Bondavalli, Andrea. editor.
https://doi.org/10.1007/978-3-540-75294-3
Format: 
Excerpt: 
Logic design.
11. 
Cover image for Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
by 
Górski, Janusz. editor.
https://doi.org/10.1007/11875567
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
12. 
Cover image for Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
by 
Maziero, Carlos Alberto. editor.
https://doi.org/10.1007/11572329
Format: 
Excerpt: 
Logic design.