Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functioning » program functionality, programs functional, project functioning
functioning using » function using, functions using, functioning among
program code » program model, program models, program c
code program » coe program, core program, cone program
using https » using http, nursing https, aging https
program functioning » program functionality, programs functional, project functioning
functioning using » function using, functions using, functioning among
program code » program model, program models, program c
code program » coe program, core program, cone program
using https » using http, nursing https, aging https
1
Published 2010
Table of Contents:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”View full text
Electronic
eBook
5
Table of Contents:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text
View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...”View full text
Electronic
eBook
9
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Streams Using Fractal GP Ensembles -- Multi-objective Genetic Programming for Improving the Performance...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”View full text
Electronic
eBook
15
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
16
Table of Contents:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“...-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...-Based ILP Systems -- Learning Aggregate Functions with Neural Networks Using a Cascade-Correlation...”View full text
Electronic
eBook