Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Differential Equations with MathematicaAbell, Martha L ; Braselton, James PSan Diego: Elsevier Science & Technology 1993Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Languages, compilers, and tools for embedded systems ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedingsACM SIGPLAN Workshop LCTES 2000 (2000 Vancouver, B.C.) Jack W Davidson (Jack Winfred); Sang Lyul MinBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1985 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Languages, compilers, and tools for embedded systems ACM SIGPLAN Workshop LCTES '98, Montréal, Canada, June 19-20, 1998 : proceedingsACM SIGPLAN Workshop LCTES '98 (1998 Montréal, Québec) Frank Mueller 1966-; Azer Bestavros 1961-Berlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1474 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Reliable software technologies-ADA-Europe 2002 7th Ada-Europe International Conference on reliable Software Technologies, Vienna, Austria, June 2002 : proceedingsAda-Europe International Conference on Reliable Software Technologies (7th 2002 Vienna, Austria) Johann Blieberger; Alfred Strohmeier 1946-Berlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2361 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
C++ an introduction to computingJoel Adams Sanford Leestma; Larry R NyhoffUpper Saddle River, NJ Prentice Hall c1998Localização: IME - Inst. Matemática e Estatística (QA762 A214c e.3 )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Advanced functional programming 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lecturesAFP 2002 (2002 Oxford, England) Johan Jeuring 1965-; Simon L Peyton Jones 1958-Berlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2638 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Advanced functional programming Third International School, AFP '98, Braga, Portugal, September 12-19, 1998 : revised lecturesAFP '98 (3rd 1998 Braga, Portugal) S. Doaitse Sweierstra; Pedro R Henriques; José N OliveiraBerlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1608 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
FST TCS 2002 foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 ; proceedingsManindra Agrawal 1966-; Anil Seth 1965-Berlin Springer 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2556 )(Acessar) |
9 |
Material Type: Livro
|
![]() |
The design of well-structured and correct programsSuad Alagiâc 1946- Michael A ArbibNew York Springer-Verlag c1978Localização: ICMC - Inst. Ciên. Mat. Computação (68P05.01 A317d e.3 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Natural language understandingJames AllenMenlo Park Benjamin/Cumming 1988Localização: ECA - Escola de Comunicações e Artes (001.6424 A427h )(Acessar) |