Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Teaching formal methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedingsTFM 2004 (2004 Ghent, Belgium) Neville Dean; R. T Boute (Raymond T.); LINK (Online service)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
ECOOP '98 - object-oriented programming 12th European conference, Brussels, Belgium, July 20-24, 1998 : proceedingsEuropean Conference on Object-Oriented Programming (12th 1998 Brussels, Belgium) Eric JulGoos, G., ed.; Hartmanis, J., ed.; Leeuwen, J. Van, ed Lecture notes in computer science Berlin : Springer-Verlag, c1985-Berlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1445 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
System configuration management ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998 : proceedingsECOOP'98 SCM-8 Symposium (1998 Brussels, Belgium) Boris MagnussonBerlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1439 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Static analysis First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedingsInternational Static Analysis Symposium (1st 1994 Namur, Belgium) Baudouin Le Charlier 1950-Berlin New York Springer-Verlag c1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.864 e.1 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Fast software encryption 9th international workshop, FSE 2002, Leuven, Belgium, February 4-6, 2002 : revised papersFSE 2002 (2002 Louvain, Belgium) Joan Daemen 1965-; Vincent Rijmen 1970-Berlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2365 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Computer Graphics International proceedings, June 23-27, 1997, Hasselt and Diepenbeek, BelgiumComputer Graphics International (1997 Hasselt, Belgium, and Diepenbeek, Belgium) Computer Graphics Society; Expertise Centre for Digital Media; Limburgs Universitair CentrumLos Alamitos, Calif. IEEE Computer Society Press c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 C737cg 1997 e.1 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Semi-markov models theory and applications. International Symposium on Semi-Markov Processes and Their Applications, held on June 4-7, 1984 in Brussels, BelgiumInternational Symposium on Semi-Markov Processes and Their Applications (1984 Brussels, Belgium) Jacques JanssenNew York Plenum Press 1986Localização: ICMC - Inst. Ciên. Mat. Computação (62-06 J35s e.1 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Advances in cryptology EUROCRYPT 2000 : International Conference on the Theory and Application of Cryptographic Techniques, Bruges, Belgium, May 14-18, 2000 :; proceedingsEUROCRYPT 2000 (2000 Bruges, Belgium) Bart Preneel 1963-Berlin Springer New York 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1807 )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Multiparadigm programming in Mozart/OZ second international conference, MOZ 2004, Charleroi, Belgium October 7-8, 2004 ; revised selected and invited papersPeter Van-Roy; MOZ 2004 (2nd 2004 Charleroi, Belgium)Berlin Springer 2005Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Livro
|
![]() |
Coordination models and languages 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 : proceedingsCOORDINATION 2005 (2005 Namur, Belgium) J.-M Jacquet (Jean-Marie); Gian Pietro PiccoBerlin Springer New York 2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3454 ) e outros locais(Acessar) |