在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
model https » models https, modeling https
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
model https » models https, modeling https
1
主題:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
獲取全文
獲取全文
電子
電子書
2
出版 2007
書本目錄:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”獲取全文
電子
電子書
3
出版 2013
書本目錄:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”獲取全文
電子
電子書
4
出版 2008
書本目錄:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”獲取全文
電子
電子書
5
出版 2008
書本目錄:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”獲取全文
電子
電子書
6
出版 2006
書本目錄:
“... -- On Complexity of Grammars Related to the Safety Problem -- Models -- Jumbo ?-Calculus -- ?-RBAC: Programming...”獲取全文
電子
電子書
7
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
出版 2007
書本目錄:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”獲取全文
電子
電子書
8
出版 2008
書本目錄:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”獲取全文
電子
電子書
9
出版 2010
書本目錄:
“... -- Prediction of Business Process Model Quality Based on Structural Metrics -- Modelling Functional Requirements...”獲取全文
電子
電子書
10
出版 2015
書本目錄:
“...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”獲取全文
電子
電子書
11
出版 2013
書本目錄:
“... in the Signal Tile Assembly Model -- Modular Verification of DNA Strand Displacement Networks via...”獲取全文
電子
電子書
12
書本目錄:
“... Functions for fast simulations -- Modern approach to inverse analyses -- Numerical examples....”
獲取全文
獲取全文
電子
電子書
13
出版 2014
書本目錄:
“... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”獲取全文
電子
電子書
14
出版 2008
書本目錄:
“... -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling...”獲取全文
電子
電子書
15
出版 2010
書本目錄:
“... -- Schnyder Greedy Routing Algorithm -- Exploiting Restricted Linear Structure to Cope with the Hardness...”獲取全文
電子
電子書
16
出版 2007
書本目錄:
“...Session 1 -- Finding Small Holes -- Session 2A -- Approximate Range Searching: The Absolute Model...”獲取全文
電子
電子書
17
出版 2007
書本目錄:
“... -- Model-Checking One-Clock Priced Timed Automata -- Approximating a Behavioural Pseudometric Without...”獲取全文
電子
電子書
18
出版 2006
書本目錄:
“... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”獲取全文
電子
電子書
19
出版 2008
書本目錄:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”獲取全文
電子
電子書
20
書本目錄:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
獲取全文
獲取全文
電子
電子書