Refine your search

Your search returned 121 results.

Sort
Results
Métodos para especificaçao de sistemas by Series: Colección EBAI
Material type: Text Text; Literary form: Not fiction
Publication details: Campinas : [S.n.], 1988
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.1 MEN .

History of programming languages II by
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva York : ACM Press ; Addison Wesley, c1996
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: K.2 HIS . Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: K.2 HIS .

Mathematical methods in program development by Series: NATO ASI series. Series F, Computer and systems sciences ; 158
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: D.1 MAT .

Database reengineering and interoperability by
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva York : Plenum Press, c1996
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: H.2 DAT.

Software requirements : objects, functions, and states by
Edition: rev. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Upper Saddle River : Prentice Hall PTR, c1993
Availability: Items available for loan: Biblioteca de la Facultad de Informática (2)Call number: D.2.1 DAV , ...

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
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: London : Chapman & Hall, 1996
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: C.2.2 PRO .

New developments in hardware and software for computational physics : proceedings of the Conference on New Developments in Hardware and Software for Computational Physics by Series: Computer physics communications ; v. 56, no. 1
Edition: Special issue. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Amsterdam : [S.n.], 1989
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: J.2 NEW .

Formal foundations for software engineering methods by Series: Lecture notes in computer science ; 1322
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: D.2.1 HUS.

Distributed systems : methods and tools for specification : an advanced course by Series: Lecture notes in computer science ; 190
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, c1985
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ALF.

Computer science today : recent trends and developments by Series: Lecture notes in computer science ; 1000
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : [S.n.], c1995
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 LEE.

Software requirements and specifications : a lexicon of practice, principles and prejudices by Series: ACM Press Books
Edition: 1st print. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Wokingham : [S.n.], 1995
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.1 JAC .

Distributed applications and interoperable systems by
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: London : Chapman & Hall, 1997
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: C.2.4 DIS .

Computers in english language teaching and research : selected papers from the 1984 Lancaster Symposium Computers in English Language Education and Research by Series: Applied linguistics and language study
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva York : Longman, 1986
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: K.3.1 COM .

Logic programming and non-monotonic reasoning : proceedings of the First International Workshop by
Material type: Text Text; Literary form: Not fiction
Publication details: Cambridge : [S.n.], c1991
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: I.2.3 LOG.

Graphtheoretic concepts in computer science : proceedings of the International Workshop WG 80, Bad Honnef, June 15-18, 1980 by Series: Lecture notes in computer science ; 100
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : [S.n.], 1981
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 GRA.

Logic of computation by Series: NATO ASI series. Series F, Computer and systems sciences ; 157
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: F.4.1 LOG .

Software requirements engineering by
Edition: 2nd ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Los Alamitos : IEEE Computer Society Press, c2000
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.1 THA .

Requirements engineering : frameworks for understanding by
Edition: Repr. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Chichester : [S.n.], c1996
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.1 WIE .

Pages