Limit Search Results
Author
SpringerLink (Online service)
(26)
Agrawal, Manindra. editor.
(2)
Li, Angsheng. editor.
(2)
Andrade, Aline Maria Santos. editor.
(1)
Assis Silva, Flávio Morais de. editor.
(1)
Language
Publication Date
-
Subject
Computer science.
(20)
Computer Science Logic and Foundations of Programming.
(17)
Coding and Information Theory.
(15)
Coding theory.
(15)
Theory of Computation.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
26 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 Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
by 
Fisher, Michael. editor.
https://doi.org/10.1007/978-3-642-02734-5
Format: 
Excerpt: 
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany
4. 
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.
5. 
Cover image for Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
by 
Yamashita, Shigeru. editor. (orcid)0000-0002-2279-4644
https://doi.org/10.1007/978-3-319-08494-7
Format: 
Excerpt: 
Logic design.
6. 
Cover image for Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
by 
Gopal, T V. editor.
https://doi.org/10.1007/978-3-319-06089-7
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
7. 
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.
8. 
Cover image for Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
by 
Chan, T-H. Hubert. editor.
https://doi.org/10.1007/978-3-642-38236-9
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
9. 
Cover image for Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
by 
Agrawal, Manindra. editor.
https://doi.org/10.1007/978-3-642-29952-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
10. 
Cover image for Progress in VLSI Design and Test 16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings
Progress in VLSI Design and Test 16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings
by 
Rahaman, Hafizur. editor.
https://doi.org/10.1007/978-3-642-31494-0
Format: 
Excerpt: 
Logic design.
11. 
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.
12. 
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.