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ế:
program construction » programmed instruction
construction https » instruction https, conservation https, construction history
function structure » functional structure, functional structures, functional structural
structure https » structures https
https function » its function, sites function, ups function
program construction » programmed instruction
construction https » instruction https, conservation https, construction history
function structure » functional structure, functional structures, functional structural
structure https » structures https
https function » its function, sites function, ups function
1
Được phát hành 2006
Mục lục:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2007
Mục lục:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2006
Mục lục:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2013
Mục lục:
“... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2006
Mục lục:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”lấy văn bản
Điện tử
eBook
6
Được phát hành 2008
Mục lục:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”lấy văn bản
Điện tử
eBook
7
Được phát hành 2008
Mục lục:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”lấy văn bản
Điện tử
eBook
8
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Được phát hành 2007
Mục lục:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2007
Mục lục:
“... to Memory Faults -- Simple and Space-Efficient Minimal Perfect Hash Functions -- Session 4A -- A Near Linear...”lấy văn bản
Điện tử
eBook
10
Mục lục:
“...and Definitions -- Definitions -- General Constructions -- Semi-honest Adversaries -- Malicious...”
lấy văn bản
lấy văn bản
Điện tử
eBook
11
Được phát hành 2006
Mục lục:
“... in Structural Optimization -- Parametric Shape and Topology Optimization with Radial Basis Functions...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2014
Mục lục:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”lấy văn bản
Điện tử
eBook
13
Được phát hành 2010
Mục lục:
“... Contribution to Programming (1946–1950) -- A Miniaturisation of Ramsey’s Theorem -- Graph Structures...”lấy văn bản
Điện tử
eBook
14
Mục lục:
“... Specifications -- Structured Program Synthesis -- Epilogue -- Conclusions: Toward Constructive Logic as a...”
lấy văn bản
lấy văn bản
Điện tử
eBook
15
Được phát hành 2008
Mục lục:
“... Learning for Real-Time Systems Applications -- Discriminative Structure Learning of Markov Logic Networks...”lấy văn bản
Điện tử
eBook
16
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Được phát hành 2008
Mục lục:
“... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”lấy văn bản
Điện tử
eBook
17
Được phát hành 2010
Mục lục:
“... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”lấy văn bản
Điện tử
eBook
18
Được phát hành 2014
Mục lục:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”lấy văn bản
Điện tử
eBook
19
Được phát hành 2010
Mục lục:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”lấy văn bản
Điện tử
eBook
20
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Được phát hành 2013
Mục lục:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”lấy văn bản
Điện tử
eBook