Did you mean: systems

search result

Cover von Special issue on VHDL semantics
Search for this author
Year: 1995
Publisher: Boston, Kluwer
Series: Formal methods in system design : 7. 1995, 1/2
Media group: SPECIAL ISSUE
Cover von 9th annual ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
April 2-4, 1990
Search for this author
Year: 1995
Publisher: San Diego, Academic Press
Series: Journal of computer and system sciences : 51. 1995, 1
Media group: SPECIAL ISSUE
Cover von Sixth annual conference on structure in complexity theory
June 30 - July 3, 1991
Search for this author
Year: 1995
Publisher: San Diego, Academic Press
Series: Journal of computer and system sciences : 50. 1995, 3
Media group: SPECIAL ISSUE
Cover von 23rd symposium on the theory of computing
May 6-8, 1991
Search for this author
Year: 1995
Publisher: San Diego, Academic Press
Series: Journal of computer and system sciences : 50. 1995, 2
Media group: SPECIAL ISSUE
Cover von 31st IEEE conference on foundations of computer science
October 22-24, 1990
Search for this author
Year: 1994
Publisher: San Diego, Academic Press
Series: Journal of computer and system sciences : 48. 1994, 3
Media group: SPECIAL ISSUE
Cover von Special issue on symbolic model checking
Search for this author
Year: 1995
Publisher: Dordrecht, Kluwer
Series: Formal methods in system design : 6. 1995, 2
Media group: SPECIAL ISSUE
Cover von Special issue on computer-aided verification
special methods II
Search for this author
Year: 1993
Publisher: Boston, Kluwer
Series: Formal methods in system design : 2. 1993, 2
Media group: SPECIAL ISSUE
Cover von Special issue on computer-aided verification
based on CAV 92 workshop
Search for this author
Year: 1995
Publisher: Boston, Kluwer
Series: Formal methods in system design : 6. 1995, 1
Media group: SPECIAL ISSUE
Cover von Special issue on higher order logic theorem proving and its applications, I
Search for this author
Year: 1993
Publisher: Dordrecht, Kluwer
Series: Formal methods in system design : 3. 1993, 1/2
Media group: SPECIAL ISSUE
Cover von Special issue on designing correct circuits
Search for this author
Year: 1993
Publisher: Dordrecht, Kluwer
Series: Formal methods in system design : 3. 1993, 3
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0