1
Publicado 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Ligazón do recurso
Electrónico eBook
2
Publicado 2014
Table of Contents: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Ligazón do recurso
Electrónico eBook
3
Publicado 2008
Table of Contents: ... -- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs -- A Flexible, (C)LP...
Ligazón do recurso
Electrónico eBook
4
Table of Contents: ...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...
Ligazón do recurso
Electrónico eBook
5
por Sharan, Kishori., Sharan, Kishori.
Publicado 2014
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Ligazón do recurso
Electrónico eBook
6
Publicado 2008
Table of Contents: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
Ligazón do recurso
Electrónico eBook
7
Publicado 2010
Table of Contents: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
Ligazón do recurso
Electrónico eBook
8
por Raynal, Michel., Raynal, Michel.
Publicado 2013
Table of Contents: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Ligazón do recurso
Electrónico eBook
9
Publicado 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Ligazón do recurso
Electrónico eBook
10
Publicado 2010
Table of Contents: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Ligazón do recurso
Electrónico eBook
11
Publicado 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Ligazón do recurso
Electrónico eBook
12
Publicado 2007
Table of Contents: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
Ligazón do recurso
Electrónico eBook
13
Publicado 2005
Table of Contents: ... Revisited -- Keynote -- Discovery and Annotation of Genetic Modules -- Efficient q-Gram Filters for Finding...
Ligazón do recurso
Electrónico eBook
14
Publicado 2005
Table of Contents: ... Length with Location Information to Align Monolingual Parallel Texts -- Web Search -- Effective Topic...
Ligazón do recurso
Electrónico eBook
15
Publicado 2007
Table of Contents: ... -- Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity -- Modelling...
Ligazón do recurso
Electrónico eBook
16
Publicado 2013
Table of Contents: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
Ligazón do recurso
Electrónico eBook
17
Publicado 2006
Table of Contents: ... Adaptive Search for Semantic Web Services in Unstructured P2P Networks -- SADIe: Semantic Annotation...
Ligazón do recurso
Electrónico eBook
18
Publicado 2010
Table of Contents: ... of Interests -- Publishing Math Lecture Notes as Linked Data -- GoNTogle: A Tool for Semantic Annotation...
Ligazón do recurso
Electrónico eBook
19
Publicado 2012
Table of Contents: ...-homologous End-joining-deficient Strains for Functional Gene Analyses in Filamentous Fungi -- Atomic Force...
Ligazón do recurso
Electrónico eBook