Hasil Pencarian

Ditemukan 42 dokumen yang sesuai dengan query

X/Open security guide : programming languages / X/Open Company, Ltd.

Englewood Cliffs, NJ: Prentice-Hall, 1989

005.8 XOP

Buku Teks Universitas Indonesia Library

Lee, John A.N., author

Computer semantics : studies of algorithms, processors and languages

New York: Van Nostrand Reinhold , 1972

001.642 LEE c

Buku Teks Universitas Indonesia Library

Iliffe, J. K., author

Advanced computer design

London: Prentice-Hall, 1982

621.381 95 ILI a (1)

Buku Teks Universitas Indonesia Library

Brainerd, Walter S.

Theory of computation / Walter S. Brainerd . Lawrence H. Landweber.

New York: John Wiley & Sons, 1974

519.4 BRA t

Buku Teks Universitas Indonesia Library

Computer hardware description languages and their applications : proceedings of the IFIP TC-10 Fifth International Conference on Computer Hardware Description Languages and Their Applications / editor, M. Breuer ; R. Hartenstein

Amsterdam: North Holland, 1981

621.391 COM

Buku Teks Universitas Indonesia Library

Oualline, Steve.

Practical C programming / Steve Oualline ; illustrations by Teresa Ellis.

Sebastopol, Calif: O'Reilly & Associates, 1991

R 005.113 ORE p

Buku Referensi Universitas Indonesia Library

Antoine Mine, editor

Static analysis : 19th international symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract...

Berlin: [, Springer-Verlag], 2012

e20410008

eBooks Universitas Indonesia Library