Refine your search

Your search returned 434 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.
Advances in computing science--ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings / P.S. Thiagarajan, R. Yap (eds.).

by Asian Computing Science Conference (5th : 1999 : Phuket, Thailand) | Thiagarajan, P. S | Yap, Roland H. C, 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, the Philippines, December 8-10, 1998 : proceedings / Jieh Hsiang, Atsushi Ohori (eds.).

by Asian Computing Science Conference (4th : 1998 : Manila, Philippines) | Hsiang, Jieh, 1954- | Ohori, Atsushi, 1957-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
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 .
5.
Rough sets and current trends in computing : second international conference, RSCTC 2000, Banff, Canada, October 16-19, 2000 : revised papers / Wojciech Ziarko, Yiyu Yao (eds.).

by RSCTC 2000 (2000 : Banff, Canada) | Ziarko, Wojciech [editor] | Yao, Yiyu [editor].

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Rough sets and current trends in computing : first international conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings / Lech Polkowski, Andrzej Skowron, (eds.).

by RSCTC (Conference) (1st : 1998 : Warsaw, Poland) | Polkowski, Lech | Skowron, Andrzej.

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; New York : Springer, ©1998Other title: RSCTC '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Web intelligence : research and development : first Asia-Pacific Conference, WI 2001, Maebashi City, Japan, October 23-26, 2001 : proceedings / Ning Zhong [and others] (eds.).

by WI 2001 (2001 : Maebashi-shi, Japan) | Zhong, Ning, 1956-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; Heidelberg : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
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 .
9.
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 .
10.
Infrastructure security : international conference, InfraSec 2002, Bristol, UK, October 1-3, 2002 : proceedings / George Davida, Yair Frankel, Owen Rees, eds.

by InfraSec 2002 (2002 : Bristol, England) | Davida, George | Frankel, Yair | Rees, Owen, 1955-.

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 .
11.
Advances in computing science--ASIAN 2002 : Internet computing and modeling, grid computing, peer-to-peer computing, and cluster computing : 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002 : proceedings / Alain Jean-Marie, ed.

by Asian Computing Science Conference (7th : 2002 : Hanoi, Vietnam) | Jean-Marie, A. (Alain), 1943-.

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 .
12.
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 .
13.
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 .
14.
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 .
15.
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 .
16.
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 .
17.
Web knowledge management and decision support : 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001 : revised papers / Oskar Bartenstein [and others] (eds.).

by INAP 2001 (2001 : Tokyo, Japan) | Bartenstein, Oskar.

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.
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 .
19.
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 .
20.
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 .

Powered by Koha