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