Filter by
Foundations of Software Science and Computation Structures: 21st Internationa…
Buku ini merupakan hasil dari Konferensi Internasional ke-21 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2018, yang berlangsung di Thessaloniki, Yunani, pada bulan April 2018, yang diselenggarakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. 31 makalah yang disajikan dalam volume ini ditinjau dengan cermat dan dipi…
- Edition
- 1
- ISBN/ISSN
- 9783319893662
- Collation
- XV, 583
- Series Title
- -
- Call Number
- 004.1 BAI f
Intelligent Human Computer Interaction : 9th International Conference, IHCI 2…
Buku ini merupakan hasil dari prosiding Konferensi Internasional ke-9 tentang Interaksi Manusia dan Komputer yang Cerdas, IHCI 2017, yang diadakan di Evry, Prancis, pada bulan Desember 2017. Ke-15 makalah yang dipresentasikan bersama dengan tiga makalah undangan ditinjau dan dipilih secara saksama dari 25 makalah yang diajukan. Konferensi ini merupakan forum untuk presentasi kemajuan teknologi …
- Edition
- -
- ISBN/ISSN
- 978-3-319-72038-8
- Collation
- XVIII, 216 halaman
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.6 HOR i
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 2…
Ini merupakan hasil dari Konferensi Superkomputer Asia ke-4, SCFA 2018, yang diadakan di Singapura pada bulan Maret 2018. Supercomputing Frontiers akan berganti nama menjadi Supercomputing Frontiers Asia (SCFA), yang berfungsi sebagai program teknis untuk SCA18. Program teknis untuk SCA18 terdiri dari empat jalur: • Aplikasi, Algoritma & Pustaka • Pemrograman Perangkat Lunak Sistem • Arsi…
- Edition
- 1
- ISBN/ISSN
- 9783319699530
- Collation
- X, 293
- Series Title
- -
- Call Number
- 004.11 YOK s
Security of Networks and Services in an All-Connected World: 11th IFIP WG 6.6…
Buku ini merupakan hasil dari proses yang diseleksi dari Konferensi Internasional ke-11 IFIP WG 6.6 tentang Infrastruktur Otonom, Manajemen, dan Keamanan, AIMS 2017, yang diadakan di Zurich, Swiss, pada bulan Juli 2017. 8 makalah lengkap yang disajikan bersama dengan 11 makalah pendek ditinjau dan dipilih secara saksama dari 24 kiriman. Makalah-makalah tersebut disusun dalam bagian topik beriku…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-60774-0
- Collation
- XX, 192
- Series Title
- -
- Call Number
- 005.8 TUN s
Symbiotic Interaction: 5th International Workshop, Symbiotic 2016, Padua, Ita…
Buku ini merupakan hasil dari Lokakarya Internasional ke-5 tentang Interaksi Simbiotik, Simbiotik 2016, yang diadakan di Padua, Italia, pada bulan Oktober 2016. 12 makalah lengkap dan 3 makalah pendek yang disajikan dalam volume ini ditinjau dan dipilih secara saksama dari 23 kiriman. Gagasan sistem simbiosis yang diajukan dalam lokakarya ini memanfaatkan kemampuan komputer untuk secara implisi…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-57753-1
- Collation
- XIV, 182
- Series Title
- -
- Call Number
- 004.6
Comics and videogames : from hybrid medialities to transmedia expansions
Buku ini menawarkan studi komprehensif pertama tentang banyak antarmuka yang membentuk hubungan antara komik dan videogame. Ini menggabungkan refleksi konseptual yang mendalam dengan pilihan studi kasus paradigmatik yang kaya dari budaya media kontemporer. Para editor telah mengumpulkan sekelompok cendekiawan internasional terkemuka yang bekerja di persimpangan studi komik dan studi permainan u…
- Edition
- -
- ISBN/ISSN
- 9781003035466
- Collation
- 1 online resource (278 pages)
- Series Title
- -
- Call Number
- 794.8 RAU c
Security for Software Engineers
Keamanan untuk Insinyur Perangkat Lunak dirancang untuk memperkenalkan konsep keamanan kepada mahasiswa teknik perangkat lunak tingkat sarjana. Buku ini dibagi menjadi empat unit, yang masing-masing menargetkan aktivitas yang kemungkinan akan dilakukan oleh seorang insinyur perangkat lunak dalam industri. Buku ini mengeksplorasi area utama vektor serangan, penguatan kode, privasi, dan rekayasa …
- Edition
- -
- ISBN/ISSN
- 9780429506475
- Collation
- 1 online resource (350 pages)
- Series Title
- -
- Call Number
- 005.8 HEL s
Proof, Language, and Interaction; Essays in Honour of Robin Milner
Kumpulan esai asli ini mencerminkan luasnya penelitian terkini dalam ilmu komputer. Kumpulan esai asli ini mencerminkan luasnya penelitian terkini dalam ilmu komputer. Robin Milner, tokoh utama dalam bidang ini, telah memberikan banyak kontribusi mendasar, khususnya dalam ilmu komputer teoretis, teori bahasa pemrograman, dan bahasa pemrograman fungsional. Setelah biografi singkat Milner, buku i…
- Edition
- -
- ISBN/ISSN
- 9780262281676
- Collation
- 1 online resource (xiv, 722 pages)
- Series Title
- -
- Call Number
- 004.01 PLO p
PVM (Parallel Virtual Machine); A Users' Guide and Tutorial for Network Paral…
Ditulis oleh tim yang mengembangkan perangkat lunak, tutorial ini adalah sumber definitif bagi para ilmuwan, insinyur, dan pengguna komputer lain yang ingin menggunakan Parallel Virtual Machine untuk meningkatkan fleksibilitas dan kekuatan sumber daya komputasi berkinerja tinggi mereka. Ditulis oleh tim yang mengembangkan perangkat lunak, tutorial ini adalah sumber definitif bagi para ilmuwan, …
- Edition
- -
- ISBN/ISSN
- 9780262287784
- Collation
- 1 online resource (xvii, 279 pages)
- Series Title
- Scientific and Engineering Computation
- Call Number
- 004.67 GEI p
Reasoning about knowledge
Penalaran tentang pengetahuan--khususnya pengetahuan agen yang bernalar tentang dunia dan pengetahuan satu sama lain--dulunya hanya dilakukan oleh para filsuf dan pemecah teka-teki. Baru-baru ini, jenis penalaran ini terbukti memainkan peran penting dalam sejumlah konteks yang mengejutkan, mulai dari memahami percakapan hingga analisis algoritma komputer terdistribusi. Penalaran Tentang Pengeta…
- Edition
- -
- ISBN/ISSN
- 9780262256094
- Collation
- 1 online resource (xiii, 517 pages) :
- Series Title
- -
- Call Number
- 005.1 FAG r
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography