Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
programming systems » programming system, programming series, programming problems
arrays a » arrays _
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
programming systems » programming system, programming series, programming problems
arrays a » arrays _
1
2
Veröffentlicht 2005
Inhaltsangabe:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2015
Inhaltsangabe:
“... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2012
Inhaltsangabe:
“... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2015
Inhaltsangabe:
“... and Chomsky Languages in Array P System -- Sorting Using Spiking Neural P Systems with Anti-Spikes and Rules...”Volltext
Elektronisch
E-Book
6
Veröffentlicht 2005
Inhaltsangabe:
“... Algorithmic Problem by Recognizer P Systems -- On the Minimal Automaton of the Shuffle of Words and Araucarias....”Volltext
Elektronisch
E-Book
7
8
Veröffentlicht 2007
Inhaltsangabe:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Volltext
Elektronisch
E-Book
9
Veröffentlicht 2006
Inhaltsangabe:
“... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”Volltext
Elektronisch
E-Book
10
Veröffentlicht 2010
Inhaltsangabe:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”Volltext
Elektronisch
E-Book
11
Veröffentlicht 2010
Inhaltsangabe:
“... -- Semantic Approach for Service Oriented Requirements Modeling -- Automatic Reasoning -- Extend Atomic Action...”Volltext
Elektronisch
E-Book