1
Material Type:
Livro
Mathematical foundations of computer science , 1978 proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978
Symposium on Mathematical Foundations of Computer Science (1972- ) (7th 1978 Zakopane, Poland) Józef Winkowski 1934-
Berlin New York Springer-Verlag 1978
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.64 ex.1 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Concur 2000 concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 : proceedings
International Conference on Concurrency Theory (11th 2000 University Park, Pa.) Catuscia Palamidessi
Berlin Springer New York 2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1877 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
Concurrent object-oriented programming and Petri nets advances in Petri nets
Gul A Agha; Fiorella De Cindio; Grzegorz Rozenberg
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2001 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
CONCUR '99 concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings
International Conference on Concurrency Theory (10th 1999 Eindhoven, Netherlands) J. C. M Baeten; Sjouke Mauw
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1664 e.1 ) (Acessar)
This feature requires javascript
5
Material Type:
Livro
Mathematical models for the semantics of parallelism Advanced School, Rome, Italy, September 24-October 1, 1986 : proceedings
Marisa Venturini Zilli; Advanced School on Mathematical Models for Semantics of Parallelism (1986 Istituto per le applicazioni del calcolo "Mauro Picone")
Berlin New York Springer-Verlag c1987
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.280 ex.1 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
CONCUR 2001 concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings
International Conference on Concurrency Theory (12th 2001 Aalborg, Denmark) K. G Larsen 1957- (Kim G.); M Nielsen (Mogens) 1949-
Berlin Springer New York 2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2154 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedings
International Conference on Concurrency Theory (14th 2003 Marseille, France) Roberto M Amadio; Denis Lugiez
Berlin Springer New York c2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2761 ) (Acessar)
This feature requires javascript
8
Material Type:
Livro
Parallel architectures and their efficient use First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992 : proceedings
Heinz Nixdorf Symposium (1st 1992 Paderborn, Germany) F Meyer auf der Heide 1954- (Friedhelm); B Monien; Arnold Rosenberg
Berlin New York Springer-Verlag c1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.678 e.1 ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Livro
Languages and compilers for parallel computing 13th international workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers
Workshop on Languages and Compilers for Parallel Computing (13th 2000 Yorktown Heights, N.Y.) Samuel P Midkiff 1954- (Samuel Pratt)
Berlin Springer 2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2017 ) e outros locais(Acessar)
This feature requires javascript
10
Material Type:
Livro
Job scheduling strategies for parallel processing 9th international workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003 : revised papers
JSSPP 2003 (2003 Seattle, Wash.) Dror G Feitelson; Larry Rudolph; Uwe Schwiegelshohn 1958-
Berlin Springer New York c2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2862 ) (Acessar)
This feature requires javascript