Showing
1 - 3
results of
3
for search '
'
Skip to content
VuFind
Your Account
Log Out
Institutional Login
Language
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
हिंदी
All Fields
Author
Title
Journal Title
Subject
ISBN/ISSN
Tag
Find
Advanced
Reset Filters
Subject:
models of computation
Reset Filters
Show filters (1)
Subject:
models of computation
Search Results
導出完成 —
Showing
1 - 3
results of
3
for search '
'
, query time: 0.28s
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
1
Loading...
Formal Methods
Published in
Lecture Notes in Computer Science
(2025)
Get full text
Livro
Save to List
Saved in:
2
Loading...
Formal Methods
Published in
Lecture Notes in Computer Science
(2025)
Get full text
Livro
Save to List
Saved in:
3
Loading...
Reversible Computation: Extending Horizons of Computing
Published in
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
Get full text
Livro
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Institution
DOAB
3
Exclude matching results
Collection
Directory of Open Access Books
3
Exclude matching results
Format
Livro
3
Exclude matching results
Author
Pradella, Matteo
2
Exclude matching results
Rossi, Matteo
2
Exclude matching results
Rozier, Kristin Yvonne
2
Exclude matching results
Ferreira, Carla
1
Exclude matching results
Lanese, Ivan
1
Exclude matching results
Platzer, Andre
1
Exclude matching results
more ...
Platzer, André
1
Exclude matching results
Schultz, Ulrik Pagh
1
Exclude matching results
Ulidowski, Irek
1
Exclude matching results
see all ...
less ...
Subject
formal methods
3
Exclude matching results
models of computation
software engineering
3
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
3
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
3
Exclude matching results
architecture verification and validation
2
Exclude matching results
more ...
artificial intelligence
2
Exclude matching results
computational complexity and cryptography
2
Exclude matching results
design and analysis of algorithms
2
Exclude matching results
embedded systems
2
Exclude matching results
formal languages and automata theory
2
Exclude matching results
formal logic
2
Exclude matching results
machine learning
2
Exclude matching results
model checking
2
Exclude matching results
semantics and reasoning
2
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UK Computer hardware
2
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
2
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
2
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
2
Exclude matching results
theory and algorithms for application domains
2
Exclude matching results
Computer Communication Networks
1
Exclude matching results
Computer System Implementation
1
Exclude matching results
Computer architecture & logic design
1
Exclude matching results
Expert systems / knowledge-based systems
1
Exclude matching results
Logic Design
1
Exclude matching results
Network hardware
1
Exclude matching results
Operating Systems
1
Exclude matching results
Operating systems
1
Exclude matching results
Software Engineering
1
Exclude matching results
Special Purpose and Application-Based Systems
1
Exclude matching results
see all ...
less ...
Language
Inglês
3
Exclude matching results
Year of Publication
From:
To:
Year of Publication
Clear
×
Loading...
