在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
programs information » program information, programmes information, progress information
function computing » education computing, generation computing
information https » information http, informatics https, interaction https
https function » its function, sites function, ups function
programs information » program information, programmes information, progress information
function computing » education computing, generation computing
information https » information http, informatics https, interaction https
https function » its function, sites function, ups function
1
出版 2010
书本目录:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”获取全文
电子
电子书
2
出版 2008
书本目录:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”获取全文
电子
电子书
3
Full text available from Advanced Technologies & Aerospace Database: 01/01/2001 to 1 year ago
Full text available from Computer Science Database: 01/01/2001 to 1 year ago
电子
杂志
4
书本目录:
“... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
获取全文
获取全文
电子
电子书
5
出版 2007
书本目录:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”获取全文
电子
电子书
6
出版 2007
书本目录:
“... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...”获取全文
电子
电子书
7
出版 2013
书本目录:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”获取全文
电子
电子书
8
出版 2011
书本目录:
“... for Sensor Networks -- An Empirical Study of Programming Performance Based on Keystroke Characteristics -- A...”获取全文
电子
电子书
9
出版 2010
书本目录:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”获取全文
电子
电子书
10
出版 2014
书本目录:
“... Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics...”获取全文
电子
电子书
11
出版 2013
书本目录:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”获取全文
电子
电子书
12
书本目录:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
获取全文
获取全文
电子
电子书
13
出版 2014
书本目录:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”获取全文
电子
电子书
14
出版 2015
书本目录:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”获取全文
电子
电子书
15
出版 2015
书本目录:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”获取全文
电子
电子书
16
书本目录:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”
获取全文
获取全文
电子
电子书
17
出版 2014
书本目录:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”获取全文
电子
电子书
18
主题:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
获取全文
获取全文
电子
电子书
19
主题:
“...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...”
获取全文
获取全文
电子
电子书
20
出版 2014
书本目录:
“... -- Intrusion Detection in Cloud Computing Implementation of (SAAS & IAAS) using Grid Environment -- Inter...”获取全文
电子
电子书