Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
applications programming » application programming, application program, applications proceedings
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
service applications » device applications, science applications, space applications
constructs https » construction https, constructs loops, constructs arti
applications programming » application programming, application program, applications proceedings
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
service applications » device applications, science applications, space applications
constructs https » construction https, constructs loops, constructs arti
1
Опубликовано 2012
Предметы:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2015
Оглавление:
“...Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2008
Оглавление:
“...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2013
Оглавление:
“... code generators for EMF -- Service-oriented combination of code generation frameworks....”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2015
Оглавление:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2010
Оглавление:
“... Code Generation for Affine Programs -- Is Reuse Distance Applicable to Data Locality Analysis on Chip...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2015
Оглавление:
“... Learning in Large Biological Networks -- Construction of Complex Aggregates with Random Restart Hill...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2014
Оглавление:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Полный текст
Электронный ресурс
eКнига
9
Оглавление:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Полный текст
Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2008
Оглавление:
“... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2013
Оглавление:
“...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”Полный текст
Электронный ресурс
eКнига
12
Оглавление:
“... -- Extreme Programming (XP) -- Putting XP into Practise -- Agile Modelling and XP -- Agile Modelling and XP...”
Полный текст
Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2014
Оглавление:
“... Construction of Program Representations for Sparse Dataflow Analyses -- Inter-iteration Scalar Replacement...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2014
Оглавление:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2005
Оглавление:
“...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...”Полный текст
Электронный ресурс
eКнига
16
Оглавление:
“... Specifications -- Structured Program Synthesis -- Epilogue -- Conclusions: Toward Constructive Logic as a...”
Полный текст
Полный текст
Электронный ресурс
eКнига
17
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...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2008
Оглавление:
“... Learning for Real-Time Systems Applications -- Discriminative Structure Learning of Markov Logic Networks...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2013
Оглавление:
“... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2007
Оглавление:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Полный текст
Электронный ресурс
eКнига