1
Material Type:
Livro
Safety of computer control systems proceedings
Workshop on Safety of Computer Control Systems (1979 Stuttgart, DE)
Oxford Ifac Pergamon c1980
Localização:
IME - Inst. Matemática e Estatística
(QA770.C L366s ) (Acessar)
This feature requires javascript
2
Material Type:
Livro
Distributed algorithms proceedings
International Workshop on Distributed Algorithms,3., Nice, 1989 Jean-Claude Bermond
Berlin Springer 1989
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.392 ) (Acessar)
This feature requires javascript
3
Material Type:
Livro
Fault-tolerant distributed computing proceedings
Workshop on Fault-Tolerant Distributed Computing,1986 Barbara Simons
Berlin Springer 1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.448 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Progress in distributed operating systems and distributed systems management proceedings
European Workshop on Progress in Distributed Operating Systems and Distributed Management, 1., Berlin, 1989 Wolfgang Schroder-Preikschat; Wolfgang Zimmer
Berlin Springer 1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-00 Lncs v.433 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Livro
Foundations of software technology and theoretical computer science proceedings
Conference on Foundations of Software Technology and Theoretical Computer Science, 10., Bangalore, 1990 Kesav V Nori
Berlin Springer 1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.472 e.1 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
Artificial intelligence in real-time control proceedings
Workshop on Artificial Intelligence in Real-Time Control, 2., Shenyang, 1989 M. G Rodd; Li, Hua-Tian; Su, Shi-Quan
Oxford Pergamon 1990
Localização:
IME - Inst. Matemática e Estatística
(S A615 v.15 pt.II ) (Acessar)
This feature requires javascript
7
Material Type:
Livro
Stepwise refinement of distributed systems models, formalisms, correctness
Workshop on Stepwise Refinement of Distributed Systems, Mook, 1989 J W Bakker
Berlin Springer 1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.430 e.1 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Operating systems of the 90s and beyond proceedings
International Workshop on Operating Systems of the 90s and Beyond, Dagstuhl Castle, 1991 Arthur Karshmer; Jurgen Nehmer
Berlin Springer 1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.563 e.1 ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Livro
Foundations of software technology and theoretical computer science proceedings
Conference on Foundations of Software Technology and Theoretical Computer Science (11. 1991 New Delhi) Somenath Biswas
Berlin Springer 1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.560 e.1 ) e outros locais(Acessar)
This feature requires javascript
10
Material Type:
Livro
Distributed algorithms proceedings
International Workshop on Distributed Algorithms,4., Bari, 1990 Jan Van Leeuwen
Berlin Springer 1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.486 e.1 ) e outros locais(Acessar)
This feature requires javascript