Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 4 dokumen yang sesuai dengan query
cover
Dougherty, Edward R.
Mathematical methods for artificial intelligence and autonomous systems
Englewood Cliffs, N.J. : Prentice-Hall, 1988
006.3 DOU m
Buku Teks SO  Universitas Indonesia Library
cover
Webservices: theory and practice
" This book focuses on web service specification, search, composition, validation, resiliency, security and engineering, and discusses various service specification standards like WSDL, SAWSDL, WSMO and OWLS. The theory and associated algorithms for service specification verification are detailed using formal models like Petrinet, FSM and UML. The book also explores various approaches proposed for web service search and composition, highlighting input/output, parameter-based search, and selection of services based on both functional and non-functional parameters. In turn, ... "
Singapore: Springer Nature, 2019
e20509422
eBooks  Universitas Indonesia Library
cover
Revaldo Zen
Pemodelan sederhana sistem kontrol elevator dengan fInite state machine
" Banyaknya gedung bertingkat yang sangat tinggi saat ini menyebabkan elevator semakin dibutuhkan. Elevator bergerak pada setiap lantai di dalam gedung tersebut untuk melayani permintaan orang-orang yang ingin menaiki atau menuruni lantai. Pergerakan elevator tersebut diatur oleh sebuah sistem kontrol elevator. Skripsi ini membahas mengenai pembentukan model dan simulasi dari sistem kontrol elevator tersebut. Model tersebut mengatur pergerakan untuk satu elevator dalam melayani permintaan secara selective collective control (S/C). Model ini dibagi menjadi tiga bagian yaitu ... "
Depok: Universitas Indonesia, 2008
S27695
UI - Skripsi Open  Universitas Indonesia Library
cover
Barkalov, Alexander
Foundations of embedded systems
" The book begins by discussing the distinctive features of ESs, above all their cybernetic-physical character, and how they can be designed to deliver the required performance with a minimum amount of hardware. In turn, it presents a range of design methodologies. Considerable attention is paid to the hardware implementation of computational algorithms. It is shown that different parts of complex ESs could be implemented using models of finite state machines (FSMs). Also, field-programmable gate arrays ... "
Switzerland: Springer Nature, 2019
e20508822
eBooks  Universitas Indonesia Library