Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
23rd Annual Symposium on Foundations of Computer Science November 3-5, 1982Symposium on Foundations of Computer Science (23rd 1982 [Chicago, Ill.]) IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingNew York IEEE Computer Society Press Los Angeles, CA Order from IEEE Computer Society c1982Localização: IME - Inst. Matemática e Estatística (QA800.C S989 23. e.2 )(Acessar) |
|
2 |
Material Type: Livro
|
21st annual Symposium on Foundations of Computer Science October 13-15, 1980, Syracuse, New York : [papers]Symposium on Foundations of Computer Science (21st 1980 Syracuse, New York) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; Clarkson College of TechnologyNew York IEEE 1980Localização: IME - Inst. Matemática e Estatística (QA800.C S989 21. e.2 )(Acessar) |
|
3 |
Material Type: Livro
|
26th Annual Symposium on Foundations of Computer Science October 21-23, 1985Symposium on Foundations of Computer Science (26th 1985 Portland, Or.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; IEEE Computer Society Press.Washington, DC IEEE Computer Society Press Los Angeles, CA Order from IEEE Computer Society c1985Localização: IME - Inst. Matemática e Estatística (QA800.C S989 26 )(Acessar) |
|
4 |
Material Type: Livro
|
25th Annual Symposium on Foundations of Computer Science October 24-26, 1984Symposium on Foundations of Computer Science (25th 1984 Singer Island, Fla.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.Singer Island, Florida IEEE Computer Society Press c1984Localização: IME - Inst. Matemática e Estatística (QA800.C S989 25 )(Acessar) |
|
5 |
Material Type: Livro
|
High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSetKołodziej, Joanna ; González-Vélez, Horacio Kołodziej, Joanna ; González-Vélez, HoracioNetherlands: Springer Nature 2019Texto completo disponível |
|
6 |
Material Type: Livro
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected PapersAyala, José L ; Shang, Delong ; Yakovlev, Alex Ayala, Jos' L ; Shang, Delong ; Yakovlev, AlexNetherlands: Springer Nature 2013Texto completo disponível |
|
7 |
Material Type: Livro
|
Progress in VLSI Design and Test: 16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, ProceedingsRahaman, Hafizur ; Chattopadhyay, Sanatan ; Chattopadhyay, Santanu Chattopadhyay, Santanu ; Chattopadhyay, Sanatan ; Rahaman, HafizurNetherlands: Springer Nature 2012Texto completo disponível |