Refine your search

Your search returned 267 results.

Not what you expected? Check for suggestions
1.
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma [and others], (eds.).

by TACAS (Conference) (1st : 1995 : Århus, Denmark) | Brinksma, Ed.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Distributed computing : 15th international conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001 : proceedings / Jennifer Welch (ed.).

by DISC 2001 (2001 : Lisbon, Portugal) | Welch, Jennifer.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Coordination models and languages : 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings / Farhad Arbab, Carolyn Talcott (eds.).

by COORDINATION 2002 (2002 : York, England) | Arbab, F. (Farhad) | Talcott, Carolyn L.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Innovative Internet computing systems : second international workshop, IICS 2002, Kühlungsborn, Germany, June 20-22, 2002 : proceedings / Herwig Unger, Thomas Böhme, Armin Mikler (eds.).

by IICS 2002 (2002 : Kühlungsborn, Germany) | Unger, Herwig, 1966- | Böhme, Thomas, 1957- | Mikler, Armin.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings / Doron A. Peled, Moshe Y. Vardi (eds.).

by FORTE 2002 (2002 : Houston, Tex.) | Peled, Doron A, 1962- | Vardi, Moshe Y.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Distributed computing : 16th international conference, DISC 2002, Toulouse, France, October 28-30, 2002 : proceedings / Dahlia Malkhi (ed.).

by DISC 2002 (2002 : Toulouse, France) | Malkhi, Dahlia.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©2002Other title: DISC 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Distributed computing : mobile and wireless computing : 4th international workshop, IWDC 2002, Calcutta, India, December 28-31, 2002 : proceedings / Sajal K. Das, Swapan Bhattacharya (eds.).

by IWDC (Workshop) (4th : 2002 : Kolkata, India) | Das, Sajal K | Bhattacharya, Swapan.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Distributed communities on the Web : 4th international workshop, DCW 2002, Sydney, Australia, April 3-5, 2002 : revised papers / John Plaice [and others], eds.

by DCW (Conference) (4th : 2002 : Sydney, N.S.W.) | Plaice, John, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Scientific engineering for distributed Java applications : International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002 : revised papers / Nicolas Guelfi, Egidio Astesiano, Gianna Reggio, eds.

by FIDJI 2002 (2002 : Luxembourg, Luxembourg) | Guelfi, Nicolas, 1965- | Astesiano, E. (Egidio), 1939- | Reggio, Gianna, 1957-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Innovative Internet community systems : third international workshop, IICS 2003, Leipzig, Germany, June 19-21, 2003 : revised papers / Thomas Böhme, Gerhard Heyer, Herwig Unger (eds.).

by IICS 2003 (2003 : Leipzig, Germany) | Böhme, Thomas, 1957- | Heyer, Gerhard, 1955- | Unger, Herwig, 1966-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer/Verlag, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Distributed applications and interoperable systems : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris France November 17-21, 2003 : proceedings / Jean-Bernard Stefani, Isabelle Demeure, Daniel Hagimont, (Eds.).

by DAIS (Conference) (4th : 2003 : Paris, France) | Stefani, Jean-Bernard | Demeure, Isabelle | Hagimont, Daniel | International Federation for Information Processing.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Parallel and distributed processing and applications : international symposium, ISPA 2003, Aizu-Wakamatsu, Japan, July 2-4, 2003 : proceedings / Minyi Guo, Laurence Tianruo Yang (eds.).

by ISPA (Conference) (2003 : Aizuwakamatsu-shi, Japan) | Guo, Minyi | Yang, Laurence Tianruo.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Advanced distributed systems : Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004 : revised selected papers / Victor Larios, Félix F. Ramos, Herwig Unger (eds.).

by International School and Symposium on Advanced Distributed Systems (3rd : 2004 : Guadalajara, Mexico) | Larios, Victor | Ramos, Félix F | Unger, Herwig, 1966- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2004Other title: ISSADS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Principles of distributed systems : 7th international conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003 : revised selected papers / Marina Papatriantafilou, Philippe Hunel (eds.).

by OPODIS (Conference) (7th : 2003 : Martinique) | Papatriantafilou, Marina | Hunel, Philippe.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Distributed computing : 18th International Conference, DISC 2004, Amsterdam, the Netherlands, October 4-7, 2004 : proceedings / Rachid Guerraoui (ed.).

by DISC 2004 (2004 : Amsterdam, Netherlands) | Guerraoui, Rachid.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Coordination models and languages : 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings / Rocco de Nicola, Gianluigi Ferrari, Greg Meredith (eds.).

by COORDINATION 2004 (2004 : Pisa, Italy) | De Nicola, Rocco | Ferrari, Gianluigi, 1974- | Meredith, Greg.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: COORDINATION 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Self-managing distributed systems : 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003 : proceedings / Marcus Brunner, Alexander Keller, (eds.).

by IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (14th : 2003 : Heidelberg, Germany) | Keller, Alexander, 1968- | Brunner, Marcus, 1968-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Scientific engineering of distributed Java applications : third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers / Nicolas Guelfi, Egidio Astesiano, Gianna Reggio, eds.

by FIDJI 2003 (2003 : Luxembourg, Luxembourg) | Guelfi, Nicolas, 1965- | Astesiano, E. (Egidio), 1939- | Reggio, Gianna, 1957-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Structural information and communication complexity : 11th international colloquium, SIROCCO 2004, Smolenice Castle, Slowakia, June 21-23, 2004 : proceedings / Rastislav Královic̆, Ondrej Sýkora (eds.).

by Colloquium on Structural Information and Communication Complexity (11th : 2004 : Smolenice, Slovakia) | Královič, Rastislav | Sýkora, Ondrej.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Utility computing : 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004 : proceedings / Akhil Sahai, Felix Wu (eds.).

by IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (15th : 2004 : Davis, Calif.) | Sahai, Akhil | Wu, S. Felix, 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2004Other title: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management | Fifteenth IFIP/IEEE International Workshop on Distributed Systems: Operations and Management | IFIP/IEEE International Workshop on Distributed Systems: Operations and Management | DSOM 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha