skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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 Proceedings

Pichler, Franz ; Moreno Díaz, Roberto Pichler, Franz ; Moreno Díaz, Roberto

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

2
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 4-6, 1998 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 4-6, 1998 Proceedings

Gopalakrishnan, Ganesh ; Windley, Phillip Gopalakrishnan, Ganesh ; Windley, Phillip

Berlin, Heidelberg: Springer Berlin / Heidelberg 1998

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.