Outstanding dissertations in the computer sciences

Material type: 図書

Author: -

Publisher: Garland Pub. Co

Publication date: -

Material Format: Paper

Capacity, size, etc.: -

NDC: -

View All

Related materials as well as pre- and post-revision versions

The metanovel : writing stories by computer Studies in extensible programming languages Deterministic translation grammars A data definition facility for programming languages Quicksort Automatic verification of programs with complex data structures Queueing network models of multiprogramming The analysis of a practical and nearly optimal priority queue Control-theoretic formulation of operating systems resource management policies Computer display of curved surfaces Understanding goal-based stories Semantics for a question-answering system Machine perception of three-dimensional solids Linear lists and priority queues as balanced binary trees The design and construction of flexible and efficient interactive programming systems Automatic generation of assemblers Sketchpad : a man-machine graphical communication system A processor design for the efficient implementation of APL The Hensel lemma in algebraic manipulation Source language debugging tools Predicate-oriented database search algorithms A practical formal semantic definition and verification system for TYPED LISP The application of theorem proving to question-answering systems Axiomatic proof techniques for parallel programs Shellsort and sorting networks Reasoning from incomplete knowledge in a procedural deduction system Decidability questions for Petri nets Queueing models for computer systems with general service time distributions

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

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