Library

Your search returned 31 results. Subscribe to this search

|
Select Number Results
The Foundations of program verification / Jacques Loeckx, Kurt Sieber

by Loeckx, Jacques | Sieber, Kurt.

Material type: Text icon Text Publisher: New York [et al.] : B.G Teubner, 1984Colection: Wiley-Teubner Series in Computer ScienceColection: Wiley-Teubner Series in Computer ScienceAvailability: Items available for loan: Institut d’Estadística de Catalunya [Call number: B-1147] (1).
Computer programs directory 1971 / edited by Ben R. Faden

by Faden, Ben R [ed.] | Association for Computing Machinery.

Material type: Text icon Text Publisher: New York : CCM Information Corporation, 1971Availability: Items available for loan: Institut d’Estadística de Catalunya [Call number: B-0335] (1).
Guia del programador para el IBM y PS/2 / Peter Norton, Richard Wilton

by Norton, Peter | Wilton, Richard.

Material type: Text icon Text Publisher: Madrid : ANAYA, 1990Availability: Items available for loan: Institut d’Estadística de Catalunya [Call number: B-0659] (1).
El IBM PC a fondo : técnicas y programación avanzada / Peter Norton

by Norton, Peter.

Material type: Text icon Text Publisher: Madrid : Anaya, 1988Availability: Items available for loan: Institut d’Estadística de Catalunya [Call number: B-0677] (1).
Vax Fortran 5.0

by Digital Equipment Corporation.

Material type: Text icon Text Publisher: Massachusetts : Digital Equipament Corporation, 1988Availability: Items available for loan: Institut d’Estadística de Catalunya [Call number: B-1083] (1).
Recommended diagramming standards for analiysts and programmers : a Basis for Automation / James Martin

by Martin, James.

Material type: Text icon Text Publisher: Englewood Cliffs : Prentice Hall, 1987Availability: Items available for loan: Institut d’Estadística de Catalunya [Call number: B-1112] (1).
Proyecto SISTER ( Sistema integrado de referenciación territorial ) / coordinador del Grupo de Trabajo: Boleda Rossell, José Ma.

by Boleda Rosell, Josep Ma [coor.].

Material type: Text icon Text Publisher: Madrid : el Ministerio para las Administraciones Territoriales, 1995Availability: Items available for loan: Institut d’Estadística de Catalunya [Call number: B-0244] (2). Checked out (1).
Programs TRAMO (Time Series Regression with ARIMA Noise, Missing observations and Outliners) and SEATS (Signal Extraction in ARIMA Time Series) / Víctor Gómez, Agustín Maravall

by Gómez, Víctor | Maravall, Agustín | Espanya. Dirección General de Análisis y Programación Presupuestaria.

Material type: Text icon Text Publisher: Madrid : el Ministerio de Economía y Hacienda, 1997Colection: Documentos de trabajo (Espanya. Dirección General de Análisis y Programación Presupuestaria)Colection: Documentos de trabajo (Espanya. Dirección General de Análisis y Programación Presupuestaria)Availability: Items available for loan: Institut d’Estadística de Catalunya [Call number: B-2173] (1).
Database Management with Double Helix II for the Macintosh and VAX / Jan L. Harrington

by Harrington, Jan L.

Material type: Text icon Text Publisher: New York : Prentice Hall, 1988Availability: Items available for loan: Institut d’Estadística de Catalunya [Call number: B-2152] (2).
Programme for formal methods in system development : overwiew / prepared for the Software Engineering Directorate by the Advisory Group on Formal Methods

by Gran Bretanya. Alvey Directorate | Alvey Software Engineering.

Material type: Text icon Text Publisher: London : Dept. of Trade and Industry. Alvey Directorate, 1984Availability: Items available for loan: Institut d’Estadística de Catalunya [Call number: J-0193] (1).
Programa gestor de publicaciones estadísticas [Recurs electrònic]

by Instituto Nacional de Estadística (Espanya).

Material type: Computer file Computer file; Format: electronic Publisher: Madrid : Instituto Nacional de Estadística, 1996Availability: Items available for loan: Institut d’Estadística de Catalunya [Call number: B-2255] (2).
Computer Organization and Programming : VAX-11 / Souail El-Asfouri, Olin Johnson, Wilis K. King

by El-Asfouri, Souail | Johnson, Olin | King, Willis K.

Material type: Text icon Text Publisher: London [et al.] : Addison-Wesley, 1984Availability: Items available for loan: Institut d’Estadística de Catalunya [Call number: B-0614] (1).
Adobe Type 1 Font Format. Adobe Systems Incorporated

by Adobe Systems Incorporated.

Material type: Text icon Text Publisher: Reading [Mass.] : Addison-Wesley, 1990Availability: Items available for loan: Institut d’Estadística de Catalunya [Call number: B-0635] (1).
Microsoft Word : el processador de textos més utilitzat arreu del món : manual del usuari

by Microsoft Corporation.

Material type: Text icon Text Publisher: [S.l.] : Microsft Corporation, 1994Availability: Items available for loan: Institut d’Estadística de Catalunya [Call number: B-0616] (1).
Microsoft Excel : referencia de funciones

by Microsoft Corporation.

Material type: Text icon Text Publisher: [S.l.] : Microsoft Corporation, 1992Availability: Items available for loan: Institut d’Estadística de Catalunya [Call number: B-0660] (1).