| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Concepts in Programming Languages | Printed Access Code | | 978-0-511-80417-5 | 2012 |
| Concepts in Programming Languages | Hardcover | | 978-0-521-78098-8 | 2002 |
| Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science ... in Information and Communication Technology) | " | | 978-1-4020-8140-8 | 2004 | Jean-Jacques Lévy · Ernst W. Mayr |
| Foundations for Programming Languages | " | | 978-0-262-13321-0 | 1996 |
| Principles of Security and Trust | Taschenbuch | | 978-3-642-36829-5 | 2013 | David Basin |
| Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19-22, 1994 Proceedings | " | | 978-3-540-57887-1 | 1994 | Masami Hagiya |
| Theoretical Aspects of Computer Software: Proceedings | Paperback | | 978-0-387-57887-3 | 1994 | " |
| Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design | Hardcover | | 978-0-262-07155-0 | 1994 | Carl A. Gunter |
| Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design | Paperback | | 978-0-262-52632-6 | 1994 | " |
| The Programming Language Ada. Reference Manual: American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983 | Taschenbuch | | 978-3-540-12328-6 | 1983 | David Hutchison · Takeo Kanade · Josef Kittler · Jon Kleinberg · Alfred Kobsa · Friedemann Mattern · Moni Naor |
| Trust Management II: Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, ... and Communication Technology) | Hardcover | | 978-0-387-09427-4 | 2008 | Yücel Karabulut · Peter Herrmann · Christian Damsgaard Jensen |