Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
why function » way function, why functional, body function
program why » program what, program w, program where
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
why function » way function, why functional, body function
program why » program what, program w, program where
1
Veröffentlicht 2013
Inhaltsangabe:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2006
Inhaltsangabe:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2014
Inhaltsangabe:
“... Unsplittable-Flow-Covering Helps Scheduling with Job-Dependent Cost Functions -- Why Some Heaps Support...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2013
Inhaltsangabe:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2010
Inhaltsangabe:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”Volltext
Elektronisch
E-Book
6
Inhaltsangabe:
“... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...”
Volltext
Volltext
Elektronisch
E-Book
7
Veröffentlicht 2010
Inhaltsangabe:
“... Proofs: Why Do It? and What Is It Like to Do? -- Linear Programs for the Kepler Conjecture -- A Formal...”Volltext
Elektronisch
E-Book
8
Veröffentlicht 2013
Inhaltsangabe:
“...-algebraic Proofs -- Turing’s Computable Real Numbers and Why They Are Still Important Today...”Volltext
Elektronisch
E-Book
9
Veröffentlicht 2005
Inhaltsangabe:
“... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”Volltext
Elektronisch
E-Book
10
Veröffentlicht 2012
Inhaltsangabe:
“... -- Towards Domain Independent Why Text Segment Classification Based on Bag of Function Words -- Knowledge...”Volltext
Elektronisch
E-Book
11
Veröffentlicht 2005
Inhaltsangabe:
“... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...”Volltext
Elektronisch
E-Book