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.
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
3.
Attribute grammar inversion and source-to-source translation / Daniel M. Yellin. by Series: Lecture notes in computer science ; 302.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin : Springer, ©1988
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
5.
EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings. by Series: Lecture notes in computer science ; 203-204.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 1985
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
7.
8.
9.
EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings / J.H. Davenport (ed.). by Series: Lecture notes in computer science ; 378.
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
10.
Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 / edited by Eiiti Wada. by Series: Lecture notes in computer science ; 221.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1986
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
An introduction to the PL/CV2 programming logic / R.L. Constable, S.D. Johnson, C.D. Eichenlaub. by Series: Lecture notes in computer science ; 135.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1982
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980 / edited by B. Robinet. by Series: Lecture notes in computer science ; 83.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Language: English, French Publisher: Berlin ; New York : Springer-Verlag, 1980
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / Frédéric Geurts. by Series: Lecture notes in computer science ; 1426.
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
14.
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
15.
Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.). by Series: Lecture notes in computer science ; 864.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1994
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings / N. Jones (ed.). by Series: Lecture notes in computer science ; 432.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1990
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
18.
Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming [electronic resource] / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Oxford : Oxford ; New York : Clarendon Press ; Oxford University Press, 1998
Other title:
  • Logic programming
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
Advanced object-oriented analysis and design using UML / James J. Odell. by Series: SIGS reference library series ; 12.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : New York : Cambridge University Press ; SIGS Books, 1998
Other title:
  • Advanced object-oriented analysis & design using UML
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha