Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Prospects for hardware foundations ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chaptersBernhard Möller 1953-; J. V Tucker 1952- (John V.)Berlin New York Springer c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1546 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Logical approaches to computational barriers second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedingsConference on Computability in Europe (2nd 2006 Swansea, England) Arnold Beckmann; Ulrich Berger 1956-; Benedikt Löwe; John V TuckerBerlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Assessing calculus reform efforts a report to the communityAlan Tucker 1943 July 6-; James R. C Leitzel; Mathematical Association of AmericaWashington, DC Mathematical Association of America c1995Localização: ICMC - Inst. Ciên. Mat. Computação (26A06 A846 e.1 )(Acessar) |