Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
programs automation » programs automatic, program automatic, programs automated
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
programs automation » programs automatic, program automatic, programs automated
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Vydáno 2005
Obsah:
“..., and Wall Shear Stress in Coronary Arteries -- Automated Segmentation of X-ray Left Ventricular Angiograms...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2008
Obsah:
“... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2010
Obsah:
“... -- Classical Logic with Partial Functions -- Non-Classical Logic -- Automated Reasoning for Relational...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2006
Obsah:
“...-Order Logic with Automated Parser Generation -- Session 4. Higher-Order Logic -- Extracting Programs...”Získat plný text
Elektronický zdroj
E-kniha
5
Obsah:
“...Building Blocks of IEC 61131-3 -- Variables, Data Types and Common Elements -- The Programming...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2008
Obsah:
“... and Automation in Verification Tools -- Model Checking -- CTL Model-Checking with Graded Quantifiers -- Genetic...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2006
Obsah:
“... and Opportunities in the New Era of Microprocessor Design -- Automated Abstraction of Software -- Regular Papers...”Získat plný text
Elektronický zdroj
E-kniha
8
Obsah:
“... -- Tendering and Vendor Selection -- Functional Specifications -- Design, Development, Testing and Acceptance...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
9
Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...
Vydáno 2010
Obsah:
“... with Adaptively Defined Fitness Function in MRS Quantification -- A Neural-Network Clustering-Based Algorithm...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2014
Obsah:
“... Design Automation -- FASTPCR Software for PCR, in silico PCR, and Oligonucleotide Assembly and Analysis....”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2010
Obsah:
“... the Behaviour of Radial Basis Function Networks in Regression and Classification of Geospatial Data -- A...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2006
Obsah:
“... -- Intelligent Control Systems and Optimization -- DEVICE INTEGRATION INTO AUTOMATION SYSTEMS WITH CONFIGURABLE...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2005
Obsah:
“... Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2008
Obsah:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2010
Obsah:
“... Model in Supply Chain Management Using Fuzzy Goal Programming Approach -- Evaluation of Enterprise...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2013
Obsah:
“...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2005
Obsah:
“... Dynamic Merge-or-Split Learning Algorithm on Gaussian Mixture for Automated Model Selection -- Bayesian...”Získat plný text
Elektronický zdroj
E-kniha
18
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Vydáno 2010
Obsah:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2006
Obsah:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2012
Obsah:
“...Scalable Formal Machine Models -- Mechanized Semantics for Compiler Verification -- Automation...”Získat plný text
Elektronický zdroj
E-kniha