Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
program implementation » project implementation
implementation model » implementation _, implementation a
interactive python » interactive methods, interactive fiction, interactive pattern
interactive method » interactive methods, iterative method, interaction method
model https » models https, modeling https
program implementation » project implementation
implementation model » implementation _, implementation a
interactive python » interactive methods, interactive fiction, interactive pattern
interactive method » interactive methods, iterative method, interaction method
model https » models https, modeling https
1
Опубликовано 2010
Оглавление:
“... -- Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment -- Implementing...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2014
Оглавление:
“...Design Theories, Methods and Tools.-Psychological Personas for Universal User Modeling in Human...”Полный текст
Электронный ресурс
eКнига
3
Оглавление:
“... Models -- Generalized Linear Models and Extensions -- Association Models -- More on Association Models...”
Полный текст
Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2010
Оглавление:
“...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2014
Оглавление:
“... of formal methods in human-machine interaction analysis -- Formal methods for parallel hardware...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2014
Оглавление:
“... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2013
Оглавление:
“... Camera -- Multimodal Feedback in First Encounter Interactions -- Keyboard Clawing: Input Method...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2005
Оглавление:
“...-Based Program Inspection -- Visualizing and Simulating Semantic Web Services Ontologies -- A Model...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2014
Оглавление:
“....- IOCO as a Simulation.- Modeling and Simulating Interaction Protocols Using Nested Petri Nets...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2015
Оглавление:
“... Programs -- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2015
Оглавление:
“... -- The Potential of Logic Programming as a Computational Tool to Model Morality....”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2011
Предметы:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2010
Оглавление:
“... with a Finite-State System -- Finite State Morphology of the Nguni Language Cluster: Modelling...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2008
Оглавление:
“... Model Synchronization -- An Invariant-Based Method for the Analysis of Declarative Model-to-Model...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2008
Оглавление:
“... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2008
Оглавление:
“... Decision-Making Framework -- Visualizing the Pareto Frontier -- Modelling, Implementation and Applications...”Полный текст
Электронный ресурс
eКнига
17
Предметы:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Полный текст
Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2010
Оглавление:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2007
Оглавление:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2014
Оглавление:
“...Part I: Keynotes -- Part II: Future Tools -- Part III: Business Process Models -- Part IV...”Полный текст
Электронный ресурс
eКнига