Refine your search

Your search returned 141 results.

Sort
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 .

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 .

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.

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.

Entity-relationship approach to software engineering : proceedings of the Third International Conference on Entity-Relationship Approach, Anaheim, California, USA, October 5-7, 1983 by
Material type: Text Text; Literary form: Not fiction
Publication details: Amsterdam : North-Holland, c1983
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.1 ENT .

Protocol specification, testing and verification XV : proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 by
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: London : Chapman & Hall, 1996
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: C.2.2 PRO .

Domain knowledge for interactive system design : proceedings of the TC8/WG8.2 Conference on Domain Knowledge in Interactive System Design, Switzerland, May 1996 by
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: London : [S.n.], 1996
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.13 DOM .

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.

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 .

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.

16 JAIIO : trabajos presentados by
Material type: Text Text; Literary form: Not fiction
Publication details: Buenos Aires : [S.n.], 1986
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 JAI16.

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.

Actas : Suplemento by
Material type: Text Text; Literary form: Not fiction
Publication details: Buenos Aires : [S.n.], 1992
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 JM.

[Programa de actividades] by
Material type: Text Text; Literary form: Not fiction
Publication details: Buenos Aires : [S.n.], 1992
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 JM.

17 JAIIO : Panel ྔ Expodata : trabajos seleccionados by
Material type: Text Text; Literary form: Not fiction
Publication details: Buenos Aires : [S.n.], 1988
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 JAI17.

Pages