Showing
381 - 400
results of
409
for search '
Tools and Algorithms for the Construction and Analysis of Systems
'
Skip to content
VuFind
Your Account
Log Out
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
Search Results - Tools and Algorithms for the Construction and Analysis of Systems
Showing
381 - 400
results of
409
for search '
Tools and Algorithms for the Construction and Analysis of Systems
'
, query time: 0.24s
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Loading...
Immune infiltration and immune gene signature predict the response to fluoropyri...
Get full text
Get full text
Get full text
Loading...
Information security and privacy 10th Australasian Conference, ACISP 2005, Brisb...
Get full text
Loading...
Strategies for the quality assessment of the health care service providers in th...
Get full text
Get full text
Get full text
Loading...
Principles of digital image processing fundamental techniques /
Get full text
Loading...
Distinguishing Noise from Chaos: Objective versus Subjective Criteria Using Hori...
Get full text
Get full text
Get full text
Loading...
Predicting protein-protein interactions in unbalanced data using the primary str...
Get full text
Get full text
Get full text
Loading...
Poster Session A
Get full text
Loading...
Improving protein–protein interactions prediction accuracy using protein evoluti...
Get full text
Get full text
Get full text
Loading...
Poster Session C
Get full text
Get full text
Loading...
Using logic regression to characterize extreme heat exposures and their health a...
Get full text
Get full text
Get full text
Loading...
Poster Session B
Get full text
Loading...
Discrimination of Chrysanthemum Varieties Using Hyperspectral Imaging Combined w...
Get full text
Get full text
Get full text
Loading...
Cut-cell Eta Model: History and Challenges Overcome
Get full text
Loading...
Computational prediction of CRISPR cassettes in gut metagenome samples from Chin...
Get full text
Get full text
Get full text
Loading...
Poster Session B
Get full text
Loading...
Nature Disaster Risk Evaluation with a Group Decision Making Method Based on Inc...
Get full text
Get full text
Get full text
Loading...
An Effective Solution to Discover Synergistic Drugs for Anti-Cerebral Ischemia f...
Get full text
Get full text
Get full text
Loading...
Planning and monitoring work through communication and cost profile of the proje...
Get full text
Loading...
Gene expression profiles for an immunoscore model in bone and soft tissue sarcom...
Get full text
Get full text
Get full text
Loading...
Radiomics Nomogram for Identifying Sub-1 cm Benign and Malignant Thyroid Lesions
Get full text
Get full text
Get full text
[1]
Prev
11
12
13
14
15
16
17
18
19
20
21
Next
[21]
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Institution
US NLM
240
Exclude matching results
UFRJ
74
Exclude matching results
DOAJ
62
Exclude matching results
DOAB
31
Exclude matching results
Redalyc
2
Exclude matching results
Collection
PubMed Central
240
Exclude matching results
Minerva
72
Exclude matching results
Directory of Open Access Journals
62
Exclude matching results
Directory of Open Access Books
31
Exclude matching results
Portal de Periódicos
2
Exclude matching results
Sistema de Información Científica Redalyc
2
Exclude matching results
Format
Artigo
304
Exclude matching results
Livro
103
Exclude matching results
Online
2
Exclude matching results
Author
Beyer, Dirk
7
Exclude matching results
Katoen, Joost-Pieter
6
Exclude matching results
Vojnar, Tomáš
5
Exclude matching results
Barrett, Clark
4
Exclude matching results
Biere, Armin
4
Exclude matching results
Huisman, Marieke
4
Exclude matching results
more ...
Budde, Carlos E.
3
Exclude matching results
Burge, Mark J.
3
Exclude matching results
Burger, Wilhelm
3
Exclude matching results
Finkbeiner, Bernd
3
Exclude matching results
Fisman, Dana
3
Exclude matching results
Groote, Jan Friso
3
Exclude matching results
Gurfinkel, Arie
3
Exclude matching results
Hermanns, Holger
3
Exclude matching results
Heule, Marijn
3
Exclude matching results
Heule, Marijn J. H.
3
Exclude matching results
Junges, Sebastian
3
Exclude matching results
Kovács, Laura
3
Exclude matching results
Steffen, Bernhard
3
Exclude matching results
TACAS (Conferência)
3
Exclude matching results
Universidade Federal do Rio de Janeiro
3
Exclude matching results
Zhang, Lijun
3
Exclude matching results
Šoková, Veronika
3
Exclude matching results
Abate, Alessandro
2
Exclude matching results
Ahmed, Daniele
2
Exclude matching results
Arditi, David
2
Exclude matching results
Bendík, Jaroslav
2
Exclude matching results
Cankorur-Cetinkaya, Ayca
2
Exclude matching results
Chakraborty, Supratik
2
Exclude matching results
Chalupa, Marek
2
Exclude matching results
see all ...
less ...
Subject
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
9
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UY Computer science
9
Exclude matching results
testing
7
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
7
Exclude matching results
Computer science
6
Exclude matching results
model checking
6
Exclude matching results
more ...
software engineering
6
Exclude matching results
TACAS
5
Exclude matching results
embedded systems
5
Exclude matching results
formal logic
5
Exclude matching results
formal verification
5
Exclude matching results
hardware systems
5
Exclude matching results
machine learning
5
Exclude matching results
probabilistic programming
5
Exclude matching results
program synthesis
5
Exclude matching results
simulations
5
Exclude matching results
software and hardware verification
5
Exclude matching results
software systems
5
Exclude matching results
specification and verification techniques
5
Exclude matching results
static analysis
5
Exclude matching results
static and dynamic program analysis
5
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
5
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
5
Exclude matching results
verification of machine
5
Exclude matching results
Algorithms & data structures
4
Exclude matching results
Control Structures and Microprogramming
4
Exclude matching results
Mathematical theory of computation
4
Exclude matching results
SAT and SMT solving
4
Exclude matching results
automata theory
4
Exclude matching results
finite element analysis
4
Exclude matching results
see all ...
less ...
Language
Inglês
392
Exclude matching results
Russo
10
Exclude matching results
Português
3
Exclude matching results
eng
2
Exclude matching results
Espanhol
1
Exclude matching results
Polonês
1
Exclude matching results
Year of Publication
From:
To:
Year of Publication
Clear
×
Loading...