Your search returned 3 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 : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley (eds.). by Series: Lecture notes in computer science ; 1522.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Other title:
  • FMCAD '98
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri, eds. by Series: Lecture notes in computer science ; 1166.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1996
Other title:
  • FMCAD '96
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings / Warren A. Hunt, Jr., Steven D. Johnson, eds. by Series: Lecture notes in computer science ; 1954.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha