Did you mean: systems

search result

Cover von Special issue on designing correct circuits
Search for this author
Year: 1994
Publisher: Dordrecht, Kluwer
Series: Formal methods in system design : 4. 1994, 1
Media group: SPECIAL ISSUE
Cover von 22nd symposium on the theory of computing
May 14 - 16, 1990 : selected papers
Search for this author
Year: 1993
Publisher: San Diego, Academic Press
Series: Journal of computer and system sciences : 47. 1993, 3
Media group: SPECIAL ISSUE
Cover von 29th IEEE conference on foundations of computer science
October 24 - 26, 1988 : selected papers
Search for this author
Year: 1993
Publisher: San Diego, Academic Press
Series: Journal of computer and system sciences : 47. 1993, 2
Media group: SPECIAL ISSUE
Cover von 8th annual ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
March 29 - 31, 1989
Search for this author
Year: 1993
Publisher: San Diego, Academic Press
Series: Journal of computer and system sciences : 47. 1993, 1
Media group: SPECIAL ISSUE
Cover von Computer-aided verification
Search for this author
Year: 1992
Publisher: Boston, Kluwer
Series: Formal methods in system design : 1. 1992, 2/3
Media group: MONOGRAPHIE
Cover von SSST
proceedings
Search for this author
Year: 1995 - 1997
Publisher: Los Alamitos, IEEE
Media group: KONGRESSBERICHT
Cover von HICSS
proceedings
Search for this author
Year: 1995 and following
Publisher: Los Alamitos, IEEE
Media group: KONGRESSBERICHT
Cover von SBCCI
proceedings
Search for this author
Year: 1998 and following
Publisher: New York, ACM
Media group: KONGRESSBERICHT
Cover von Public-key cryptography
state of the art and future directions : E.I.S.S. workshop : Oberwolfach, Germany, July 3 - 6, 1991 : final report
Search for this author
Year: 1991
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 578
Media group: MONOGRAPHIE
Cover von SDL 2007
design for dependable systems : 13th international SDL forum : Paris, France, September 18 - 21, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4745
Media group: MONOGRAPHIE
OPEN V 11.1.0.0