Your search returned 19 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
ECOOP '88, European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, proceedings / S. Gjessing, K. Nygaard, eds. by Series: Lecture notes in computer science ; 322.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1988
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
PREMO : a framework for multimedia middleware : specification, rationale, and Java binding / David J. Duke, Ivan Herman M., Scott Marshall [(eds.)]. by Series: Lecture notes in computer science ; 1591.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
ECOOP '91 : European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991 : proceedings / Pierre America (ed.). by Series: Lecture notes in computer science ; 512.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin : Springer, 1991 In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
5.
6.
ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings / C. Ghezzi, J.A. McDermid (eds.). by Series: Lecture notes in computer science ; 387.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1989
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
8.
9.
10.
Business process management : models, techniques, and empirical studies / Wil van der Aalst, Jörg Desel, Andreas Oberweis (eds.). by Series: Lecture notes in computer science ; 1806.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
ESEC '87 : 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987 : proceedings / H.K. Nichols, D. Simpson (eds.). by Series: Lecture notes in computer science ; 289.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1987
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Optimal interprocedural program optimization : a new framework and its application / Jens Knoop. by Series: Lecture notes in computer science ; 1428.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings / Didier Bert (ed.). by Series: Lecture notes in computer science ; 1393.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Other title:
  • Recent advances in the development and use of the B method
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
15.
Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings / Manfred Broy, Bernhard Rumpe (eds.). by Series: Lecture notes in computer science ; 1526.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Other title:
  • International Workshop RTSE'97
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
17.
18.
FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran, eds. by Series: Lecture notes in computer science ; 873.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1994
Other title:
  • Industrial benefit of formal methods
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991 : proceedings / A. van Lamsweerde, A. Fuggetta, eds. by Series: Lecture notes in computer science ; 550.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1991
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha