| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Abstract Interpretation of Declarative Languages | Hardcover | | 978-0-13-019258-5 | 1988 |
| Abstract Interpretation of Declarative Languages | Paperback | | 978-0-470-20971-4 | 1987 | Chris Hankin |
| Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I | Taschenbuch | | 978-3-642-14164-5 | 2010 | Cyril Gavoille · Claude Kirchner · Friedhelm Meyer auf der Heide · Paul Spirakis |
| Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II | " | | 978-3-642-14161-4 | 2010 | Cyril Gavoille · Claude Kirchner · Friedhelm Meyer auf der Heide · Paul Spirakis |
| Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings | " | | 978-3-540-17162-1 | 2008 | Axel Poigne · David Rydeheard · David Pitt |
| Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings | " | | 978-3-540-54495-1 | 1991 | David H. Pitt · Pierre-Louis Curien · David E. Rydeheard · Andrew M. Pitts · Axel Poigne |
| Dependence Logic: Theory and Applications | Paperback | | 978-3-319-81123-9 | 2018 | Juha Kontinen · Jouko Väänänen · Heribert Vollmer |
| Dependence Logic: Theory and Applications | Gebunden | | 978-3-319-31801-1 | 2016 | Juha Kontinen · Jouko Väänänen · Heribert Vollmer |
| Handbook of Logic in Computer Science: Semantic Structures Vol 3 | Hardcover | | 978-0-19-853762-5 | 1995 | D.M. Gabbay · T.S.E. Maibaum |
| Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures: Background - Computational Structures Vol 2 | " | | 978-0-19-853761-8 | 1993 | D. M. Gabbay · T. S. Maibaum |
| Handbook of Logic in Computer Science: Volume 4: Semantic Modelling: Semantic Modelling Vol 4 | " | | 978-0-19-853780-9 | 1995 | T. S. Maibaum · Dov M. Gabbay |
| Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods: Algebraic and Logical Structures Vol 5 | " | | 978-0-19-853781-6 | 2001 | Dov M. Gabbay · T. S. Maibaum |
| Mathematical Foundations of Information Flow | " | | 978-0-8218-4923-1 | 2012 | Michael Mislove |
| Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991: Colloq | Paperback | | 978-0-387-53982-9 | 1991 | England) International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton |
| Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991: LNCS, Vol. 494 | " | | 978-0-387-53981-2 | 1991 |
| Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings | Taschenbuch | | 978-3-540-41960-0 | 2001 |