Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 5th European PVM/MPI Users' Group Meeting Liverpool, UK, September 7–9, 1998 ProceedingsAlexandrov, Vassil ; Dongarra, Jack Dongarra, Jack ; Alexandrov, VassilBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
|
2 |
Material Type: Livro
|
Logics in Artificial Intelligence: European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 ProceedingsAlferes, José Jülio ; Pereira, Luís Moniz ; Orlowska, Ewa Alferes, José Jülio ; Pereira, Luís Moniz ; Orlowska, EwaBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
3 |
Material Type: Livro
|
Hybrid Systems III: Verification and ControlAlur, Rajeev ; Henzinger, Thomas A ; Sontag, Eduardo D Alur, Rajeev ; Henzinger, Thomas A. ; Sontag, Eduardo D.Berlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
4 |
Material Type: Livro
|
Services Management in Intelligent Networks: 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000 Austin, TX, USA, December 4-6, 2000 ProceedingsAmbler, Anthony ; Calo, Seraphin B ; Kar, Gautam Kar, Gautam ; Ambler, Anthony ; Calo, Seraphin B.Berlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
5 |
Material Type: Livro
|
Evolutionary Programming VI: 6th International Conference, EP97 Indianapolis, Indiana, USA, April 13–16, 1997 ProceedingsAngeline, Peter J ; Reynolds, Robert G ; McDonnell, John R ; Eberhart, Russ McDonnell, John R. ; Eberhart, Russ ; Angeline, Peter J. ; Reynolds, Robert G.Berlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
|
6 |
Material Type: Livro
|
Hybrid Systems VAntsaklis, Panos J ; Kohn, Wolf ; Lemmon, Michael ; Nerode, Anil ; Sastry, Shankar Lemmon, Michael ; Kohn, Wolf ; Nerode, Anil ; Antsaklis, Panos ; Sastry, ShankarLecture notes in computer science, 1999, Vol.1567 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin / HeidelbergTexto completo disponível |
|
7 |
Material Type: Livro
|
Computers in Building: Proceedings of the CAADfutures'99 Conference. Proceedings of the Eighth International Conference on Computer Aided Architectural Design Futures Held at Georgia Institute of Technology, Atlanta, Georgia, USA on June 7-8 1999Augenbroe, Godfried ; Eastman, CharlesNew York, NY: Springer 1999Texto completo disponível |
|
8 |
Material Type: Livro
|
CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, the Netherlands, August 24-27, 1999 ProceedingsBaeten, Jos C.M ; Mauw, Sjouke Mauw, Sjouke ; Baeten, Jos C. M.Berlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
9 |
Material Type: Livro
|
Hardware and software architectures for fault tolerance experiences and perspectivesMichel Banâtre 1950-; P. A Lee 1950-Berlin New York Springer-Verlag c1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.774 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
High Performance Computing - HiPC'99: 6th International Conference, Calcutta, India, December 17-20, 1999. ProceedingsBanerjee, Prith ; Prasanna, Viktor K ; Sinha, Bhabani P Sinha, Bhabani P. ; Banerjee, Prith ; Prasanna, Viktor K.Berlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |