検索結果
1 - 3
結果 /
3
検索語 '
'
コンテンツを見る
UPFind
0
件
(満杯)
言語
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
全フィールド
タイトル
著者
主題
請求記号
ISBN/ISSN
検索
詳細検索
SUBJECT:
Computer software
AUTHOR:
Association for Computing Machinery. Special Interest Group on Computer Science Education
フィルター表示 (2)
SUBJECT:
Computer software
AUTHOR:
Association for Computing Machinery. Special Interest Group on Computer Science Education
検索結果
検索結果
1 - 3
結果 /
3
検索語 '
'
, 処理時間: 0.03秒
結果の絞り込み
ソート
適合順
Newest to Oldest
Oldest to Newest
著者順
タイトル順
ページを選択 | 選択資料の処理:
メール
エクスポート
印刷
図書バッグに追加
結果番号: 1を選択
1
HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA
出版事項 2014
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
図書バッグに追加
図書バッグから削除
結果番号: 2を選択
2
HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA
出版事項 2013
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
図書バッグに追加
図書バッグから削除
結果番号: 3を選択
3
HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts
出版事項 2012
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
図書バッグに追加
図書バッグから削除
ページを選択 | 選択資料の処理:
メール
エクスポート
印刷
図書バッグに追加
検索ツール:
RSSフィード
—
検索結果をメール
戻る
絞込み検索
CAMPUS
Diliman
3
DATABASE
Union Catalog (Buklod)
3
UNIT LIBRARY
College of Engineering Library II
3
YEAR OF PUBLICATION
From:
To:
CLASSIFICATION
Q - 自然科学
3
SUBJECT
Computer software
Verification
3
Ada (Computer program language)
2
Reliability
2
AUTHOR
ACM Special Interest Group on Programming Languages
3
Association for Computing Machinery. Special Interest Group on Computer Science Education
Association for Computing Machinery. Special Interest Group on Computers and Society
3
Association for Computing Machinery. Special Interest Group on Embedded Systems
3
SIGAPP
3
SIGAda
3
ACM Sigsoft
2
Ada-Europe International Conference on Reliable Software Technologies
1
すべて見る ...
RESOURCE TYPE
図書
3
LANGUAGE
English
3
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
ロード中...