1
|
Material Type: Livro
|
|
Languages, compilers, and tools for embedded systems ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings
ACM SIGPLAN Workshop LCTES 2000 (2000 Vancouver, B.C.) Jack W Davidson (Jack Winfred); Sang Lyul Min
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1985 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Languages, compilers, and tools for embedded systems ACM SIGPLAN Workshop LCTES '98, Montréal, Canada, June 19-20, 1998 : proceedings
ACM SIGPLAN Workshop LCTES '98 (1998 Montréal, Québec) Frank Mueller 1966-; Azer Bestavros 1961-
Berlin Springer New York c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1474 ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Reliable software technologies-ADA-Europe 2002 7th Ada-Europe International Conference on reliable Software Technologies, Vienna, Austria, June 2002 : proceedings
Ada-Europe International Conference on Reliable Software Technologies (7th 2002 Vienna, Austria) Johann Blieberger; Alfred Strohmeier 1946-
Berlin Springer New York 2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2361 ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
C++ an introduction to computing
Joel Adams Sanford Leestma; Larry R Nyhoff
Upper Saddle River, NJ Prentice Hall c1998
Localização:
IME - Inst. Matemática e Estatística
(QA762 A214c e.3 )(Acessar)
|
5
|
Material Type: Livro
|
|
Advanced functional programming 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures
AFP 2002 (2002 Oxford, England) Johan Jeuring 1965-; Simon L Peyton Jones 1958-
Berlin Springer New York c2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2638 )(Acessar)
|
6
|
Material Type: Livro
|
|
Advanced functional programming Third International School, AFP '98, Braga, Portugal, September 12-19, 1998 : revised lectures
AFP '98 (3rd 1998 Braga, Portugal) S. Doaitse Sweierstra; Pedro R Henriques; José N Oliveira
Berlin Springer New York c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1608 ) e outros locais(Acessar)
|
7
|
Material Type: Livro
|
|
FST TCS 2002 foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 ; proceedings
Manindra Agrawal 1966-; Anil Seth 1965-
Berlin Springer 2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2556 )(Acessar)
|
8
|
Material Type: Livro
|
|
The design of well-structured and correct programs
Suad Alagiâc 1946- Michael A Arbib
New York Springer-Verlag c1978
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68P05.01 A317d e.3 ) e outros locais(Acessar)
|
9
|
Material Type: Livro
|
|
Natural language understanding
James Allen
Menlo Park Benjamin/Cumming 1988
Localização:
ECA - Escola de Comunicações e Artes
(001.6424 A427h )(Acessar)
|
10
|
Material Type: Livro
|
|
Natural language understanding
James Allen
Menlo Park, Calif. Benjamin/Cummings c1987
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.43 AL53n ) e outros locais(Acessar)
|