בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
problem verification » problems verification, problem specification, program verification
verification https » modification https, verification heap, verification attack
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
1
תמונות העטיפה
תוכן הענינים: “... inequalities -- 6.5.2 Elastoplasticity -- 6.5.3 Problems with power growth energy functionals -- 6.6 Modeling...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
2
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
3
תמונות העטיפה
מאת Spear, Chris., Spear, Chris.
יצא לאור 2008
תוכן הענינים: “...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
4
תמונות העטיפה
נושאים: “...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
5
תמונות העטיפה
יצא לאור 2011
נושאים: “...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
6
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “...Keynote Speeches -- Analysis of Recursive Probabilistic Models -- Verification Challenges...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
7
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
8
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “...Model Taxonomy -- Functional Verification Taxonomy -- Platform-Based Design -- Hardware-Dependent...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
9
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
10
תמונות העטיפה
תוכן הענינים: “...Verification Planning -- Assertions -- Testbench Infrastructure -- Stimulus and Response...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
11
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
12
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
13
תמונות העטיפה
יצא לאור 2014
תוכן הענינים: “... for Piecewise Affine Systems -- Reachability and Mortality Problems for Restricted Hierarchical Piecewise...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
14
תמונות העטיפה
יצא לאור 2014
תוכן הענינים: “...Surrogate-based and One-shot Optimization Methods for PDE-constrained Problems with an Application...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
15
תמונות העטיפה
מאת Touzi, Nizar., Touzi, Nizar.
יצא לאור 2013
תוכן הענינים: “... and Dynamic Programming -- 3. Optimal Stopping and Dynamic Programming -- 4. Solving Control Problems...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
16
תמונות העטיפה
יצא לאור 2012
תוכן הענינים: “... and Realization in the Free *-algebra -- Automatic Verification of Matrix Inequalities -- Non-commutative...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
17
תמונות העטיפה
מאת Kornilov, Nikolay., Kornilov, Nikolay.
יצא לאור 2015
תוכן הענינים: “... evaluation. Semi-empirical modeling -- Maxwellian function and Terrell’s systematic -- 252Cf spectrum...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
18
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... Selection by Tree Series Transducers -- Some Non-semi-decidability Problems for Linear and Deterministic...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
19
תמונות העטיפה
יצא לאור 2013
תוכן הענינים: “... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
20
תמונות העטיפה
יצא לאור 2014
תוכן הענינים: “... for normalization and verification -- Quantum State Transformations and Branching Distributed Temporal Logic...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש