Refine your search

Your search returned 203 results.

Not what you expected? Check for suggestions
1.
Performance evaluation of complex systems : techniques and tools : performance 2002 tutorial lectures / Maria Carla Calzarossa, Salvatore Tucci (eds.).

by Calzarossa, Maria Carla, 1958- | Tucci, Salvatore, 1946- | IFIP Working Group 7.3 on Computer System Modelling.

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 .
2.
Fast software encryption : 7th international workshop, FSE 2000, New York, NY, USA, April 10-12, 2000 : proceedings / Bruce Schneier, ed.

by FSE (Workshop) (7th : 2000 : New York, N.Y.) | Schneier, Bruce, 1963-.

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.
Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers / Alexandre Petrenko, Andreas Ulrich (eds.).

by FATES 2003 (2003 : Montréal, Québec) | Petrenko, Alexandre | Ulrich, Andreas (Engineer) | IEEE International Automated Software Engineering Conference (18th : 2003 : Montréal, Québec).

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 .
4.
The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings / ed. by B.T. Denvir [and others].

by Denvir, B. T [edt] | Workshop on the Analysis of Concurrent Systems (12-09-1983 - 16-09-1983 : Cambridge).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1985Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Fast software encryption : third International workshop, Cambridge, UK, February 21-23, 1996 : proceedings / Dieter Gollmann (ed.).

by Gollmann, Dieter [edt] | International Workshop on Fast Software Encryption, FSE (3 : 21-02-1996 - 23-02-1996 : Cambridge, Great Britain).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1996Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Fast software encryption : 6th International Workshop, FSE'99, Rome, Italy, March 24-26, 1999 : proceedings / Lars Knudsen (ed.).

by FSE (Workshop) (6th : 1999 : Rome, Italy) | Knudsen, Lars | LINK (Online service).

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 .
7.
Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 ; proceedings / Nicolas Halbwachs, Doron Peled (Eds.).

by CAV (Conference) (11th : 1999 : Trento, Italy) | Halbwachs, Nicolas | Peled, Doron A, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; London : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Quality of software architectures and software quality : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings / Ralf Reussner [and others] (eds.).

by International Conference on the Quality of Software Architectures (1st : 2005 : Erfurt, Germany) | Reussner, Ralf | International Workshop on Software Quality (2nd : 2005 : Erfurt, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: QoSA 2005 | SOQUA 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / Wolfgang Grieskamp, Carsten Weise (eds.).

by FATES 2005 (2005 : Edinburgh, Scotland) | Grieskamp, Wolfgang, 1960- | Weise, Carsten.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: FATES 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Performance evaluation : metrics, models and benchmarks : SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008 : proceedings / Samuel Kounev, Ian Gorton, Kai Sachs (eds.).

by SPEC International Performance Evaluation Workshop (2008 : Darmstadt, Germany) | Kounev, Samuel | Gorton, Ian | Sachs, Kai.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: SPEC International Performance Evaluation Workshop | SIPEW 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Model driven architecture : foundations and applications : 4th European conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008 ; proceedings / Ina Schieferdecker, Alan Hartman (eds.).

by ECMDA-FA (Conference) (4th : 2008 : Berlin, Germany) | Schieferdecker, Ina | Hartman, A. (Alan).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: ECMDA-FA 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008 ; proceedings / Diego Calvanese, Georg Lausen (eds.).

by RR (Conference) (2nd : 2008 : Karlsruhe, Germany) | Calvanese, Diego | Lausen, Georg.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2008Other title: RR 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Trust in agent societies : 11th International Workshop, TRUST 2008, Estoril, Portugal, May 12 -13, 2008 : revised selected and invited papers / Rino Falcone [and others] (Eds.).

by Falcone, Rino | International Joint Conference on Autonomous Agents and Multiagent Systems (7th : 2008 : Estoril, Portugal).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2008Other title: TRUST 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings / Alan J. Hu, Moshe Y. Vardi (eds.).

by CAV (Conference) (1998 : Vancouver, B.C.) | Hu, Alan J. (Alan John) | Vardi, Moshe Y.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; London : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings / Martín Abadi, Takayasu Ito (eds.).

by TACS'97 (1997 : Sendai-shi, Miyagi-ken, Japan) | Abadi, Martín | Itō, T. (Takayasu), 1940-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1997Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.).

by SOFSEM (1999 : Milovy, Czech Republic) | Pavelka, Jan, 1948- | Tel, Gerard | Bartošek, Miroslav.

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 .
17.
SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995 : proceedings / Miroslav Bartošek, Jan Staudek, Jiří Wiedermann, eds.

by SOFSEM (Conference) (22nd : 1995 : Milovy, Czech Republic) | Bartošek, Miroslav | Staudek, Jan | Wiedermann, J. (Juraj).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1995Other title: Theory and practice of informatics.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Fast software encryption : second international workshop, Leuven, Belgium, December 14-16, 1994 : proceedings / Bart Preneel, ed.

by Preneel, Bart, 1963-.

Material type: Text Text; Format: available online remote; 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 .
19.
Architectures for adaptive software systems : 5th International Conference on the Quality of Software Architectures, QOSA 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings / Raffaela Mirandola, Ian Gorton, Christine Hofmeister, (eds).

by International Conference on the Quality of Software Architectures (5th : 2009 : East Stroudsburg, Pa.) | Mirandola, Raffaela | Gorton, Ian | Hofmeister, Christine.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2009Other title: QOSA 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Component-based software engineering : 12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings / Grace A. Lewis, Iman Poernomo, Christine Hofmeister, (eds.).

by CBSE 2009 (2009 : East Stroudsburg, Pa.) | Lewis, Grace A | Poernomo, Iman Hafiz, 1976- | Hofmeister, Christine.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2009Other title: CBSE 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha