Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
programming information » programming formulation, programming introduction, programming formulations
functionality computing » functionality combining, function computing, functionality using
https functionality » its functionality, bags functionality, cross functionality
information https » information http, informatics https, interaction https
programming information » programming formulation, programming introduction, programming formulations
functionality computing » functionality combining, function computing, functionality using
https functionality » its functionality, bags functionality, cross functionality
information https » information http, informatics https, interaction https
1
Julkaistu 2010
Sisällysluettelo:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2008
Sisällysluettelo:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2007
Sisällysluettelo:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2013
Sisällysluettelo:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”Hae kokoteksti
Elektroninen
E-kirja
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
Elektroninen
Aikakauslehti
6
Julkaistu 2010
Sisällysluettelo:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”Hae kokoteksti
Elektroninen
E-kirja
7
Sisällysluettelo:
“... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2007
Sisällysluettelo:
“... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2013
Sisällysluettelo:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2011
Sisällysluettelo:
“... for Sensor Networks -- An Empirical Study of Programming Performance Based on Keystroke Characteristics -- A...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2014
Sisällysluettelo:
“... Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2014
Sisällysluettelo:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2015
Sisällysluettelo:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2015
Sisällysluettelo:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Hae kokoteksti
Elektroninen
E-kirja
15
Sisällysluettelo:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2014
Sisällysluettelo:
“... -- Intrusion Detection in Cloud Computing Implementation of (SAAS & IAAS) using Grid Environment -- Inter...”Hae kokoteksti
Elektroninen
E-kirja
17
Tekijä Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Julkaistu 2005
Sisällysluettelo:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Julkaistu 2005
Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2014
Sisällysluettelo:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”Hae kokoteksti
Elektroninen
E-kirja
19
Aiheet:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2008
Sisällysluettelo:
“... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...”Hae kokoteksti
Elektroninen
E-kirja