Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Metainformatics international symposium, MIS 2003, Graz, Austria, September 17-20, 2003 revised papersMIS 2003 (2003 Graz, Austria) David L HicksBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Abstraction, reformulation and approximation 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 ; proceedingsSARA 2005 (6th 2005 Airth, Scotland) Jean-Daniel Zucker; L Saitta (Lorenza) 1944Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Computer aided systems theory--EUROCAST '93 a selection of papers from the third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedingsInternational Workshop on Computer Aided Systems Theory (3rd 1993 Las Palmas, Spain) Franz Pichler Ing., Dr. phil; Roberto Moreno-DíazBerlin New York Springer-Verlag c1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.763 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Abstraction, reformulation, and approximation 7th international symposium, SARA 2007, Whistler, Canada, July 18-21 2007 ; proceedingsSARA 2007 (2007 Whistler, Canada) Ian Miguel; Wheeler RumlBerlin Springer 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4612 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Frontiers of combining systems 6th international symposium, FroCoS 2007, Liverpool UK, September 10-12, 2007 : proceedingsFroCoS 2007 (2007 Liverpool, England) Boris Konev; Frank WolterBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4720 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Recent advances in constraints 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming CSCLP 2006, Caparica, Portugal, June 26-28, 2006 revised selected and invited papersERCIM International Workshop on Constraint Solving and Constraint Logic Programming (11th 2006 Caparica, Portugal) Pedro Barahona; François Fages; Francesca Rossi; Francisco Azevedo; European Research Consortium for Informatics and MathematicsBerlin Springer-Verlag New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4651 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Web engineering 7th international conference, ICWE 2007, Como, Italy, July 16-20, 2007 proceedingsICWE 2007 (2007 Como, Italy.) Luciano Baresi; Piero Fraternali; Geert-Jan HoubenBerlin Springer 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4607 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Agent-oriented software engineering VII 7th international workshop, AOSE 2006, Hakodate Japan, May 8, 2006 : revised and invited papersAOSE 2006 (2006 Hakodate-shi, Japan) Lin Padgham; Franco Zambonelli 1966-Berlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4405 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Human-computer interaction proceedingsInternational Conference on Human Computer Interaction (5. 1995 Moscow) Brad Blumenthal; Juri Gornostaev; C UngerBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.1015 e.1 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Agent-oriented software engineering VI 6th international workshop, AOSE 2005, Utrecht, The Netherlands, July 25 2005 : revised and invited papersAOSE 2005 (2005 Utrecht, Netherlands) J. P Muller 1965- (Jörg P.); Franco Zambonelli 1966Berlin Springer New York 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3950 ) e outros locais(Acessar) |