在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
recursion control » version control, decision control, precision control
control computer » cobol computer
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
recursion control » version control, decision control, precision control
control computer » cobol computer
1
出版 2008
书本目录:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”获取全文
电子
电子书
2
出版 2005
书本目录:
“... of Deterministic Tree Languages -- Constructive Reasoning and Computational Mathematics -- Complexity...”获取全文
电子
电子书
3
出版 2008
书本目录:
“... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...”获取全文
电子
电子书
4
出版 2007
书本目录:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”获取全文
电子
电子书
5
出版 2012
书本目录:
“...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...”获取全文
电子
电子书
6
出版 2010
书本目录:
“...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...”获取全文
电子
电子书
7
出版 2010
书本目录:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”获取全文
电子
电子书
8
出版 2015
书本目录:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”获取全文
电子
电子书
9
出版 2013
书本目录:
“... and Complexity -- Cruise Control in Hybrid Event-B -- From Distributions to Probabilistic Reactive Programs...”获取全文
电子
电子书
10
出版 2007
书本目录:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”获取全文
电子
电子书
11
出版 2006
书本目录:
“... Concurrent Message-Passing C Programs with Recursive Calls -- Automata-Based Verification of Programs...”获取全文
电子
电子书
12
出版 2006
书本目录:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”获取全文
电子
电子书
13
出版 2006
书本目录:
“...-Sets -- Constructive Equivalence Relations on Computable Probability Measures -- Planar Dimer Tilings...”获取全文
电子
电子书
14
出版 2008
书本目录:
“..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...”获取全文
电子
电子书
15
出版 2005
书本目录:
“... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”获取全文
电子
电子书
16
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
出版 2013
书本目录:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”获取全文
电子
电子书
17
出版 2010
书本目录:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”获取全文
电子
电子书
18
出版 2010
书本目录:
“... for Exceptions and Beyond -- Non-monotonic Refinement of Control Abstraction for Concurrent Programs...”获取全文
电子
电子书
19
出版 2010
书本目录:
“... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...”获取全文
电子
电子书
20