Results
|
|
|
|
|
|
|
|
|
|
|
Computer software : programming systems for digital computers / Ivan Flores Publication: New Jersey : Prentice-Hall, cop. 1965Description: X, 493 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.6.FLO FCT 64 (1).
|
|
|
|
The art of computer programming : vol. 2 : seminumerical algorithms / Donald E. Knuth Publication: Massachusetts : Addison-Wesley , cop. 1969Description: XI. 629 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.6.KNU FCT 5809 (1).
|
|
|
|
The art of the computer programming : vol. 2 : seminumerical algorithms / Donald E. Knuth Publication: Reading, US : Addison-Wesley, cop. 1981Description: XIII, 688 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.6.KNU FCT 15907 (1).
|
|
|
|
The logical for computer programming : vol. I : deductive reasoning / Zohar Manna, Richard Waldinger Publication: Massachusetts : Addison-Wesley, cop. 1985Description: XII, 618 p. :
il. ;
24 cmAvailability: Items available for reference: Não pode ser emprestado, apenas consulta localCall number: QA76.6.MAN FCT 11653 (1). :
|
|
|
|
|
|
|
|
Assembler para msx / José Eduardo M. de Carvalho Publication: São Paulo : McGraw-Hill, cop. 1987Description: XXI, 314 p. ;
24 cmAvailability: Items available for loan: Call number: QA76.8.CAR FCT 18416 (1).
|
|
|
|
Logics of programs / Dexter Kezen, ed. lit. Publication: New York : Springer-Verlag, cop. 1982Description: VI, 429 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 12142 (1).
|
|
|
|
Program specification / J. Staunstrup, ed. lit. Publication: New York : Springer-Verlag, cop. 1982Description: IV, 426 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 12143 (1).
|
|
|
|
|
|
|
|
Logics of programs / Edmund Clarke, Dexter Kozen, ed. lit. Publication: New York : Springer-Verlag, cop. 1984Description: VI, 527 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 12171 (1).
|
|
|
|
|
|
|
|
Graphic auf den IBM pc's / Gabriel Cuellar Publication: Munique : Hauser, cop. 1985Description: XIV, 417 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: T385.CUE FCT 15721 (1).
|
|
|
|
Graphische datenverarbeitung mit gks : normung, programmierung und weiterentwicklung / José L. Encarnação, L. Miguel Encarnação, Wolfgang R. Herzner Publication: München : Carl Hanser, cop. 1988Description: IX, 452 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: T385.ENC FCT 15711 (1).
|
|
|
|
Graphische datenverarbeitung mit gks : normung, programmierung und weiterentwicklung / José L. Encarnação, L. Miguel Encarnação, Wolfgang R. Herzner Publication: München : Carl Hanser, cop. 1988Description: IX, 452 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: T385.ENC FCT 15715 (1).
|
|
|
|
The art of computer programming : vol. 1 : fundamental algorithms / Donald E. Knuth Publication: London : Addison-Wesley, cop. 1973Description: XXI, 634 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.6.KNU FCT 15908 (1).
|
|
|
|
The art of computer programming : vol. 3 : sorting and searching / Donald E. Knuth Publication: London : Addison-Wesley, cop. 1973Description: XI, 723 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.6.KNU FCT 15906 (1).
|
|
|
|
|
