Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Algebraic methodology and software technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 ; proceedingsAMAST'98 (1999 Amazonia, Brazil) Armando Martín Haeberer 1947-Berlin Springer London c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1548 )(Acessar) |
|
2 |
Material Type: Livro
|
Application and theory of petri nets 1998 19th International Conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 proceedingsICATPN'98 (Conference) (1998 Lisbon, Portugal) Jörg Desel; Manuel SilvaBerlin Springer London c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1420 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Application and theory of petri nets 1999 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedingsInternational Conference on Applications and Theory of Petri Nets (20th 1999 Williamsburg, Virginia) Jetty Kleijn; Susanna DonatelliBerlin Springer c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1639 )(Acessar) |
|
4 |
Material Type: Livro
|
Application and theory of petri nets 2000 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 ; proceedingsICATPN 2000 (2000 Aarhus, Denmark) M Nielsen (Mogens) 1949-; D Simpson 1942- (Dan)Berlin Springer London c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1825 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Application and theory of Petri nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedingsInternational Conference on Applications and Theory of Petri Nets (23rd 2002 Adelaide, S. Aust.)Berlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2360 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Applications and theory of petri nets 2001 22nd International Conference, ICATPN 2001, Newcastle Upon Tyne, UK, June, 25-29, 2001 : proceedingsICATPN 2001 (2001 Newcastle upon Tyne, England) José-Manuel Colom; Maciej Koutny 1958-Berlin Springer London c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2075 ) e outros locais(Acessar) |
|
7 |
Material Type: Dissertação de Mestrado
|
Arqtema um modelo generico para sistemas tutores inteligentes em matematica 1.Rosana Satie Takehara Maria das Graças Volpe NunesSao Carlos Icmsc 1994Localização: ICMC - Inst. Ciên. Mat. Computação (T T136a ex.1 )(Acessar) |
|
8 |
Material Type: Livro
|
Computer and information sciences - ISCIS 2003 18th International Symposium Antalya, Turkey, November 3-5, 2003 : proceedingsInternational Symposium on Computer and Information Sciences (18th 2003 Antalya: Turkey) Adnan Yazici 1962-; Cevat SenerBerlin Springer-Verlag New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2869 )(Acessar) |
|
9 |
Material Type: Livro
|
CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedingsInternational Conference on Concurrency Theory (14th 2003 Marseille, France) Roberto M Amadio; Denis LugiezBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2761 )(Acessar) |
|
10 |
Material Type: Tese de Doutorado
|
Desafios e perspectivas da implementação computacional de testes adaptativos multidimensionais para avaliações educacionaisPiton Gonçalves, JeanBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2012-12-17Acesso online. A biblioteca também possui exemplares impressos. |