Your search returned 57 results.

Sort
Unhighlight Highlight
Select all Clear all
Results
Mobile agents : second international workshop, MA ’98, Stuttgart, Germany, September 9-11, 1998 : proceedings by Series: Lecture notes in computer science ; 147
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer-Verlag, c1998
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 MA98 .

Place hold
Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings by Series: Lecture notes in computer science ; 1181
Edition: 1a ed.
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: A.0.2 INT96.

Place hold
Object-oriented technology : ECOOP’98 workshop reader : ECOOP’98 workshops, demos, and posters : Brussels, Belgium, July 20-24, 1998 : proceedings by Series: Lecture notes in computer science ; 1543
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, c1998
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ECO98.

Place hold
Logic program synthesis and transformation : 5th International Workshop, LOPSTR’95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings by Series: Lecture notes in computer science ; 1048
Edition: 1a ed.
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: A.0.2 LOP95 .

Place hold
Software engineering education : 8th SEI CSEE conference, New Orleans, LA, USA, March 29-April 1, 1995 : proceedings by Series: Lecture notes in computer science ; 895
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, 1995
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 SEI .

Place hold
Formal program development : IFIP TC2/WG 2.1 state-of-the-art report by Series: Lecture notes in computer science ; 755
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, 1993
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 IFI .

Place hold
Advanced information systems engineering : 7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12-16, 1995 : proceedings by Series: Lecture notes in computer science ; 932
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, c1995
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 CAi95 .

Place hold
FME '97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings by Series: Lecture notes in computer science ; 1313
Edition: 1st ed.
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: A.0.2 FME97 .

Place hold
Object-oriented programming : 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings by Series: Lecture notes in computer science ; 821
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, c1994
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ECO94 .

Place hold
ECOOP '99 : object oriented programming : 13th European Conference, Lisbon, Portugal, June 1999 : proceedings by Series: Lecture notes in computer science ; 1628
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, c1999
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ECO99.

Place hold
Dependable computing : first Latin-American symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003 : proceedings by Series: Lecture notes in computer science ; 2847
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, 2003
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 LAD03 .

Place hold
Verifying concurrent processes using temporal logic by Series: Lecture notes in computer science ; 129
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, 1982
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.4 HAI .

Place hold
ECOOP '91, European Conference on Object-Oriented Programming : Geneva, Switzerland, July 15-19, 1991 : proceedings by Series: Lecture notes in computer science ; 512
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, 1991
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ECO91 .

Place hold
Advances in Smalltalk : 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006 ; revised selected papers by Series: Lecture notes in computer science ; 4406
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, 2006
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ISC06 .

Place hold
Semantics of data types : International symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings by Series: Lecture notes in computer science ; 173
Edition: 1ra. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, 1984
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 SDT84 .

Place hold
FME ’94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings by Series: Lecture notes in computer science ; 87
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer-Verlag, c1994
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 FME94 .

Place hold
ECOOP 2006-- object-oriented programming : 20th European conference, Nantes, France, July 3-7, 2006 : proceedings by Series: Lecture notes in computer science ; 4067
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, 2006
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ECO06 . Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1).

Place hold
ECOOP 2000, object-oriented programming : 14th European conference, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings by Series: Lecture notes in computer science ; 1850
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, 2000
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ECO00 .

Place hold
ECOOP '95, object-oriented programming : 9th European Conference, Aarhus, Denmark, August 7-11, 1995 : proceedings by Series: Lecture notes in computer science ; 952
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, c1995
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ECO95 .

Place hold
Human-computer interaction with mobile devices and services : 5th international symposium, Mobile HCI 2003, Udine, Italy, September 8-11, 2003 : proceedings by Series: Lecture notes in computer science ; 279
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer-Verlag, c2003
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 MOB03 .

Place hold
Pages