Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
function structures » functions structures, function structure, functional structures
program topics » program logics, programmed topics, program basics
https function » its function, sites function, ups function
topics https » optics https, poetics https, ethics https
function structures » functions structures, function structure, functional structures
program topics » program logics, programmed topics, program basics
https function » its function, sites function, ups function
topics https » optics https, poetics https, ethics https
1
Предметы:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Полный текст
Полный текст
Электронный ресурс
eКнига
2
Предметы:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Полный текст
Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2012
Предметы:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2010
Оглавление:
“... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2007
Оглавление:
“...Advanced Methodologies -- Literate many-body perturbation theory programming: Third-order“ring...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2008
Оглавление:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2008
Оглавление:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2008
Оглавление:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2014
Оглавление:
“... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2014
Оглавление:
“... the role and function of science in public debate as an essential component of scientific literacy, Ingo...”Полный текст
Электронный ресурс
eКнига
11
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Опубликовано 2013
Оглавление:
“... of Second-Order Functionals -- Deconstructing General References via Game Semantics -- Separation Logic...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2013
Оглавление:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”Полный текст
Электронный ресурс
eКнига
13
Оглавление:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Полный текст
Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2014
Оглавление:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2008
Оглавление:
“... Learning for Real-Time Systems Applications -- Discriminative Structure Learning of Markov Logic Networks...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2012
Оглавление:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Полный текст
Электронный ресурс
eКнига
17
Оглавление:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Полный текст
Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2014
Оглавление:
“... – An efficient Scoring Program for Evaluating the Energy Scores of Protein Structures for Structure Prediction...”Полный текст
Электронный ресурс
eКнига
19
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Опубликовано 2013
Оглавление:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”Полный текст
Электронный ресурс
eКнига
20
Оглавление:
“... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
Полный текст
Полный текст
Электронный ресурс
eКнига