1
Publicerad 2010
Innehållsförteckning: ...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2006
Innehållsförteckning: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2008
Innehållsförteckning: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Hämta fulltext
Elektronisk E-bok
4
av Addis, Tom., Addis, Tom., Addis, Jan.
Publicerad 2010
Innehållsförteckning: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2008
Innehållsförteckning: ... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2015
Innehållsförteckning: ... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2006
Innehållsförteckning: ...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...
Hämta fulltext
Elektronisk E-bok
8
av Lew, Art., Lew, Art., Mauch, Holger.
Publicerad 2007
Innehållsförteckning: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2007
Innehållsförteckning: ... Streams Using Fractal GP Ensembles -- Multi-objective Genetic Programming for Improving the Performance...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2006
Innehållsförteckning: ...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2008
Innehållsförteckning: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2005
Innehållsförteckning: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2007
Innehållsförteckning: ... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...
Hämta fulltext
Elektronisk E-bok
14
av Bradley, Aaron R., Bradley, Aaron R.
Publicerad 2011
Ämnen: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Hämta fulltext
Elektronisk E-bok
15
av Lee, Kent D., Lee, Kent D.
Publicerad 2008
Innehållsförteckning: ... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2013
Innehållsförteckning: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2005
Innehållsförteckning: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2006
Innehållsförteckning: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2007
Innehållsförteckning: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
Hämta fulltext
Elektronisk E-bok
20
av Hunt, John., Hunt, John.
Publicerad 2014
Innehållsförteckning: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Hämta fulltext
Elektronisk E-bok