Refine your search

Your search returned 147 results.

Sort
Results
1.
Engineering for human-computer interaction : proceedings of the IFIP TC2/WG2.7 working conference on engineering for human-computer interaction, Yellowstone Park, USA, August 1995 by
  • IFIP TC2/WG2.7 Workshop Conference on Engineering for Human-computer Interaction (1995 : Yellowstone Park)
  • International Federation for Information Processing - IFIP
Edition: 1st ed.
Material type: Text Text; Format: large print regular print
Publication details: London : , 1996
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: H.5 ENG .

2.
A survey of verification techniques for parallel programs by
  • Barringer, Howard
Series: Lecture notes in computer science ; 191
Material type: Text Text; Format: large print regular print
Publication details: Berlín : , c1985
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 BAR.

3.
TAPSOFT ྜྷ : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings by
  • International Join Conference on Theory and Practice of Software Development (7ª : 1997 : Lille, Francia)
  • Colloquium on Formal Approaches in Software Engineering (1997 : Lille, Francia)
  • Dauchet, Max
  • Bidoit, Michael
  • Colloquium on Trees in Algebra and Programming (1997 : Lille, Francia)
Series: Lecture notes in computer science ; 1214
Material type: Text Text; Format: large print regular print
Publication details: Berlín : , c1997
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 TAP97.

4.
Image analysis and processing : 8th International Conference, ICIAPྛ, San Remo, Italy, September 13-15, 1995 : proceedings by
  • International Conference on Image Analysis and Processing (8ª : 1995 : San Remo, Italia)
  • Vernazza, Gianni
  • International Association for Pattern Recognition - IAPR
  • Braccini, Carlo
  • DeFloriani, Leila
Series: Lecture notes in computer science ; 974
Material type: Text Text; Format: large print regular print
Publication details: Berlín : , c1995
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 ICI95.

5.
Codes for boundary-value problems in ordinary differential equations : proceedings of a Working Conference, May 14-17, 1978 by
  • Working Conference on Codes for Boundary-value Problems in Ordinary Differential Equations (1978 : University of Houston)
  • Childs, B
  • University of Houston
Series: Lecture notes in computer science ; 76
Material type: Text Text; Format: large print regular print
Publication details: Berlín : , c1979
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 COD.

6.
Entity-relationship approach to software engineering : proceedings of the Third International Conference on Entity-Relationship Approach, Anaheim, California, USA, October 5-7, 1983 by
  • International Conference on Entity-Relationship Approach (3ª : 1983 : Anaheim, California)
  • Davis, Carl G
Material type: Text Text; Format: large print regular print
Publication details: Amsterdam : North-Holland, c1983
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: D.2.1 ENT .

7.
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
  • IFIP WG6.1 International Symposium on Protocol Specification Testing and Verification (15º : 1995 : Varsovia)
  • International Federation for Information Processing - IFIP
  • Sredniawa, Marek
  • Dembinski, Piotr
Edition: 1st ed.
Material type: Text Text; Format: large print regular print
Publication details: London : Chapman & Hall, 1996
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: C.2.2 PRO .

8.
Domain knowledge for interactive system design : proceedings of the TC8/WG8.2 Conference on Domain Knowledge in Interactive System Design, Switzerland, May 1996 by
  • IFIP TC8/WG8.2 Conference on Domain Knowledge in Interactive System Design (1996 : Suiza)
  • International Federation for Information Processing - IFIP
Edition: 1st ed.
Material type: Text Text; Format: large print regular print
Publication details: London : , 1996
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: D.2.13 DOM .

9.
Functional programming languages in education : First International Symposium, FPLE ྛ, Nijmegen, The Netherlands, December 4-6, 1995 : proceedings by
  • FPLE (1995 : Nijmegen, Holanda)
  • Hartel, Pieter H
  • Plasmeijer, Rinus
Series: Lecture notes in computer science ; 1022
Material type: Text Text; Format: large print regular print
Publication details: Berlín : , c1995
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 FPL. Not available: Biblioteca Fac.Informática: Lost (2).

10.
Computer analysis of images and patterns : 6th International Conference, CAIP ྛ, Prague, Czech Republic, September 6-8, 1995 : proceedings by
  • International Conference on Automatic Image Processing (6ª : 1995 : Praga)
  • International Association for Pattern Recognition - IAPR
  • Hlavác, Václav
  • Sara, Radim
Series: Lecture notes in computer science ; 970
Material type: Text Text; Format: large print regular print
Publication details: Berlín : , c1995
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 CAI95.

11.
Intelligent agents IV : agent theories, architectures, and languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997 : proceedings by
  • ATAL '97 (4º : 1997 : Providence)
  • Wooldridge, Michael J
  • Rao, Anand
  • Singh, Munindar P
Series: Lecture notes in computer science ; 1365
Material type: Text Text; Format: large print regular print
Publication details: Berlín : , c1998
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: I.2.11 ATA .

12.
Human-computer interaction : 5th International Conference, EWHCI ྛ, Moscow, Russia, July 3-7, 1995 : select papers by
  • International Conference on Human-Computer Interaction (5ª : 1995 : Moscú)
  • Sin autor
  • Blumenthal, Brad
  • Gornostaev, Juri
Series: Lecture notes in computer science ; 1015
Material type: Text Text; Format: large print regular print
Publication details: Berlín : , c1995
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 EWH95.

13.
16 JAIIO : trabajos presentados by
  • Sociedad Argentina de Informática e Investigación Operativa - SADIO
Material type: Text Text; Format: large print regular print
Publication details: Buenos Aires : , 1986
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 JAI16.

14.
Automata, languages and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982 by
  • International Colloquium on Automata Languages and Programming (9º : 1982 : Aarhus, Dinamarca)
  • Schmidt, E. M
  • Nielsen, M
Series: Lecture notes in computer science ; 140
Material type: Text Text; Format: large print regular print
Publication details: Berlín : Springer, c1982
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 ICA.

15.
Actas : Suplemento by
  • Jornadas Nacionales sobre MicroIsis (2ª : 1992 : Buenos Aires)
  • Jornadas Latinoamericanas y del Caribe sobre MicroIsis (1ª : 1992 : Buenos Aires)
  • Argentina. Comisión Nacional de Energía Atómica - CNEA
  • Asociación Cooperadora Biblos
Material type: Text Text; Format: large print regular print
Publication details: Buenos Aires : , 1992
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 JM.

16.
[Programa de actividades] by
  • Jornadas Nacionales sobre MicroIsis (2ª : 1992 : Buenos Aires)
  • Jornadas Latinoamericanas y del Caribe sobre MicroIsis (1ª : 1992 : Buenos Aires)
  • Asociación Cooperadora Biblos
Material type: Text Text; Format: large print regular print
Publication details: Buenos Aires : , 1992
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 JM.

17.
17 JAIIO : Panel ྔ Expodata : trabajos seleccionados by
  • Jornadas Argentinas de Informática e Investigación Operativa (17ª : 1988 : Buenos Aires)
  • Sociedad Argentina de Informática e Investigación Operativa - SADIO
  • Conferencia Latinoamericana de Informática (14ª : 1988 : Buenos Aires)
Material type: Text Text; Format: large print regular print
Publication details: Buenos Aires : , 1988
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 JAI17.

18.
20 JAIIO : trabajos seleccionados by
  • Jornadas Argentinas de Informática e Investigación Operativa (20ª : 1991 : Buenos Aires)
  • Sociedad Argentina de Informática e Investigación Operativa - SADIO
Edition: 1a ed.
Material type: Text Text; Format: large print regular print
Publication details: Buenos Aires : SADIO, 1991
Availability: Not available: Biblioteca Fac.Informática: Lost (1).

19.
22 JAIIO : Panel ྙ : trabajos seleccionados by
  • Jornadas Argentinas de Informática e Investigación Operativa (22ª : 1993 : Buenos Aires)
  • Centro Latinoamericano de Estudios en Informática - CLEI
  • Sociedad Argentina de Informática e Investigación Operativa - SADIO
  • Conferencia Latinoamericana de Informática (19ª : 1993 : Buenos Aires)
Edition: 1a ed.
Material type: Text Text; Format: large print regular print
Publication details: Buenos Aires : SADIO, 1993
Availability: Items available for loan: Biblioteca Fac.Informática (5)Call number: A.0.2 JAI22 v.1 , ... Not available: Biblioteca Fac.Informática: Lost (1).

20.
23 JAIIO : trabajos seleccionados by
  • Jornadas Argentinas de Informática e Investigación Operativa (23ª : 1994 : Buenos Aires)
  • Sociedad Argentina de Informática e Investigación Operativa - SADIO
Material type: Text Text; Format: large print regular print
Publication details: Buenos Aires : , 1994
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 JAI23.

Pages

Powered by Koha