在您的搜寻 主题建议
搜索替代词:
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
recursion a » recursion _, recursions g, recursions m
a tools » a tool, 1 tools, 2 tools
1
封面图片
出版 2010
书本目录: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
获取全文
电子 电子书
加到收藏夹
Saved in:
2
封面图片
书本目录: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
获取全文
电子 电子书
加到收藏夹
Saved in:
3
封面图片
主题: “...Computers....”
获取全文
电子 电子书
加到收藏夹
Saved in:
4
封面图片
出版 2013
书本目录: “... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”
获取全文
电子 电子书
加到收藏夹
Saved in:
5
封面图片
出版 2006
书本目录: “... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”
获取全文
电子 电子书
加到收藏夹
Saved in:
6
封面图片
出版 2005
书本目录: “... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”
获取全文
电子 电子书
加到收藏夹
Saved in:
7
封面图片
书本目录: “... of Programming Languages -- How Programming Languages are Implemented -- How a Program gets “written” -- Meet...”
获取全文
电子 电子书
加到收藏夹
Saved in:
8
封面图片
出版 2015
书本目录: “... Checking Toolset for Kernel P Systems -- A New Strategy to Improve the Performance of PDP-systems...”
获取全文
电子 电子书
加到收藏夹
Saved in:
9
封面图片
出版 2010
书本目录: “...-step EMG Classification Algorithm for Human-Computer Interaction -- Affective Assessment of a Computer...”
获取全文
电子 电子书
加到收藏夹
Saved in:
10
封面图片
出版 2007
书本目录: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
获取全文
电子 电子书
加到收藏夹
Saved in:
11
封面图片
出版 2005
书本目录: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
获取全文
电子 电子书
加到收藏夹
Saved in:
12
封面图片
出版 2013
书本目录: “... Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type...”
获取全文
电子 电子书
加到收藏夹
Saved in:
13
封面图片
出版 2008
书本目录: “... Dynamic Logic for Recursive Procedures -- Mapped Separation Logic -- Unguessable Atoms: A Logical...”
获取全文
电子 电子书
加到收藏夹
Saved in:
14
封面图片
出版 2005
书本目录: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
获取全文
电子 电子书
加到收藏夹
Saved in:
15
封面图片
出版 2008
书本目录: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
获取全文
电子 电子书
加到收藏夹
Saved in:
16
封面图片
出版 2008
书本目录: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
获取全文
电子 电子书
加到收藏夹
Saved in:
17
封面图片
出版 2010
书本目录: “... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”
获取全文
电子 电子书
加到收藏夹
Saved in:
18
封面图片
出版 2010
书本目录: “... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”
获取全文
电子 电子书
加到收藏夹
Saved in:
19
封面图片
出版 2010
书本目录: “... Trees Detection in Very High Resolution Images -- A Fast Recursive Approach to Autonomous Detection...”
获取全文
电子 电子书
加到收藏夹
Saved in:
20
封面图片
出版 2015
书本目录: “... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”
获取全文
电子 电子书
加到收藏夹
Saved in:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索