Formal techniques for networked and distributed systems--FORTE 2008 28th IFIP WG 6.1 international conference, Tokyo Japan, June 10-13, 2008 : proceedings
FORTE 2008 (2008 Tokyo, Japan) Teruo Higashino; Keiichi Yasumoto; Khaled El-Fakih; Kenji Suzuki Dr. Eng
Berlin Springer New York c2008
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.5048 ) e outros locais(Acessar)
Distributed computing in sensor systems 4th IEEE international conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 proceedings
DCOSS 2008 (2008 Thera Island, Greece) Bogdan S Chlebus; David B Johnson; Bhaskar Krishnamachari; Sotiris Nikoletseas; Institute of Electrical and Electronics Engineers
Berlin Springer New York c2008
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.5067 ) e outros locais(Acessar)
Formal techniques for networked and distributed systems FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France September 26-29, 2006 : proceedings
FORTE 2006 (2006 Paris, France) Elie Najm; Jean-Fran cois Pradat-Peyre; V eronique Donzeau-Gouge; IFIP Working Group 6.1
Berlin Springer New York c2006
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4229 ) e outros locais(Acessar)
Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29 2007 : proceedings
FORTE 2007 (2007 Tallinn, Estonia) John Derrick 1963; J uri Vain; IFIP Working Group 6.1
Berlin Springer New York c2007
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.4574 )(Acessar)
Reconfigurable computing architectures and applications : second international workshop, ARC 2006 Delft, The Netherlands, March 1-3, 2006 : revised selected papers
ARC 2006 (2006 Delft, Netherlands) Koen Bertels; Jo ao M. P Cardoso; Stamatis Vassiliadis
Berlin Springer New York c2006
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.3985 ) e outros locais(Acessar)