Catálogo bibliográfico FCT/UNL

Your search returned 11 results.

Sort
Results
Formal description of programming concepts : proceedings of the IFIP working conference, helded at St. Andrews, N.B., Canada,August 1-5, 1977 / edited by Erick J. NeuholdPublication: Amsterdam : North-Holland, 1978Description: XVIII, 648 p. : il. ; 23 cmAvailability: Items available for loan: Call number: CIUL-49 FCT 84042 (1).

Mathematical foundations of computer science 1977 / edited by J. GruskaPublication: Berlin, Heidelberg : Springer-Verlag, cop. 1977Description: XI, 595 p. ; 24 cmAvailability: Items available for loan: Call number: CIUL-101 FCT 84086 (1).

Automata, languages and programming / ed. lit. Jacques LoeckxPublication: Berlin : Springer-Verlag, 1974Description: 619 p. : il. ; 24 cmAvailability: Items available for loan: Call number: CIUL-193 FCT 84157 (1).

Programming methodology / ed.lit. Clemens E. HacklPublication: Berlin : Springer-Verlag, 1975Description: IV, 501 p. : il. ; 24 cmAvailability: Items available for loan: Call number: CIUL-196 FCT 84160 (1).

Theoretical computer science : 3rd GI conference / edited by H.Tzschach, H.Waldschmidt, H.K.G.WalterPublication: Berlin : Springer-Verlag, 1977Description: VII, 418 p. : il. ; 24 cmAvailability: Items available for loan: Call number: CIUL-202 FCT 84166 (1).

Fundamentals of computation theory / edited by Marek KarpinskiPublication: Berlin : Springer-Verlag, 1977Description: XI, 542 p. : il. ; 24 cmAvailability: Items available for loan: Call number: CIUL-205 FCT 84169 (1).

Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 / edited by G. Ausiello and C. BõhmPublication: Berlin : Springer-Verlag, cop. 1978Description: VII, 508 p. : il. ; 24 cmAvailability: Items available for loan: Call number: CIUL-207 FCT 84171 (1).

Conversational languages / I. Kupka, N. WilsingPublication: New York : John Wiley, 1980Description: IX, 117 p. : il. ; 24 cmAvailability: Items available for loan: Call number: CIUL-263 FCT 84212 (1).

Report on a wide spectrum language for program specification and development / The CIP language groupPublication: Munchen : Technische Universitat, 1981Description: 236 p. : il. ; 21 cmAvailability: Items available for loan: Call number: CIUL-295 FCT 84233 (1).

The role of language in problem solving I : proceedings of the symposium held at the Johns Hopkins University, Applied Physics Laboratory, Laurel, Maryland, 29-31 October, 1984 / edited by Robert Jernigan, Bruce W. Hamill and David M.WeintraubPublication: Amsterdam : North-Holland, 1985Description: XI, 405 p. : il. ; 25 cmAvailability: Items available for loan: Call number: CIUL-563 FCT 84442 (1).

Denotational semantics : a methodology for language development / David A. SchmidtPublication: London : Allyn and Bacon, cop. 1986Description: XIII, 331 p. ; 24 cmAvailability: Items available for loan: Call number: CIUL-607 FCT 84484 (1).

Pages
Moodle da Biblioteca Slideshare da Biblioteca Siga-nos no Issuu Twitter da Biblioteca Instagram da Biblioteca Facebook da Biblioteca Blog da Biblioteca