Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming selecting » programming selected, programming setting, programming generating
selecting methods » selecting method, selection methods, selective methods
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming selecting » programming selected, programming setting, programming generating
selecting methods » selecting method, selection methods, selective methods
1
Publicat 2006
Taula de continguts:
“... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”Obtenir text complet
Electrònic
eBook
2
Taula de continguts:
“... to Ecosystem Service -- 1.5. Functional Diversity Quantification -- 2. Functional Groups -- 2.1 Selecting Trait...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
3
Publicat 2007
Taula de continguts:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Obtenir text complet
Electrònic
eBook
4
Publicat 2010
Taula de continguts:
“..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...”Obtenir text complet
Electrònic
eBook
5
Publicat 2006
Taula de continguts:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Obtenir text complet
Electrònic
eBook
6
Taula de continguts:
“... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
7
Publicat 2007
Taula de continguts:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”Obtenir text complet
Electrònic
eBook
9
Publicat 2007
Taula de continguts:
“... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...”Obtenir text complet
Electrònic
eBook
10
Publicat 2014
Taula de continguts:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”Obtenir text complet
Electrònic
eBook
11
Publicat 2010
Taula de continguts:
“...Social Network Mining Tools -- An Overview of Methods for Virtual Social Networks Analysis...”Obtenir text complet
Electrònic
eBook
12
Publicat 2005
Taula de continguts:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Obtenir text complet
Electrònic
eBook
13
Publicat 2013
Taula de continguts:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”Obtenir text complet
Electrònic
eBook
14
Publicat 2013
Taula de continguts:
“...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”Obtenir text complet
Electrònic
eBook
15
Publicat 2010
Taula de continguts:
“... on Functional System-Level Design and Modeling -- Design Automation Model for Application-Specific Processors...”Obtenir text complet
Electrònic
eBook
16
Publicat 2008
Taula de continguts:
“...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”Obtenir text complet
Electrònic
eBook
17
per Saeed, Walid
Publicat 2005
Matèries:
“...Programming language(Electronic computer)...”Publicat 2005
Obtenir text complet
Thesis
18
Publicat 2014
Taula de continguts:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”Obtenir text complet
Electrònic
eBook
19
Publicat 2011
Taula de continguts:
“... for Sensor Networks -- An Empirical Study of Programming Performance Based on Keystroke Characteristics -- A...”Obtenir text complet
Electrònic
eBook
20
Publicat 2006
Taula de continguts:
“... Recognition in Portuguese -- Functional Aspects in Portuguese NER -- SIEMÊS – A Named-Entity Recognizer...”Obtenir text complet
Electrònic
eBook