search result

Cover von Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen
Author: Herrmann, Peter Search for this author
Year: 1998
Publisher: Leverkusen, DUV
Series: DUV Informatik
Media group: DISSERTATION
Cover von System Analysis and Modeling
About Models : 6th International Workshop, Oslo, Norway, October 4 - 5, 2010, Revised Selected Papers
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6598
Media group: MONOGRAPHIE
Cover von Universal algebra and its links with logic, algebra, combinatorics and computer science
Proceedings of the 25. Arbeitstagung über allgemeine Algebra, Darmstadt 1983
Search for this author
Year: 1984
Publisher: Berlin, Heldermann
Series: Research and exposition in mathematics; 4
Media group: MONOGRAPHIE
Cover von Trust management
third international conference, Paris, France, May 23 - 26, 2005 : proceedings
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3477
Media group: MONOGRAPHIE
Cover von Trust Management II
Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18 - 20, 2008, Trondheim, Norway
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: International Federation for Information Processing; 263
Media group: MONOGRAPHIE
OPEN V 11.1.0.0