Your search returned 52 results.

Sort
Results
Formalización del proceso de desarrollo de software by Series: Colección EBAI
Edition: Ed. prelim. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Buenos Aires : Kapelusz, 1988
Availability: Items available for loan: Biblioteca de la Facultad de Informática (2)Call number: D.2.9 HAE , ...

Problemas, lenguajes y algoritmos by Series: Colección EBAI
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Campinas : UNICAMP, 1986
Availability: Items available for loan: Biblioteca de la Facultad de Informática (2)Call number: F.1 SAG, ...

Concurrencia tradicional en programación funcional by
Material type: Text Text; Literary form: Not fiction
Publication details: 1998
Dissertation note: Tesina (Licenciado en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1998.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 98/16 .

Menos es más : una formalización minimalista de la orientación a objetos by
Material type: Text Text; Literary form: Not fiction
Publication details: 1998
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1998.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 98/03 .

Aplicación de técnicas evolutivas para el problema de plegado de proteínas by
Material type: Text Text; Literary form: Not fiction
Publication details: 1998
Dissertation note: Tesina (Licenciado en Informática) - Universidad Nacional de La Plata, Facultad de Ciencias Exactas.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 98/18 .

Un enfoque ecléctico para la implementación de estructuras de datos by
Material type: Text Text; Literary form: Not fiction
Publication details: 2001
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata, Facultad de Informática, 2001.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 01/08 .

Heurística para TSP-2d euclideo y simétrico basadas en la triangulación de Delaunay y sus subgrafos by
Material type: Text Text; Literary form: Not fiction
Publication details: 1997
Dissertation note: Tesina (Licenciatura en Informática) -- Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1997.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 97/15 .

Forks without philosophers o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó by
Material type: Text Text; Literary form: Not fiction
Publication details: 1996
Dissertation note: Tesina (Licenciado en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1996.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 96/07 .

Sobre la representación de S4.3. by
Material type: Text Text; Literary form: Not fiction
Publication details: 1996
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1996.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 96/01 .

Modelización de campos continuos en sistemas de información geográfica by
Material type: Text Text; Literary form: Not fiction
Publication details: 1998
Dissertation note: Tesis (Maestría en Ingeniería de Software) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1998.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 98/12 .

Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos by
Material type: Text Text; Literary form: Not fiction
Publication details: 1999
Dissertation note: Tesis (Doctorado en Ciencias Informáticas) - Universidad Nacional de La Plata, Facultad de Ciencias Exactas, 1999.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 99/16 . Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados by
Material type: Text Text; Literary form: Not fiction
Publication details: 2003
Dissertation note: Tesina (Licenciado en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2003.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 03/04 .

Obteniendo eficiencia y legibilidad en programas generados automáticamente by
Material type: Text Text; Literary form: Not fiction
Publication details: 2003
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2003.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 03/07 .

Complejidad de los algoritmos by Series: Colección EBAI
Edition: Ed. prelim. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Buenos Aires : Kapelusz, 1987
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: F.2 BAU .

Un servidor de aplicaciones MLS : especificación y verificación de propiedades de seguridad by
Material type: Text Text; Literary form: Not fiction
Publication details: 2003
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata, Facultad de Informática, 2003.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 03/17 .

Diagramática : una formalización para la construcción de lenguajes visuales by
Material type: Text Text; Literary form: Not fiction
Publication details: 2006
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata, Facultad de Informática, 2006.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 06/11 .

Reasoning about static and dynamic properties in Alloy : A purely relational approach by Series: ^p Datos electrónicos (1 archivo : 412 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

A framework for execution of secure mobile code based on static analysis by Series: ^p Datos electrónicos (1 archivo : 355 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Reasoning about the correctness of software development process by Series: ^p Datos electrónicos (1 archivo : 216 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Dependency relations between models in the unified process by Series: ^p Datos electrónicos (1 archivo : 691 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Pages