Results of search for 'ccl=an:248002'

Results
	1.	Métodos para especificaçao de sistemas by Mendes, Sueli Bandeira Teixeira Aguiar, Teresa Cristina de Series: Colección EBAI Material type: Text; Format: large print regular print Publication details: Campinas : , 1988 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: D.2.1 MEN . Place hold Add to cart (remove)
	2.	History of programming languages II by Bergin, Thomas J Gibson, Richard G [Editor/a] History of Programming Languages Conference (2ª: 1993 : Cambridge) ACM Special Interest Group on Programming Languages - ACM/SIGPLAN Edition: 1st ed. Material type: Text; Format: large print regular print Publication details: Nueva York : ACM Press ; Addison Wesley, c1996 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: K.2 HIS . Items available for reference: Biblioteca Fac.Informática: Consulta en Sala (1)Call number: K.2 HIS . Place hold Add to cart (remove)
	3.	Mathematical methods in program development by Sin autor Series: NATO ASI series. Series F, Computer and systems sciences ; 158 Material type: Text; Format: large print regular print Publication details: Berlín : , c1997 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: D.1 MAT . Place hold Add to cart (remove)
	4.	Database reengineering and interoperability by Sin autor Material type: Text; Format: large print regular print Publication details: Nueva York : , c1996 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: H.2 DAT. Place hold Add to cart (remove)
	5.	Software requirements : objects, functions, and states by Davis, Alan M Edition: rev. ed. Material type: Text; Format: large print regular print Publication details: Upper Saddle River : Prentice Hall PTR, c1993 Availability: Items available for loan: Biblioteca Fac.Informática (2)Call number: D.2.1 DAV , ... Place hold Add to cart (remove)
	6.	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; 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 . Place hold Add to cart (remove)
	7.	New developments in hardware and software for computational physics : proceedings of the Conference on New Developments in Hardware and Software for Computational Physics by Sin autor Series: Computer physics communications ; v. 56, no. 1 Edition: Special issue. Material type: Text; Format: large print regular print Publication details: Amsterdam : , 1989 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: J.2 NEW . Place hold Add to cart (remove)
	8.	University education in computing science : proceedings of a conference on graduate academic and related research programs in computing science, held at the State University of New York at Stony Brook, June 1967 by Sin autor Series: ACM monogram series Material type: Text; Format: large print regular print Publication details: Nueva York : , 1968 Availability: Not available: Biblioteca Fac.Informática: Lost (1). Add to cart (remove)
	9.	Symbolic languages in data processing : proceedings of the symposium organized and edited by the International Computation Centre, Roma, March 26-31, 1962 by Sin autor Material type: Text; Format: large print regular print Publication details: Nueva York : , c1962 Availability: Not available: Biblioteca Fac.Informática: Lost (1). Add to cart (remove)
	10.	Formal foundations for software engineering methods by Hußmann, Heinrich Series: Lecture notes in computer science ; 1322 Material type: Text; Format: large print regular print Publication details: Berlín : , c1997 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: D.2.1 HUS. Place hold Add to cart (remove)
	11.	Distributed systems : methods and tools for specification : an advanced course by Alford, M.W Ansart, J. P Siegert, H. J [Editor/a] Paul, Manfred [Editor/a] Lamport, L Hommel, G Schneider, F. B Mullery, G. P Liskov, Barbara Series: Lecture notes in computer science ; 190 Material type: Text; Format: large print regular print Publication details: Berlín : Springer, c1985 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 ALF. Place hold Add to cart (remove)
	12.	Computer science today : recent trends and developments by Sin autor Leeuwen, Jan Van Series: Lecture notes in computer science ; 1000 Material type: 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 LEE. Place hold Add to cart (remove)
	13.	Software requirements and specifications : a lexicon of practice, principles and prejudices by Jackson, Michael Series: ACM Press Books Edition: 1st print. Material type: Text; Format: large print regular print Publication details: Wokingham : , 1995 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: D.2.1 JAC . Place hold Add to cart (remove)
	14.	Distributed applications and interoperable systems by Sin autor International Federation for Information Processing - IFIP Preuß, Thomas Geihs, Kurt Konig, Hartmut International Working Conference on Distributed Applications and Interoperable Systems (30ª : 1997 : Cottbus) Edition: 1st ed. Material type: Text; Format: large print regular print Publication details: London : , 1997 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: C.2.4 DIS . Place hold Add to cart (remove)
	15.	Computers in english language teaching and research : selected papers from the 1984 Lancaster Symposium Computers in English Language Education and Research by Sin autor Series: Applied linguistics and language study Edition: 1st ed. Material type: Text; Format: large print regular print Publication details: Nueva York : Longman, 1986 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: K.3.1 COM . Place hold Add to cart (remove)
	16.	Logic programming and non-monotonic reasoning : proceedings of the First International Workshop by Sin autor Material type: Text; Format: large print regular print Publication details: Cambridge : , c1991 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: I.2.3 LOG . Place hold Add to cart (remove)
	17.	Graphtheoretic concepts in computer science : proceedings of the International Workshop WG 80, Bad Honnef, June 15-18, 1980 by Sin autor Series: Lecture notes in computer science ; 100 Material type: Text; Format: large print regular print Publication details: Berlín : , 1981 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A.0.2 GRA. Place hold Add to cart (remove)
	18.	Logic of computation by Sin autor Schwichtenberg, Helmut [Editor/a] Series: NATO ASI series. Series F, Computer and systems sciences ; 157 Edition: 1st ed. Material type: Text; Format: large print regular print Publication details: Berlín : Springer, c1997 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: F.4.1 LOG . Place hold Add to cart (remove)
	19.	Software requirements engineering by Sin autor Thayer, Richard H Dorfman, Merlin Bailin, Sidney C Edition: 2nd ed. Material type: Text; Format: large print regular print Publication details: Los Alamitos : , c2000 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: D.2.1 THA . Place hold Add to cart (remove)
	20.	Requirements engineering : frameworks for understanding by Wieringa, R. J Edition: Repr. Material type: Text; Format: large print regular print Publication details: Chichester : , c1996 Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: D.2.1 WIE . Place hold Add to cart (remove)

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 72 results.