Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
integration computer » international computer, interactive computer
programs functional » programming functional, proteins functional, processes functional
program programs » program program, programs program, program progress
functional https » functions https, function https, functional hop
integration computer » international computer, interactive computer
programs functional » programming functional, proteins functional, processes functional
program programs » program program, programs program, program progress
functional https » functions https, function https, functional hop
1
Được phát hành 2008
Mục lục:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2010
Mục lục:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2011
Những chủ đề:
“...Programming languages (Electronic computers)....”lấy văn bản
Điện tử
eBook
4
Được phát hành 2011
Những chủ đề:
“...Programming languages (Electronic computers)....”lấy văn bản
Điện tử
eBook
5
Được phát hành 2010
Mục lục:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”lấy văn bản
Điện tử
eBook
6
Mục lục:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
lấy văn bản
lấy văn bản
Điện tử
eBook
7
Đượ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
8
Những chủ đề:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
lấy văn bản
lấy văn bản
Điện tử
eBook
9
Được phát hành 2006
Mục lục:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2007
Mục lục:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”lấy văn bản
Điện tử
eBook
11
Được phát hành 2005
Mục lục:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2007
Mục lục:
“... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...”lấy văn bản
Điện tử
eBook
13
Được phát hành 2008
Mục lục:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2013
Mục lục:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”lấy văn bản
Điện tử
eBook
15
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Được phát hành 2013
Mục lục:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”lấy văn bản
Điện tử
eBook
16
Được phát hành 2007
Mục lục:
“... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”lấy văn bản
Điện tử
eBook
17
Được phát hành 2005
Mục lục:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”lấy văn bản
Điện tử
eBook
18
Được phát hành 2006
Mục lục:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”lấy văn bản
Điện tử
eBook
19
Được phát hành 2007
Mục lục:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”lấy văn bản
Điện tử
eBook
20
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Được phát hành 2008
Mục lục:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”lấy văn bản
Điện tử
eBook