search result

Cover von Modularity in model-oriented formal specifications and its interaction with formal reasoning

Modularity in model-oriented formal specifications and its interaction with formal reasoning
Author: Fitzgerald, John S. Search for this author
Year: 1991
Publisher: Manchester, Universität
Series: Technical report series / University of Manchester / Department of Computer Science; 91-11-2
Media group: DISSERTATION
Cover von Distributed simulation using relaxed timing

Distributed simulation using relaxed timing
Author: Garcia Neto, Avaro Search for this author
Year: 1991
Publisher: Manchester, Universität
Series: Technical report series / University of Manchester / Department of Computer Science; 91-2-1
Media group: DISSERTATION
Cover von Vol. IV.; Transactions on computational systems biology

Vol. IV.; Transactions on computational systems biology
Search for this author
Year: 2006
Publisher: Berlin, Springer
Volume: Vol. IV.
Series: Lecture notes in bioinformatics : Journal subline / subseries of Lecture notes in computer science; 3939
Media group: MONOGRAPHIE
Cover von Vol. III.; Transactions on computational systems biology

Vol. III.; Transactions on computational systems biology
Search for this author
Year: 2005
Publisher: Berlin, Springer
Volume: Vol. III.
Series: Lecture notes in bioinformatics : Journal subline / subseries of Lecture notes in computer science; 3737
Media group: MONOGRAPHIE
Cover von Vol. II.; Transactions on computational systems biology

Vol. II.; Transactions on computational systems biology
Search for this author
Year: 2005
Publisher: Berlin, Springer
Volume: Vol. II.
Series: Lecture notes in bioinformatics : Journal subline / subseries of Lecture notes in computer science; 3680
Media group: MONOGRAPHIE
Cover von Vol. I.; Transactions on computational systems biology

Vol. I.; Transactions on computational systems biology
Search for this author
Year: 2005
Publisher: Berlin, Springer
Volume: Vol. I.
Series: Lecture notes in bioinformatics : Journal subline / subseries of Lecture notes in computer science; 3380
Media group: MONOGRAPHIE
Cover von Automatically proving the correctness of translations involving optimized code

Automatically proving the correctness of translations involving optimized code
research sponsored by Advanced Research Projects Agency, ARPA order no. 2494
Author: Samet, Hanan Search for this author
Year: 1975
Publisher: Stanford, University
Series: Stanford Artificial Intelligence Laboratory : Memo AIM; 259, Stanford Computer Science Department Report; 75-498
Media group: DISSERTATION
Cover von Special issue on physical design

Special issue on physical design
Search for this author
Year: 1999
Publisher: New York, IEEE
Series: IEEE transactions on computer-aided design of integrated circuits and systems : 18. 1999, 4
Media group: SPECIAL ISSUE
Cover von ISAC

ISAC
a case-based reasoning system for aircraft conflict resolution
Author: Bonzano, Andrea Search for this author
Year: 1998
Publisher: Dublin, University
Series: TCD-CS / University of Dublin / Trinity College / Computer Science Department / Technical reports; 1998-02
Media group: OPENACCESS
Cover von Special issue on physical design

Special issue on physical design
Search for this author
Year: 1998
Publisher: New York, IEEE
Series: IEEE transactions on computer-aided design of integrated circuits and systems : 17. 1998, 1
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0