Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings / Alan J. Hu, Andrew K. Martin (eds.). by Series: Lecture notes in computer science ; 3312.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2004
Other title:
  • FMCAD 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings / Mark D. Aagaard, John W. O'Leary (eds.). by Series: Lecture notes in computer science ; 2517.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha