Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Computer Aided Systems Theory — EUROCAST '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory Las Palmas, Spain, February 22–26, 1993 ProceedingsPichler, Franz ; Moreno Díaz, Roberto Pichler, Franz ; Moreno Díaz, RobertoBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
|
2 |
Material Type: Livro
|
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 4-6, 1998 ProceedingsGopalakrishnan, Ganesh ; Windley, Phillip Gopalakrishnan, Ganesh ; Windley, PhillipBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |