בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
modelling functionality » modelling functional, modeling functional, processing functionality
functionality modelling » functional modelling, functionality modernizing, functional modeling
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
testing https » teaching https, being https, writing https
modelling functionality » modelling functional, modeling functional, processing functionality
functionality modelling » functional modelling, functionality modernizing, functional modeling
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
testing https » teaching https, being https, writing https
1
יצא לאור 2008
תוכן הענינים:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2011
נושאים:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2012
תוכן הענינים:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
תוכן הענינים:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
נושאים:
“...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2015
תוכן הענינים:
“... -- Accepted Papers -- Scalable incremental test-case generation from large behavior models -- Test Case...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
“....
These datasets serve as the testing ground for four deep time series models: Multilayer Perceptron (MLP...”
קבל טקסט מלא
קבל טקסט מלא
Article
8
תוכן הענינים:
“... Measuring Multiple Abilities -- Models for Adaptive Test Assembly -- Designing Item Pools for Programs...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים:
“... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2011
תוכן הענינים:
“... Model for Test Equating (George Karabatsos and Stephen G. Walker) -- Generalized Equating Functions...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים:
“...Test Automation with TTCN-3 - State of the Art and a Future Perspective -- A Model-Based Approach...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2008
תוכן הענינים:
“... Model -- Pex–White Box Test Generation for .NET -- Non-termination Checking for Imperative Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2007
תוכן הענינים:
“...Hardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2012
תוכן הענינים:
“... of Probabilistic Cloud Deployment Patterns -- Interpolation-Based Function Summaries in Bounded Model Checking...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2014
תוכן הענינים:
“... and Frameworks -- An Approach to Derive Usage Models Variants for Model-Based Testing -- AUTSEG: Automatic Test...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים:
“... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2014
תוכן הענינים:
“... Dependencies for Symbolic Model Checking -- Efficient Combinatorial Test Generation Based on Multivalued...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2013
תוכן הענינים:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2008
תוכן הענינים:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים:
“... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני