Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Responsive Computer SystemsA. Kopetz, Hermann Laprie, J. C. Avižienis Yoshiaki Kakuda; Hermann Kopetz; J. C LaprieSpringer Vienna 1993Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
ProceedingsInternational Conference on Distributed Computing Systems (5th 1985 Denver, Colo.) IEEE Computer SocietySilver Spring, MD Computer Society c1985Localização: EPBC - Esc. Politécnica-Bib Central (004.75 In8 5. )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Trends in distributed systems towards a universal service market : Third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000 : proceedingsUSM 2000 (2000 Munich, Germany) Claudia Linnhoff-Popien; Heinz-Gerd Hegering 1943-Berlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1890 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
ICMAS--96, Second International Conference on Multi-Agent Systems proceedings, December 10-13, 1996, Kyoto, JapanInternational Conference on Multi-Agent Systems (2nd 1996 Kyoto, Japan) Mario Tokoro 1947-Menlo Park, Calif. AAAI Press c1996Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.775 In8i 2. )(Acessar) |
5 |
Material Type: Livro
|
![]() |
9th Conference on Local Computer Networks Minneapolis Plaza Hotel, Minneapolis, Minnesota, October 8-10, 1984Conference on Local Computer Networks (9th 1984 Minneapolis, Minn.) IEEE Computer Society Technical Committee on Computer CommunicationsSilver Spring, MD IEEE Computer Society Press c1984Localização: EPBC - Esc. Politécnica-Bib Central (004.732 C76L 9. )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Coordination languages and models second international conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997 : proceedingsCOORDINATION '97 (1997 Berlin, Germany) David Garlan; D Le Métayer (Daniel) 1959Berlin Springer New York c1997Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1282 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Multi-agent systems methodologies and applications : second Australian Workshop on Distributed Artificial Intelligence, Cairns, QLD, Australia, August 27, 1996 : selected papersAustralian Workshop on DAI (2nd 1996 Cairns, Qld.) Chengqi Zhang; Dickson LukoseBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1286 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Distributed computing 13th International Symposium, DISC'99, Bratislava, Slovak Republic, September 27-29, 1999 : proceedingsDISC'99 (1999 Bratislava, Slovakia) Prasad Jayanti 1962-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1693 e.1 )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Active technologies for network and service management 10th IFIP/IEEE International Workshop on Distributed Systems : Operations and Management, DSOM'99, Zurich, Switzerland, October 11-13, 1999 : proceedingsIFIP/IEEE International Workshop on Distributed Systems: Operations and Management (10th 1999 Zurich, Switzerland) Rolf Stadler; Burkhard Stiller 1965-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1700 e.1 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Formal description techniques and protocol specification, testing, and verification FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998, Paris, FranceIFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification, Testing, and Verification (1998 Paris, France) Stan Budkowski; Ana Cavalli; Elie Najm; IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (11th 1998 Paris, France); IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (18th 1998 Paris, France)Boston Kluwer Academic Publishers 1998Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.05 I23fo 1998 e.1 )(Acessar) |