Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Applications of graph transformations with industrial relevance: 2nd International Workshop, AGTIVE 2003, Charlottesville, VA USA, September 27-October 1, 2003, revised selected and invited papersPfaltz, John L ; Nagl, Manfred ; Bohlen, BorisSpringer 1900Texto completo disponível |
|
2 |
Material Type: Livro
|
ReportLaboratory for Computer Science Progress (11. 1973-74 Cambridge)Cambridge MIT PRESS 19--Localização: IME - Inst. Matemática e Estatística (QA700 L123 1973-74 )(Acessar) |
|
3 |
Material Type: Livro
|
Domain-specific program generation: international seminar, Dagstuhl Castle, Germany, March 23-28 2003 : revised papersLengauer, Christian ; Batory, Don ; Consel, Charles ; Odersky, MartinSpringer 1900Texto completo disponível |
|
4 |
Material Type: Livro
|
Van Nostrand's scientific encyclopedia aeronautics, astronomy, biochemistry, botany, chemical engineering, chemistry, civil engineering, computer technology, electrical engineering, electronics & radio, geology, mathematics, mechanical engineering, medicine, metallurgy, meteorology, mineralogy, navigation, photography, physics, statistics, zoologyNew York D. Van Nostrand Company, inc 1947Localização: CQ - Conjunto das Químicas (R 503 V217v pt.2 )(Acessar) |
|
5 |
Material Type: Livro
|
Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, ProceedingsFiala, Jiri ; Koubek, Vaclav ; Kratochvil, JanSpringer 1900Texto completo disponível |
|
6 |
Material Type: Livro
|
Latin 2004: theoretical informatics : 6th Latin American symposium, Buenos Aires, Argentina, April 5-8, 2004 : proceedingsFarach-Colton, MartinSpringer 1900Texto completo disponível |
|
7 |
Material Type: Livro
|
FST TCS 2003: foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003 proceedingsPandya, Paritosh K ; Radhakrishnan, JaikumarSpringer 1900Texto completo disponível |
|
8 |
Material Type: Livro
|
STACS 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, ProceedingsDiekert, Volker ; Habib, MichelSpringer 1900Texto completo disponível |
|
9 |
Material Type: Livro
|
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, ProceedingsKozen, Dexter ; Shankland, CarronSpringer 1900Texto completo disponível |
|
10 |
Material Type: Livro
|
Computational Science and Its Applications -- ICCSA 2004: International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part ILagana, Antonio ; Gavrilova, Marina L ; Kumar, Vipin ; Mun, Youngsong ; Tan, C.J. Kenneth ; Gervasi, OsvaldoSpringer 1900Texto completo disponível |