Outstanding dissertations in the computer sciences

• Material Type: 図書
• Title: Outstanding dissertations in the computer sciences
• Publication, Distribution, etc.: Garland Pub. Co
• Place of Publication (Country Code): us
• Target Audience: 一般
• Related Material: 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
• Related Material (URI): https://ci.nii.ac.jp/ncid/BA1154457X#entity
• Data Provider (Database): 国立情報学研究所 : CiNii Research
• Original Data Provider (Database): CiNii Books; https://ci.nii.ac.jp/books
• NCID: https://ci.nii.ac.jp/ncid/BA1154457X : BA1154457X

Table of Contents

The metanovel : writing stories by computer

Studies in extensible programming languages

Deterministic translation grammars

A data definition facility for programming languages

Quicksort