Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 26583 dokumen yang sesuai dengan query
cover
Parsons, David, author
This book presents a guide to the core features of Java and some more recent innovations, enabling the reader to build skills and confidence though tried-and-trusted stages, supported by exercises that reinforce key learning points...
London: Spinger-Verlag, 2012
e20407553
eBooks  Universitas Indonesia Library
cover
Lee, Richard C., author
Upper Saddle River: Prentice-Hall, 2002
005.117 LEE p
Buku Teks  Universitas Indonesia Library
cover
cover
Kourie, Derrick G., editor
Kourie and Watson advocate an approach known as “correctness-by-construction,” a technique to derive algorithms that relies on formal theory, but that requires such theory to be deployed in a very systematic and pragmatic way. First they provide the key theoretical background (like first-order predicate logic or refinement laws) that...
Berlin: [, Springer-Verlag], 2012
e20409956
eBooks  Universitas Indonesia Library
cover
Laddad, Ramnivas, author
Greenwich: Manning Pubcations Co., 2003
005.133 LAD a
Buku Teks  Universitas Indonesia Library
cover
Baesens, Bart, author
Indianapolis: John Wiley and Sons, 2015
005.133 BAE b
Buku Teks  Universitas Indonesia Library
cover
Farrell, Joyce, author
Boston : Course technology Cengage Learning, 2012
005.1 FAR j (1)
Buku Teks  Universitas Indonesia Library
cover
Sarang, Poornachandra, author
New York: McGraw-Hill, 2012
005.133 SAR j
Buku Teks  Universitas Indonesia Library
cover
Nair, Premchand S., author
London: CRC Press, Taylor & Francis Group, 2009
005.117 NAI j
Buku Teks  Universitas Indonesia Library
cover
Barnes, David J. (David John), 1959 June 7-, author
Boston: Pearson, 2017
005.133 BAR o
Buku Teks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>