ACM books

• 資料種別: 図書
• タイトル: ACM books
• 出版事項: Morgan & Claypool Publishers
• 出版地（国名コード）: us
• 対象利用者: 一般
• 関連情報: Data cleaning; https://cir.nii.ac.jp/crid/1130000793716289536; Shared-memory parallelism can be simple, fast, and scalable; https://cir.nii.ac.jp/crid/1130000793973004160; Verified functional programming in Agda; https://cir.nii.ac.jp/crid/1130000795921581440; Making databases work : the pragmatic wisdom of Michael Stonebraker; https://cir.nii.ac.jp/crid/1130000796122372224; https://cir.nii.ac.jp/crid/1130006495885316497; The VR book : human-centered design for virtual reality; https://cir.nii.ac.jp/crid/1130012921456486439; Interactivity, platforms, application; https://cir.nii.ac.jp/crid/1130014171864633265; https://cir.nii.ac.jp/crid/1130282269639576832; Text data management and analysis : a practical introduction to information retrieval and text mining; https://cir.nii.ac.jp/crid/1130282269856746624; Declarative logic programming : theory, systems, and applications; https://cir.nii.ac.jp/crid/1130282272046013952; The sparse fourier transform : theory and practice; https://cir.nii.ac.jp/crid/1130282272889629952; Hardness of approximation between P and NP; https://cir.nii.ac.jp/crid/1130285376726622080; Providing sound foundations for cryptography : on the work of Shafi Goldwasser and Silvio Micali; https://cir.nii.ac.jp/crid/1130289596918378114; Weaving fire into form : aspirations for tangible and embodied interaction; https://cir.nii.ac.jp/crid/1130295646841357189; Applied affective computing; https://cir.nii.ac.jp/crid/1130295646842059188; https://cir.nii.ac.jp/crid/1130570917106382866; Methods, behavior, cognition; https://cir.nii.ac.jp/crid/1130571923364363922; Semantic web for the working ontologist : effective modeling for linked data, RDFS, and OWL; https://cir.nii.ac.jp/crid/1130575645251789463; Software : a technical history; https://cir.nii.ac.jp/crid/1130577121819028409; Probabilistic and causal inference : The works of Judea Pearl; https://cir.nii.ac.jp/crid/1130577883827070351; https://cir.nii.ac.jp/crid/1130858596795605017; The essentials of modern software engineering : free the practices from the method prisons!; https://cir.nii.ac.jp/crid/1131413103712402835; Signal processing, architectures, and detection of emotion and cognition; https://cir.nii.ac.jp/crid/1131694579103337735; Language processing, software, commercialization, and emerging directions; https://cir.nii.ac.jp/crid/1131976054080252935; Foundations, user modeling, and common modality combinations; https://cir.nii.ac.jp/crid/1133383428963889809; Frontiers of multimedia research; https://cir.nii.ac.jp/crid/1133946378502888578
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BB21052069#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BB21052069 : BB21052069

目次

Data cleaning

Shared-memory parallelism can be simple, fast, and scalable

Verified functional programming in Agda

Making databases work : the pragmatic wisdom of Michael Stonebraker

Verified functional programming in Agda