書店で探す
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- 出版事項
- 並列タイトル等
- Foundations of computing seriesFoundations of computing
- 出版地(国名コード)
- us
- 対象利用者
- 一般
- 関連情報
- Exploring interior-point linear programming : algorithms and softwareDynamic logicEquational logic as a programming languageThe structure of typed programming languagesRealistic compiler generationResource allocation problems : algorithmic approachesTheoretical aspects of object-oriented programming : types, semantics, and language designAlgebraic semantics of imperative programsThe formal semantics of programming languages : an introductionCircuit complexity and neural networksProof, language, and interaction : essays in honour of Robin MilnerThe formal semantics of programming languages : an introductionHilbert's tenth problemPX, a computational logicThe stable marriage problem : structure and algorithmsComputability and complexity : from a programming perspectiveComplexity issues in VLSI : optimal layouts for the shuffle-exchange graph and other networksEfficient algorithmsTheory of deductive systems and its applicationsFoundations for programming languagesBasic category theory for computer scientistsControl flow semanticsAlgebraic theory of processesLogic and information flowSemantics of programming languages : structures and techniquesCategories, types, and structures : an introduction to category theory for the working computer scientistSingle-layer wire routing and compactionFrom logic to logic programmingEfficient algorithms
- 連携機関・データベース
- 国立情報学研究所 : CiNii Research
- 提供元機関・データベース
- CiNii Books