検索結果
1 - 3
結果 /
3
検索語 '
'
コンテンツを見る
VuFind
処理一覧
ログアウト
所属機関のシステムへのログイン
言語
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
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
タグ
検索
詳細検索
フィルターのリセット
主題:
models of computation
フィルターのリセット
フィルター表示 (1)
主題:
models of computation
検索結果
検索結果
1 - 3
結果 /
3
検索語 '
'
, 処理時間: 0.09秒
結果の絞り込み
1ページの表示件数
10
20
40
60
80
100
ソート
適合順
出版年降順
出版年昇順
著者順
タイトル順
リスト
グリッド
1
ロード中...
Formal Methods
出版年
Lecture Notes in Computer Science
(2025)
全文の入手
Livro
お気に入りに追加
保存先:
2
ロード中...
Formal Methods
出版年
Lecture Notes in Computer Science
(2025)
全文の入手
Livro
お気に入りに追加
保存先:
3
ロード中...
Reversible Computation: Extending Horizons of Computing
出版年
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
全文の入手
Livro
お気に入りに追加
保存先:
検索ツール:
RSSフィード
—
検索結果をメール
—
検索の保存
戻る
絞込み検索
機関
DOAB
3
[除外]
コレクション
Directory of Open Access Books
3
[除外]
フォーマット
Livro
3
[除外]
著者
Pradella, Matteo
2
[除外]
Rossi, Matteo
2
[除外]
Rozier, Kristin Yvonne
2
[除外]
Ferreira, Carla
1
[除外]
Lanese, Ivan
1
[除外]
Platzer, Andre
1
[除外]
もっと見る ...
Platzer, André
1
[除外]
Schultz, Ulrik Pagh
1
[除外]
Ulidowski, Irek
1
[除外]
すべて見る ...
隠す ...
主題
formal methods
3
[除外]
models of computation
software engineering
3
[除外]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
3
[除外]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
3
[除外]
architecture verification and validation
2
[除外]
もっと見る ...
artificial intelligence
2
[除外]
computational complexity and cryptography
2
[除外]
design and analysis of algorithms
2
[除外]
embedded systems
2
[除外]
formal languages and automata theory
2
[除外]
formal logic
2
[除外]
machine learning
2
[除外]
model checking
2
[除外]
semantics and reasoning
2
[除外]
thema EDItEUR::U Computing and Information Technology::UK Computer hardware
2
[除外]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
2
[除外]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
2
[除外]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
2
[除外]
theory and algorithms for application domains
2
[除外]
Computer Communication Networks
1
[除外]
Computer System Implementation
1
[除外]
Computer architecture & logic design
1
[除外]
Expert systems / knowledge-based systems
1
[除外]
Logic Design
1
[除外]
Network hardware
1
[除外]
Operating Systems
1
[除外]
Operating systems
1
[除外]
Software Engineering
1
[除外]
Special Purpose and Application-Based Systems
1
[除外]
すべて見る ...
隠す ...
言語
Inglês
3
[除外]
出版年
From:
To:
出版年
クリア
×
ロード中...
