Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
implementation https » instrumentation https, implementation _
https implementation » states implementation, its implementation, cites implementation
program methods » program method, programs method, diagram methods
1
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
von Liu, G.R., Liu, G.R., Gu, Y.T.
Veröffentlicht 2005
Inhaltsangabe: “...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Inhaltsangabe: “... and Fundamental Solutions -- Boundary Integral Equations -- Boundary Element Methods — Numerical Implementation...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Inhaltsangabe: “...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
von Kateri, Maria., Kateri, Maria.
Veröffentlicht 2014
Inhaltsangabe: “... and Related Methods -- Response Variable Analysis in Contingency Tables -- Analysis of Square Tables...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
von Otto, Steve., Otto, Steve., Denier, James P.
Veröffentlicht 2005
Schlagworte: “...Computational Mathematics and Numerical Analysis. https://scigraph.springernature.com/ontologies...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... -- An Implementation of Deterministic Tree Automata Minimization -- Accelerating Boyer Moore Searches on Binary Texts...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
von Nowak, Ivo., Nowak, Ivo.
Veröffentlicht 2005
Inhaltsangabe: “... Methods -- Semidefinite Relaxations -- Convex Underestimators -- Cuts, Lower Bounds and Box Reduction...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... implementations -- Use of formal methods in automated software engineering and testing -- Correct-by-design...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2010
Schlagworte: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “...Session 1. Invited Talks -- Aspects and Formal Methods -- Getting Formal Verification into Design...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2012
Inhaltsangabe: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... -- Considerations and optimization of adaptive trial design in clinical development programs -- Optimal Cost...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... Requirements -- Real-Time Migration Properties of rTiMoVerified in Uppaal -- Verified Protocol to Implement...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Specifications -- Testing Data Types Implementations from Algebraic Specifications -- From MC/DC to RC/DC...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “... Programs -- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... in Static Program Analysis -- A Combination of Forward and Backward Reachability Analysis Methods -- Model...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... -- Application of AD-based Quasi-Newton Methods to Stiff ODEs -- Reduction of Storage Requirement...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern