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ế:
programming information » programming formulation, programming introduction, programming formulations
function computing » education computing, generation computing
information https » information http, informatics https, interaction https
https function » its function, sites function, ups function
programming information » programming formulation, programming introduction, programming formulations
function computing » education computing, generation computing
information https » information http, informatics https, interaction https
https function » its function, sites function, ups function
1
Được phát hành 2010
Mục lục:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2008
Mục lục:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2007
Mục lục:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2013
Mục lục:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”lấy văn bản
Điện tử
eBook
5
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
Điện tử
Tạp chí
6
Được phát hành 2010
Mục lục:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”lấy văn bản
Điện tử
eBook
7
Mục lục:
“... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
lấy văn bản
lấy văn bản
Điện tử
eBook
8
Được phát hành 2007
Mục lục:
“... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2013
Mục lục:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2011
Mục lục:
“... for Sensor Networks -- An Empirical Study of Programming Performance Based on Keystroke Characteristics -- A...”lấy văn bản
Điện tử
eBook
11
Được phát hành 2014
Mục lục:
“... Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics...”lấy văn bản
Điện tử
eBook
12
Đượ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
13
Được phát hành 2015
Mục lục:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2015
Mục lục:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”lấy văn bản
Điện tử
eBook
15
Mục lục:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
lấy văn bản
lấy văn bản
Điện tử
eBook
16
Được phát hành 2014
Mục lục:
“... -- Intrusion Detection in Cloud Computing Implementation of (SAAS & IAAS) using Grid Environment -- Inter...”lấy văn bản
Điện tử
eBook
17
Bằng Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Được phát hành 2005
Mục lục:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Được phát hành 2005
lấy văn bản
Điện tử
eBook
18
Được phát hành 2014
Mục lục:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”lấy văn bản
Điện tử
eBook
19
Những chủ đề:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
lấy văn bản
lấy văn bản
Điện tử
eBook
20
Những chủ đề:
“...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...”
lấy văn bản
lấy văn bản
Điện tử
eBook