| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky: Essays Dedicted to Samson Abramsky on the Occasion of His ... Notes in Computer Science, Band 7860) | Taschenbuch | | 978-3-642-38163-8 | 2013 | Bob Coecke · Prakash Panangaden |
| Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings | " | | 978-3-540-28231-0 | 2008 |
| Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008: IFIP 20th World Computer Congress, TC 1, Foundations of Computer ... in Information and Communication Technology) | Hardcover | | 978-0-387-09679-7 | 2008 | Giorgio Ausiello · Juhani Karhumäki · Giancarlo Mauri |
| Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, ... Notes in Computer Science, Band 10610) | Taschenbuch | | 978-3-319-68689-9 | 2017 | Zhenhua Duan |
| Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European ... Notes in Computer Science, Band 6014) | " | | 978-3-642-12031-2 | 2010 |
| Logic, Language, Information, and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings | " | | 978-3-642-32620-2 | 2012 | Ruy de Queiroz |
| Logic, Language, Information, and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings | Paperback | | 978-3-642-32622-6 | 2012 | " |
| Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings | Taschenbuch | | 978-3-642-21690-9 | 2011 |