ログイン
ヘルプ
×終了
日本語
|
English
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Programminglanguages(Electroniccomputers)
図書(15 件)
選択行を:
10件
20件
50件
15 件中の 1-10
1
2
資料名
所蔵館
責任表示
出版者
出版年
所在
1
Algebraic semantics of imperative programs : electronic bk ( Foundations of computing )
その他
Joseph A. Goguen and Grant Malcolm
MIT Press
1996
オンライン
2
Anyone can code : the art and science of logical creativity : pbk
太秦南館
Ali Arya
CRC Press
2021
太秦南館:5階閲覧室
007.64||A79a
3
Code craft : the practice of writing excellent code
太秦南館
by Pete Goodliffe
No Starch Press
2007
太秦南館:5階閲覧室
007.64||G65c
4
Coding literacy : how computer programming is changing writing : electronic bk ( Software studies )
その他
Annette Vee
The MIT Press
2017
オンライン
5
Computers and information processing
亀岡本館
Gordon B. Davis
McGraw-Hill
1978
亀岡本館:書庫
007.6||D46c
6
Constraint-based grammar formalisms : parsing and type inference for natural and computer languages : electronic bk
その他
Stuart M. Shieber
MIT Press
1992
オンライン
7
Ethereum smart contract development in solidity : pbk
太秦南館
Gavin Zheng ... [et al.]
Springer
2021
太秦南館:5階閲覧室
007.609||E77
8
The formal semantics of programming languages : an introduction : electronic bk ( Foundations of computing )
その他
Glynn Winskel
MIT Press
1993
オンライン
9
Fundamentals of the computing sciences
亀岡本館
Kurt Maly, Allen R. Hanson
Prentice-Hall
1978
亀岡本館:書庫
549.9||Ma39f
10
Generating language-based environments : electronic bk ( Acm doctoral dissertation award )
その他
Thomas W. Reps
MIT Press
1984
オンライン
15 件中の 1-10
1
2
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。