Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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. |
|
2 |
Material Type: Livro
|
Theory and practice of parallel programming ; international workshop tppp'94, sendai, Japan, november 7-9, 1994 ; proceedingsInternational Workshop on Theory and Practice of Parallel Programming (1. 1994 Sendai, Jp) Takayasu Ito; Akinori YonezawaGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-Berlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.907 e.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Advances in computer science ASIAN 2005 : data management on the Web ; 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005 proceedingsAsian Computing Science Conference (10th 2005 Kunming Shi, China) St ephane Grumbach; Liying Sui; Victor VianuBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Concurrency and parallelism, programming, networking, and security proceedings [of the] second asian computing science conference, asian'96, held in singapore, december 2-5, 1996Asian Computing Science Conference on Concurrencyand Parallelism, Programming, Networking, and Security (2. 1996 Singapore, Sg) Joxan Jaffar; Roland H C YapBerlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1179 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Advances in computer science--ASIAN 2006 secure software and related issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006 : revised selected papersAsian Computing Science Conference (11th 2006 Tokyo, Japan) Mitsu Okada; Ichiro Satoh; SpringerLink (Online service)Berlin Springer-Verlag c2007Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Advances in computing science-ASIAN '97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 1997 : proceedingsAsian Computing Science Conference (3rd 1997 Kathmandu, Nepal) Rudrapatna Shyamasundar 1950-; Kazunori UedaBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1345 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Communicating sequential processes the first 25 years : Symposium on the Occasion of 25 Years of CSP, London UK, July 7-8, 2004 : revised invited papersSymposium on the Occasion of 25 years of CSP (2004 London, England) Ali E Abdallah 1957; C. B Jones (Cliff B.) 1944; Jeff W Sanders; C. A. R Hoare (Charles Antony Richard) 1934-Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Transformation-based reactive systems development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedingsInternational AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (4th 1997 Mallorca, Spain) Miquel Bertran; Teodor RusBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1231 ) e outros locais(Acessar) |