Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 ProceedingsDamm, Werner ; Olderog, Ernst -Rüdiger Damm, Werner ; Olderog, Ernst -RüdigerBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
|
2 |
Material Type: Livro
|
Memory performance of prolog architecturesEvan Tick 1959-Boston Kluwer Academic Publishers c1988Localização: IME - Inst. Matemática e Estatística (QA733 T556m )(Acessar) |
|
3 |
Material Type: Livro
|
Digital Design and Computer ArchitectureHarris, David ; Harris, Sarah LSan Francisco, Calif: Elsevier 2007Texto completo disponível |
|
4 |
Material Type: Livro
|
Field-programmable logic and applications 11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001 : proceedingsInternational Conference on Field-Programmable Logic and Applications (11th 2001 Belfast, Northern Ireland) Gordon Brebner; Roger Woods 1963-Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2147 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Non-monotonic extensions of logic programming Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papersNMELP '96 (2nd 1996 Bad Honnef, Germany) J Dix 1961- (Jürgen); Luís Moniz Pereira; Teodor C Przymusinski 1947-; Workshop on Non-Monotonic Extensions of Logic Programming (2 1996 Bad Honnef, Ger)Berlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1216 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
The Design Warrior's Guide to FPGAs: Devices, Tools and FlowsMaxfield, CliveSan Diego: Elsevier Science 2004Texto completo disponível |
|
7 |
Material Type: Livro
|
Embedded Systems Architecture - A Comprehensive Guide for Engineers and ProgrammersNoergaard, TammyBurlington: Elsevier 2005Texto completo disponível |
|
8 |
Material Type: Livro
|
Embedded Controller Hardware DesignArnold, KenSan Diego: Elsevier Science 2000Texto completo disponível |
|
9 |
Material Type: Livro
|
Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation: 12th International Workshop, PATMOS 2002 Seville, Spain, September 11–13, 2002 ProceedingsHochet, Bertrand ; Acosta, Antonio J ; Bellido, Manuel J Bellido, Manuel J. ; Hochet, Bertrand ; Acosta, Antonio J.Berlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
|
10 |
Material Type: Livro
|
Interconnection networks: an engineering approachDuato, Jose ; Yalamanchili, Sudhakar ; Ni, LionelMorgan Kaufmann 2002Texto completo disponível |