検索結果
1 - 1
結果 /
1
検索語 '
'
コンテンツを見る
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
検索
詳細検索
AUTHOR:
Shao, Zhong
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Computer science
AND
Logic design
フィルター表示 (4)
AUTHOR:
Shao, Zhong
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Computer science
AND
Logic design
検索結果
検索結果
1 - 1
結果 /
1
検索語 '
'
, 処理時間: 0.02秒
結果の絞り込み
ソート
適合順
Newest to Oldest
Oldest to Newest
著者順
タイトル順
ページを選択 | 選択資料の処理:
メール
エクスポート
印刷
図書バッグに追加
結果番号: 1を選択
1
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
出版年
Springer eBooks.
(2011)
請求記号:
ロード中...
配架場所:
ロード中...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
図書バッグに追加
図書バッグから削除
ページを選択 | 選択資料の処理:
メール
エクスポート
印刷
図書バッグに追加
検索ツール:
RSSフィード
—
検索結果をメール
戻る
絞込み検索
CAMPUS
Diliman
1
DATABASE
Union Catalog (Buklod)
1
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
1
YEAR OF PUBLICATION
From:
To:
SUBJECT
Algebra
1
Artificial intelligence
1
Computer science
Computer science -- Mathematics -- Congresses
1
Data processing
1
Electronic books
1
Logic design
Software engineering
1
すべて見る ...
AUTHOR
Jouannaud, Jean-Pierre
1
Shao, Zhong
SpringerLink (Online service)
1
RESOURCE TYPE
Electronic Resource
LANGUAGE
English
1
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
ロード中...