Filter by
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
Representation and Recognition in Vision.
Shimon Edelman mendasarkan pendekatan komprehensif terhadap representasi visual pada gagasan tentang korespondensi antara kesamaan proksimal (internal) dan distal pada objek. Para peneliti telah lama berusaha memahami apa yang dilakukan otak saat kita melihat sebuah objek, apa kesamaan yang dimiliki dua orang saat mereka melihat objek yang sama, dan apa yang dibutuhkan mesin "penglihat" untuk m…
- Edition
- -
- ISBN/ISSN
- 9780262272155
- Collation
- -
- Series Title
- -
- Call Number
- 006.37 EDE r
Rethinking public key infrastructures and digital certificates; Building in P…
Stefan Brands mengusulkan blok penyusun kriptografi untuk desain sertifikat digital yang menjaga privasi tanpa mengorbankan keamanan. Seiring dengan digantikannya mekanisme komunikasi dan transaksi berbasis kertas oleh mekanisme otomatis, bentuk keamanan tradisional seperti foto dan tanda tangan tulisan tangan menjadi ketinggalan zaman. Sebagian besar pakar keamanan percaya bahwa sertifikat dig…
- Edition
- -
- ISBN/ISSN
- 9780262269131
- Collation
- -
- Series Title
- -
- Call Number
- 005.8 ANT r
The Seasoned Schemer (Second Edition)
Gagasan bahwa "berpikir tentang komputasi adalah salah satu hal paling menarik yang dapat dilakukan oleh pikiran manusia" membedakan The Little Schemer (sebelumnya dikenal sebagai The Little LISPer) dan buku pendampingnya yang baru, The Seasoned Schemer, dari buku-buku lain tentang LISP. Antusiasme para penulis terhadap subjek mereka sangat kuat karena mereka menyajikan konsep-konsep abstrak de…
- Edition
- 2
- ISBN/ISSN
- 9780262287883
- Collation
- 1 online resource (224 pages).
- Series Title
- COMPUTER SCIENCE
- Call Number
- 004. FRI s
The Second Self; Computers and the Human Spirit (Twentieth Anniversary Edition)
Dalam The Second Self, Sherry Turkle memandang komputer bukan sebagai "alat," tetapi sebagai bagian dari kehidupan sosial dan psikologis kita; ia melihat lebih jauh dari cara kita menggunakan permainan komputer dan lembar kerja untuk mengeksplorasi bagaimana komputer memengaruhi kesadaran kita terhadap diri kita sendiri, terhadap satu sama lain, dan terhadap hubungan kita dengan dunia. "Teknolo…
- Edition
- 20
- ISBN/ISSN
- 9780262257107
- Collation
- 1 online resource (xi, 372 pages)
- Series Title
- Human Computer Interaction
- Call Number
- 004.019 TUR s
The Semiotic Engineering of Human-Computer Interaction
Teori Interaksi Manusia-Komputer yang menggunakan konsep dari semiotika dan ilmu komputer untuk berfokus pada komunikasi antara perancang dan pengguna selama interaksi. Dalam Rekayasa Semiotika Interaksi Manusia-Komputer, Clarisse Sieckenius de Souza mengusulkan penjelasan tentang Interaksi Manusia-Komputer yang mengacu pada konsep dari semiotika dan ilmu komputer untuk menyelidiki hubungan ant…
- Edition
- -
- ISBN/ISSN
- 9780262271363
- Collation
- 1 online resource (xxi, 283 pages)
- Series Title
- Human-computer interaction
- Call Number
- 004.019 SOU s
Sharing Expertise; Beyond Knowledge Management
Tinjauan umum tentang berbagi keahlian, pendekatan terhadap manajemen pengetahuan yang menekankan komponen manusia dalam pekerjaan pengetahuan selain penyimpanan dan pengambilan informasi. Bidang manajemen pengetahuan berfokus pada bagaimana organisasi dapat menyimpan, mengelola, mengambil, dan memperluas kekayaan intelektual mereka secara paling efektif. Pandangan repositori manajemen pengetah…
- Edition
- -
- ISBN/ISSN
- 9780262266772
- Collation
- 1 online resource (xviii, 418 pages) :
- Series Title
- Information technology
- Call Number
- 005.7 ACK s
Snap to Grid ; A User's Guide to Digital Arts, Media, and Cultures
"Dalam Snap to Grid, panduan istimewa untuk era telematika interaktif, Peter Lunenfeld memetakan lintasan yang telah ditelusuri oleh teknologi digital pada imajinasi budaya kita. Evaluasinya terhadap media baru mencakup diskusi yang penuh semangat - yang diinformasikan oleh wacana teknologi, estetika, dan teori budaya - tentang seniman, desainer, dan pembuat digital yang paling penting. "Snap t…
- Edition
- -
- ISBN/ISSN
- 9780262278652
- Collation
- 1 online resource (xxv, 226 pages)
- Series Title
- Multimedia systems
- Call Number
- 006.6 LUN s
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography