Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book
|
![]() |
Distributed computing 18th International Conference, DISC 2004, Amsterdam, the Netherlands, October 4-7, 2004 : proceedingsDISC 2004 (2004 Amsterdam, Netherlands) Rachid GuerraouiBerlin Springer New York 2004Online access. The library also has physical copies. |
2 |
Material Type: Book
|
![]() |
Formal techniques for networked and distributed systems-- FORTE 2004 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedingsFORTE 2004 (2004 Madrid, Spain) David de Frutos-Escrig; Manuel Núñez Profesor; IFIP Working Group 6.1Berlin Springer New York c2004Online access. The library also has physical copies. |
3 |
Material Type: Book
|
![]() |
Content computing Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China, November 15-17, 2004 : proceedingsAdvanced Workshop on Content Computing (2004 Zhenjiang Shi, China) Chi-Hung Chi; Kwok Yan Lam 1966-Berlin Springer New York 2004Online access. The library also has physical copies. |
4 |
Material Type: Book
|
![]() |
Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, ProceedingsBertran, Miquel ; Rus, Teodor Rus, Teodor ; Bertran, MiquelBerlin, Heidelberg: Springer Berlin / Heidelberg 1997Full text available |
5 |
Material Type: Book
|
![]() |
Distributed Computing: 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, ProceedingsFich, Faith Ellen Fich, Faith EllenBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Full text available |
6 |
Material Type: Book
|
![]() |
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 ProceedingsBakker, J. W. de ; Roever, W. -P. de ; Rozenberg, G Rozenberg, G. ; de Roever, W. -P. ; de Bakker, J. W.Berlin, Heidelberg: Springer Berlin Heidelberg 1990Full text available |
7 |
Material Type: Book
|
![]() |
DCE — The OSF Distributed Computing Environment Client/Server Model and Beyond: International DCE Workshop Karlsruhe, Germany, October 7–8, 1993 ProceedingsSchill, Alexander Schill, AlexanderBerlin, Heidelberg: Springer Berlin Heidelberg 1993Full text available |
8 |
Material Type: Book
|
![]() |
Structural Information and Communication Complexity: 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected PapersSuomela, Jukka Suomela, JukkaCham: Springer Nature 2016Full text available |
9 |
Material Type: Book
|
![]() |
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 ProceedingsKönig, Hartmut ; Heiner, Monika ; Wolisz, Adam Wolisz, Adam ; König, Hartmut ; Heiner, MonikaBerlin, Heidelberg: Springer Berlin Heidelberg 2003Full text available |
10 |
Material Type: Book
|
![]() |
Scientific Engineering of Distributed Java Applications: Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised PapersGuelfi, Nicoals ; Astesiano, Egidio ; Reggio, Gianna Guelfi, Nicolas ; Astesiano, Egidio ; Reggio, GiannaBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Full text available |