search result

Cover von Mathematical techniques for analyzing concurrent and probabilistic systems
Search for this author
Year: 2004
Publisher: Providence, American Mathematical Society
Series: CRM monograph series; 23
Media group: MONOGRAPHIE
Cover von Logic programming languages
constraints, functions, and objects
Search for this author
Year: 1993
Publisher: Cambridge, MIT Pr.
Media group: MONOGRAPHIE
OPEN V 11.1.0.0