Your search returned 57 results.

Sort
Unhighlight Highlight
Select all Clear all
Results
Algebraic methodology and software technology : 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 : proceedings by Series: Lecture notes in computer science ; 1548
Edition: 1ra. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, 1999
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 AMA .

Place hold
ECOOP 2001 - object-oriented programming : 15th European conference, Budapest, Hungary, June 18-22, 2001 : proceedings by Series: Lecture notes in computer science ; 2072
Edition: 1ra. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, 2001
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ECO01 .

Place hold
Electronic commerce : current research issues and applications by Series: Lecture notes in computer science ; 1028
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, c1996
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: K.4.4 ELE .

Place hold
A survey of verification techniques for parallel programs by Series: Lecture notes in computer science ; 191
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : [S.n.], c1985
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 BAR.

Place hold
Codes for boundary-value problems in ordinary differential equations : proceedings of a Working Conference, May 14-17, 1978 by Series: Lecture notes in computer science ; 76
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : [S.n.], c1979
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 COD.

Place hold
Functional programming languages in education : First International Symposium, FPLE ྛ, Nijmegen, The Netherlands, December 4-6, 1995 : proceedings by Series: Lecture notes in computer science ; 1022
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : [S.n.], c1995
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 FPL.

Place hold
Formal foundations for software engineering methods by Series: Lecture notes in computer science ; 1322
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, c1997
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.1 HUS.

Place hold
Distributed systems : methods and tools for specification : an advanced course by Series: Lecture notes in computer science ; 190
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, c1985
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ALF.

Place hold
Computer science today : recent trends and developments by Series: Lecture notes in computer science ; 1000
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : [S.n.], c1995
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 LEE.

Place hold
Intelligent agents IV : agent theories, architectures, and languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997 : proceedings by Series: Lecture notes in computer science ; 1365
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : [S.n.], c1998
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: I.2.11 ATA .

Place hold
Human-computer interaction : 5th International Conference, EWHCI ྛ, Moscow, Russia, July 3-7, 1995 : select papers by Series: Lecture notes in computer science ; 1015
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : [S.n.], c1995
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 EWH95.

Place hold
Automata, languages and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982 by Series: Lecture notes in computer science ; 140
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, c1982
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ICA.

Place hold
Graphtheoretic concepts in computer science : proceedings of the International Workshop WG 80, Bad Honnef, June 15-18, 1980 by Series: Lecture notes in computer science ; 100
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : [S.n.], 1981
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 GRA.

Place hold
Business Process Management : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 2010: Proceedings by Series: Lecture Notes in Computer Science ; 6336
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, 2010
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: K.6.4 HUL .

Place hold
Database and expert systems applications : 10th International Conference, DEXA’99, Florence, Italy, August 30-September 3, 1999 : proceedings by Series: Lecture notes in computer science ; 16
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer-Verlag, c1999
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 DEX99 .

Place hold
Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011 : Proceedings by Series: Lecture notes in computer science ; 7019
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Heidelberg : Springer, 2011
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ICT11 .

Place hold
ECOOP '93, object-oriented programming : 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993 : proceedings by Series: Lecture notes in computer science ; 70
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer-Verlag, c1993
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ECO93.

Place hold
Pages