Search Result

Your search for 50880 returns 2558 document(s)

Rancangan formal sistem pengendali integritas untuk lalulintas pada penempatan jalan berbasis logika proposi

Author: Maringan Situmeang; | Call Number: T-0364 | Edition: 2002 | Type: Tesis

Formalisasi dan verifikasi spesifikasi pengendali lalu lintas kereta api di stasiun dengan rel ganda, hal 8-18

Author: Eri Zuliarso, Belawati H.W. dan Widijanto S. N. | Call Number: JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI, Vol. 3 No. 1 Mei 2003 | Type: UI-ana Indek Artikel

Formalisasi verifikasi spesifikasi sistem pengendali lalulintas kereta api di stasiun dengan rel ganda, Hal. 20-27

Author: Eri Zuliarso; Belawati Widjaja; Widijanto S. Nugroho; | Call Number: SEM-273 | Type: Indeks Artikel prosiding/Sem

Progam sistem pengendali mobil RC berkamera webca wireless melalui prt paralel. ( hal. F-79/F-84 )

Author: Tri Daryanto,Heru Triyono; | Call Number: SEM-366 | Type: Indeks Artikel prosiding/Sem

Verifikasi sistem pengendali lalu lintas kereta api dengan model checker NUSMV/ Annisa Ihsani

Author: Annisa Ihsani; | Call Number: SK-0795 (Softcopy SK-277) Source code SK-252 | Type: Skripsi

Peningkatan kinerja throughput pengendali kongesti TERC untuk protokol DCCP menggunakan sistem fuzzy Tipe 2 interval

Author: Tonny Adhi Sabastian; | Call Number: T-0901 (Softcopy T-0555) Souce Code T-0098 | Edition: 2010 | Type: Tesis

Formalisasi dan verifikasi spesifikasi sistem pengendali lalulintas kereta api di stasiun dengan rel ganda

Author: Eri Zuliarso; | Call Number: T-0365 | Edition: 2002 | Type: Tesis

Pengendali Robot Bergerak Berbasis Perilaku Menggunakan Particle Swarm Fuzzy Controller (130-138)

Author: Andi Ardiansyah; | Call Number: SEM-313 | Type: Indeks Artikel prosiding/Sem

Perancangan ulang bisnis proses serta implementasi modul administration and management dalam pengembangan sistem pengelolaan domain. ID pada Indonesia Network Information Center (IDNIC)/ Adhityo Priyambodo

Author: Adhityo Priyambodo; | Call Number: KP-0517 (Softkopi KP-80) | Type: Kerja Praktek (KP)

Pengembangan formasi dalam perancangan dan implementasi prototipe MCSIR (MultiSources Client-Server Information Retrieval)/ Chandra Wirawan; Savitri Sidharta; Ananta Dwi B.

Author: Wirawan, Chandra; Sidharta, Savitri; Dwi B, Ananta; | Call Number: KP-0609 (PK-01) | Type: Kerja Praktek (KP)

Prev 18 19 20 21 22 23 24 25 26 27 Next