Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
properties functionality » protein functionality
functionality using » functionality business, functionality design, functioning using
java properties » data properties, a properties, fat properties
parallel java » parallel data, parallel scara, parallel a
using https » using http, nursing https, aging https
properties functionality » protein functionality
functionality using » functionality business, functionality design, functioning using
java properties » data properties, a properties, fat properties
parallel java » parallel data, parallel scara, parallel a
using https » using http, nursing https, aging https
1
Veröffentlicht 2010
Inhaltsangabe:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2005
Inhaltsangabe:
“... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2013
Inhaltsangabe:
“... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2015
Inhaltsangabe:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2008
Inhaltsangabe:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Volltext
Elektronisch
E-Book
6
Veröffentlicht 2008
Inhaltsangabe:
“... -- Evaluation of a Java Computer Algebra System -- A New Property of Hamming Graphs and Mesh of d-ary Trees...”Volltext
Elektronisch
E-Book
7
Veröffentlicht 2014
Inhaltsangabe:
“... Automata -- Calculation of Bridge Function and Thermodynamic Properties of Lennard-Jones Fluid using...”Volltext
Elektronisch
E-Book
8
Veröffentlicht 2007
Inhaltsangabe:
“... Property Analysis Techniques for Cooperating Embedded Systems Using LTS -- Validation of Embedded...”Volltext
Elektronisch
E-Book
9
Veröffentlicht 2013
Inhaltsangabe:
“...-Speed Traffic Requests onto High-Speed Lightpaths by Using a Multiobjective Firefly Algorithm -- Pareto...”Volltext
Elektronisch
E-Book
10
Veröffentlicht 2014
Inhaltsangabe:
“... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...”Volltext
Elektronisch
E-Book