Outstanding dissertations in the computer sciences

• 資料種別: 図書
• タイトル: Outstanding dissertations in the computer sciences
• 出版事項: Garland Pub. Co
• 出版地（国名コード）: us
• 対象利用者: 一般
• 関連情報: The metanovel : writing stories by computer; https://cir.nii.ac.jp/crid/1130000793968882048; Studies in extensible programming languages; https://cir.nii.ac.jp/crid/1130000794149535744; Deterministic translation grammars; https://cir.nii.ac.jp/crid/1130000794468493056; A data definition facility for programming languages; https://cir.nii.ac.jp/crid/1130000794711786880; Quicksort; https://cir.nii.ac.jp/crid/1130000794783074304; Automatic verification of programs with complex data structures; https://cir.nii.ac.jp/crid/1130000794910662656; Queueing network models of multiprogramming; https://cir.nii.ac.jp/crid/1130000795057991552; The analysis of a practical and nearly optimal priority queue; https://cir.nii.ac.jp/crid/1130000795185697664; Control-theoretic formulation of operating systems resource management policies; https://cir.nii.ac.jp/crid/1130000795251766400; Computer display of curved surfaces; https://cir.nii.ac.jp/crid/1130000796028703744; Understanding goal-based stories; https://cir.nii.ac.jp/crid/1130000796273120128; Semantics for a question-answering system; https://cir.nii.ac.jp/crid/1130000797893925888; Machine perception of three-dimensional solids; https://cir.nii.ac.jp/crid/1130000798072908416; Linear lists and priority queues as balanced binary trees; https://cir.nii.ac.jp/crid/1130000798310127360; The design and construction of flexible and efficient interactive programming systems; https://cir.nii.ac.jp/crid/1130000798355448704; Automatic generation of assemblers; https://cir.nii.ac.jp/crid/1130282268914166528; Sketchpad : a man-machine graphical communication system; https://cir.nii.ac.jp/crid/1130282269224863744; A processor design for the efficient implementation of APL; https://cir.nii.ac.jp/crid/1130282270211606272; The Hensel lemma in algebraic manipulation; https://cir.nii.ac.jp/crid/1130282271090114816; Source language debugging tools; https://cir.nii.ac.jp/crid/1130282271552041472; Predicate-oriented database search algorithms; https://cir.nii.ac.jp/crid/1130282271570701824; A practical formal semantic definition and verification system for TYPED LISP; https://cir.nii.ac.jp/crid/1130282271629936640; The application of theorem proving to question-answering systems; https://cir.nii.ac.jp/crid/1130282271726860800; Axiomatic proof techniques for parallel programs; https://cir.nii.ac.jp/crid/1130282272417723648; Shellsort and sorting networks; https://cir.nii.ac.jp/crid/1130282272439884032; Reasoning from incomplete knowledge in a procedural deduction system; https://cir.nii.ac.jp/crid/1130282272479825152; Decidability questions for Petri nets; https://cir.nii.ac.jp/crid/1130282272580666752; Queueing models for computer systems with general service time distributions; https://cir.nii.ac.jp/crid/1130282272624571904
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA1154457X#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA1154457X : BA1154457X