Your search returned 59 results.

Results
		The temporal logic of reactive and concurrent systems : specification by Manna, Zohar Pnuieli, Amir Edition: 1st ed. Material type: Text; Literary form: Not fiction Publication details: Nueva York : Springer-Verlag, 1991 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: C.3 MAN . Place hold
		Subject-Oriented Business Process Management : Second International Conference, S-BPM ONE 2010, Karlsruhe, Germany, October 14, 2010 : Selected Papers by Fleishmann, Albert Schmidt, Werner [Editor/a] Singer, Robert [Editor/a] Seese, Detlef [Editor/a] Series: Communications in Computer and Information Science ; 13 Edition: 1st. ed. Material type: Text; Literary form: Not fiction Publication details: [S.l.]: Springer-Verlag, 2011 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: K.6.1 SUB . Place hold
		Database and expert systems applications : 10th International Conference, DEXA’99, Florence, Italy, August 30-September 3, 1999 : proceedings by (10th : 1999 Aug./Sep. ) Bench-Capon, Trevor Soda, Giovanni Tjoa, A Min Series: Lecture notes in computer science ; 16 Edition: 1st ed. Material type: 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
		ECOOP '93, object-oriented programming : 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993 : proceedings by (7th : 1993 jul. 26-30 ) Nierstrasz, Oscar M Series: Lecture notes in computer science ; 70 Edition: 1st ed. Material type: 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 Schmidt, Gunther Ströhlein, Thomas Series: EATCS Monographs on Theoretical Computer Scienc Edition: 1st ed. Material type: 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 (2nd : 1998 Sep. 19-11 ) Rothermel, Kurt Series: Lecture notes in computer science ; 147 Edition: 1st ed. Material type: 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
		FME ’94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings by (2nd : 1994 oct. 24-28 ) Naftalin, Maurice Denvir, Tim Bertran, Miquel Series: Lecture notes in computer science ; 87 Edition: 1st ed. Material type: 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
		Human-computer interaction with mobile devices and services : 5th international symposium, Mobile HCI 2003, Udine, Italy, September 8-11, 2003 : proceedings by (5th : 2003 Sep. ) Chittaro, Luca Series: Lecture notes in computer science ; 279 Edition: 1st ed. Material type: 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
		Conceptual modeling-ER 2001 : 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 2001 : proceedings by (20th : 2001 Nov. ) Kunii, Hideko S Jajodia, Sushil Sølvberg, Arne Series: Lecture notes in computer science ; 222 Edition: 1st ed. Material type: Text; Literary form: Not fiction Publication details: Berlín : Springer-Verlag, c2001 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ICCM01 . Place hold
		ECOOP ’98 - object-oriented programming : 12th European conference, Brussels, Belgium, July 20-24, 1998 : proceedings by (12th : 1998 Jul. ) Jul, Eric Series: Lecture notes in computer science ; 144 Edition: 1st ed. Material type: 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. ECO98 . Place hold
		ECOOP ’92, European Conference on Object-Oriented Programming : Utrecht, The Netherlands, June 29-July 3, 1992 : proceedings by (1992 Jun./Jul.) Madsen, Ole Lehrmann Series: Lecture notes in computer science ; 61 Edition: 1st ed. Material type: Text; Literary form: Not fiction Publication details: Berlín : Springer-Verlag, c1992 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ECO92 . Place hold
		FME ’96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings by Gaudel, Marie-Claude [Editor/a] Woodcock, James [Editor/a] Series: Lecture notes in computer science ; 105 Edition: 1st ed. Material type: Text; Literary form: Not fiction Publication details: Berlín : Springer-Verlag, c1996 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 FME96 . Place hold
		Advances in visual information systems : 4th international conference, VISUAL 2000, Lyon, France, November 2-4, 2000 : proceedings by (4th : 2000 Nov. 2-4 ) Laurini, Robert Series: Lecture notes in computer science ; 192 Edition: 1st ed. Material type: Text; Literary form: Not fiction Publication details: Berlín : Springer-Verlag, c2000 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 VIS00 . Place hold
		Fairness by Francez, Nissim Series: Texts and monographs in computer science Edition: 1a ed. Material type: Text; Literary form: Not fiction Publication details: Nueva York : Springer-Verlag, c1986 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.4 FRA . Place hold
		Embedded operating systems : a practical approach by Holt, Alan Huang, Chi-Yu Series: Undergraduate Topics in Computer Science Edition: 1st ed. Material type: Text; Literary form: Not fiction Publication details: Londres : Springer-Verlag, 2014 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.4.7 HOL . Place hold
		Parallel programming : for multicore and cluster systems by Rauber, Thomas Rünger, Gudula Edition: 2nd ed. Material type: Text; Literary form: Not fiction Publication details: Berlín : Springer-Verlag, 2013 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.1.3 RAU . Place hold
		Programming languages : principles and paradigms by Gabbrielli, Maurizio Martini, Simone [Autor] Edition: 1st ed. Material type: Text; Literary form: Not fiction Publication details: Londres : Springer-Verlag, 2010 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.3 GAB . Place hold
		Fractal image compression : theory and application by Sin autor Fisher, Yuval Edition: 1st ed. Material type: Text; Literary form: Not fiction Publication details: Nueva York : Springer-Verlag, c1995 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: I.4.2 FRA depo. Place hold
		Foundations of logic programming by Lloyd, J. W Series: Symbolic computation. Artificial intelligence Material type: Text; Literary form: Not fiction Publication details: Berlín : Springer-Verlag, c1984 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.1.6 LLO . Place hold