Filter by
Automated Deduction – CADE 29: 29th International Conference on Automated D…
Buku akses terbuka ini merupakan hasil dari Konferensi Internasional ke-29 tentang Deduksi Otomatis, Konferensi tentang Pengurangan Otomatis (CADE, Conference on Automated Deduction) 29, yang berlangsung di Roma, Italia, selama bulan Juli 2023. 28 makalah lengkap dan 5 makalah pendek yang disajikan telah ditinjau dan dipilih secara saksama dari 77 kiriman. CADE adalah forum utama untuk penyajia…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-38499-8
- Collation
- 1 online resource (XXV, 592 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 003 PIE a
Patterns of HCI Design and HCI Design of Patterns, Bridging HCI Design and Mo…
rekayasa perangkat lunak (SE) dan interaksi manusia-komputer (HCI)/faktor manusia yang bekerja secara harmonis. Karena keselarasan antara HCI dan SE ini sulit diprediksi sebelum sistem yang berfungsi penuh benar-benar diterapkan, pengalaman desain dan kolaborasi yang ekstensif sangat penting. Pola desain interaksi juga disebut pola desain pengalaman pengguna, pola desain HCI atau antarmuka peng…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15687-3
- Collation
- -
- Series Title
- Seri Interaksi Manusia-Komputer (HCIS)
- Call Number
- T 005.12 SEF p c.1
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography