Your search returned 109 results.

Sort
Unhighlight Highlight
Select all Clear all
Results
New directions for intelligent tutoring systems by Series: NATO ASI Series. Series F: Computer and Systems Sciences ; 91
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, 1992
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 COS .

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
Relations and graphs : discrete mathematics for computer scientists by Series: EATCS Monographs on Theoretical Computer Scienc
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: G.2.2 SCH .

Place hold
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
On the move to meaningful internet systems 2007 : OTM 2007 workshops by Series: Lectures notes in computer science ; 4806
Edition: 1ra. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva York : Springer, 2007
Availability: Items available for loan: Biblioteca de la Facultad de Informática (2)Call number: A.0.2 OTM07 Par.2 , ...

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
Pages