::  Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

 
Ditemukan 169 dokumen yang sesuai dengan query
cover
Fisher, Alan S., author
New York : John Wiley & Sons, 1991
005.1 FIS c
Buku Teks  Universitas Indonesia Library
cover
Menlo Park : AAAI Press , 1991
005.1 AUT
Buku Teks  Universitas Indonesia Library
cover
Bass, Len, author
Reading: Addison-Wesley, 1991
005.1 BAS d
Buku Teks  Universitas Indonesia Library
cover
Rich, Charles, author
New York: ACM Press, 1990
005.1 RIC p
Buku Teks  Universitas Indonesia Library
cover
Saeed, Saqib, author
"This book focuses on the inherent issues to help practitioners in gaining understanding of software development processes aimed at software professionals,students and researchers in the domain of software engineering in order to successfully employ knowledge management procedures"--Provided by publisher...
Hershey, PA: Information Science Reference, 2013
005.1 SAE k
Buku Teks  Universitas Indonesia Library
cover
Shiller, Larry, author
Englewood Cliffs, NJ: Yourdon Press, 1990
005.1 SHI s
Buku Teks  Universitas Indonesia Library
cover
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
William Adjandra Hogan N, author
PT XYZ adalah salah satu perusahaan teknologi rintisan terkemuka di Indonesia yang bergerak di bidang e-commerce. Selain di bidang e-commerce, PT XYZ juga melakukan eksplorasi bisnis baru pada bidang teknologi finansial. Tim investasi dan asuransi (Investment and Insurance, IIS) adalah salah satu tim yang mengembangkan produk asuransi dan investasi pada...
Jakarta: Fakultas Ilmu Komputer Universitas Indonesia, 2021
TA-pdf
UI - Tugas Akhir  Universitas Indonesia Library
cover
This handbook presents fundamental knowledge on the hardware/software (HW/SW) codesign methodology. Contributing expert authors look at key techniques in the design flow as well as selected codesign tools and design environments, building on basic knowledge to consider the latest techniques. The book enables readers to gain real benefits from the...
Dordrecht: Springer Dordrecht, 2019
e20509531
eBooks  Universitas Indonesia Library
cover
This festschrift volume, published in honor of Bernd Krämer on the occasion of his 65th birthday, contains 11 contributions by close scientific companions. Covering topics like Petri nets and theoretical computer science, software and service engineering, cloud computing, and e-learning, the articles presented span the range of the scientific work...
Berlin: Springer-Verlag, 2012
e20409229
eBooks  Universitas Indonesia Library