Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Affine Density in Wavelet AnalysisGitta Kutyniok J.-M Morel; F Takens; B Teissier; SpringerLink (Online service)Springer Berlin Heidelberg 2007Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Bioinspired computation in combinatorial optimization algorithms and their computational complexityFrank Neumann Carsten Witt; SpringerLink (Online service)Berlin Springer Heidelberg c2010Localização: ICMC - Inst. Ciên. Mat. Computação (66D01 N489bc e.1 )(Acessar) |
|
3 |
Material Type: Livro
|
Machines, Computations, and Universality 4th international conference, MCU 2004, Saint Petersburg, Russia September 21-24, 2004 : revised selected papersMCU 2004 (2004 Saint Petersburg, Russia) Maurice Margenstern; SpringerLink (Online service)Berlin Springer c2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3354 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Law and the semantic web legal ontologies, methodologies, legal information retrieval, and applicationsPompeu Casanovas; Joost Breuker; Aldo Gangemi; Richard Benjamins; SpringerLink (Online service)Berlin Springer c2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.3369 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Entertainment computing - ICEC 2007 6th international conference, Shanghai, China September 15-17, 2007 ; proceedingsICEC 2007 (2007 Shanghai, China) Lizhuang Ma; Matthias Rauterberg; Ryohei Nakatsu; SpringerLink (Online service)Berlin Springer 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4740 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Approximation and online algorithms third international workshop, WAOA 2005, Palma de Mallorca, Spain October 6-7, 2005 : revised selected papersWAOA 2005 (2005 Palma de Mallorca, Spain) Thomas Erlebach; Giuseppe Persinao; SpringerLink (Online service)Berlin Springer-Verlag New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3879 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Formal modeling and analysis of timed systems third international conference, FORMATS 2005, Uppsala, Sweden September 26-28, 2005 : proceedingsFORMATS 2005 (2005 Uppsala, Sweden) Paul Pettersson; Wang Yi; SpringerLink (Online service)Berlin Springer c2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3829 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Technologies for advanced heterogeneous networks First Asian Internet Engineering Conference, AINTEC 2005, Bangkok Thailand, December 13-15, 2005 : proceedingsAsian Internet Engineering Conference (1st 2005 Bangkok, Thailand) Kenjiro Cho; Philippe Jacquet; SpringerLink (Online service)Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Algorithms 15th annual European symposium ; proceedingsESA 2007 (2007 Elat, Israel) L Arge (Lars); ESA <15, 2007, Elat>; MyiLibrary, Ltd; SpringerLink (Online service)Berlin Springer Heidelberg New York 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4698 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Integrated formal methods 5th international conference, IFM 2005, Eindhoven, the Netherlands November 29--December 2, 2005 : proceedingsInternational Conference on Integrated Formal Methods (5th 2005 Eindhoven, Netherlands) Judi Romijn; Graeme Smith 1966; Jaco van de Pol; SpringerLink (Online service)Berlin Springer c2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3771 ) e outros locais(Acessar) |