Ditemukan 52 dokumen yang sesuai dengan query
Jong, Jek Siang, author
Yogyakarta: Andi, 2009
005.1 JON j
Buku Teks Universitas Indonesia Library
Sickle, Ted van, author
Amsterdam: Newnes, 2003
005.262 SIC p
Buku Teks Universitas Indonesia Library
Ucoluk, Gokturk, author
The current text provides a clear introduction to computer science concepts in a programming environment. It is designed as suitable use in freshman- or introductory level coursework in CS and provides the fundamental concepts as well as abstract theorems for solving computational problems. The Python language serves as...
Wien: Springer, 2012
e20406688
eBooks Universitas Indonesia Library
Fauzi Adi Rafrastara, author
Jakarta: Elex Media Komputindo, 2009
005.1 FAU m
Buku Teks Universitas Indonesia Library
Julius Hermawan, author
Yogyakarta: Andi , 2005
005.1 JUL m
Buku Teks Universitas Indonesia Library
Agus Naba, author
Yogyakarta: Andi, 2009
005.1 AGU b
Buku Teks Universitas Indonesia Library
Abdul Kadir, author
Yogyakarta: Andi, 2005
005.362 ABD p
Buku Teks Universitas Indonesia Library
Clarke, D., author
Chichester ; New York: Wiley, 1978
624.177 CLA c
Buku Teks Universitas Indonesia Library
Manna, Zohar, author
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and...
Philadelphia: Society for Industrial and Applied Mathematics, 1980
e20450584
eBooks Universitas Indonesia Library
Antoine Mine, editor
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