Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming context » programming contest, programming convex, programming concept
context a » context _
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming context » programming contest, programming convex, programming concept
context a » context _
1
Publicado 2010
Table of Contents:
“... -- COTEACHING CONTEXTS -- Risk-Taking as Practice in a Coteaching Professional Learning Community -- Enactment...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2015
Table of Contents:
“...: The Emergence of Values through the Dialogic Construction of Alterity -- Part II: Educational Contexts Through a...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2015
Table of Contents:
“...Invited Paper -- A Graphical Model for Context-Free Grammar Parsing -- Compiler Engineering...”Ligazón do recurso
Electrónico
eBook
4
Table of Contents:
“... -- The Integrated IS&R Research Framework -- Implications of the Cognitive Framework for IS&R -- Towards a Research...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
5
Publicado 2006
Table of Contents:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2008
Table of Contents:
“...Papers from Invited Talks -- Design Choices in a Compiler Course or How to Make Undergraduates Love...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2014
Table of Contents:
“... of TSO Systems.- A Model of Dynamic Systems.- From Hierarchical BIP to Petri Calculus.- Programming...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2015
Table of Contents:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2008
Table of Contents:
“... of Concurrent Programs Under a Context Bound -- Context-Bounded Analysis of Concurrent Queue Systems...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2005
Table of Contents:
“... Efficient Verification for a Class of Infinite-State Systems -- Context-Bounded Model Checking of Concurrent...”Ligazón do recurso
Electrónico
eBook
11
por Muhammad Zain, Zuhaira
Publicado 2012
Subjects:
“...Blogs - Computer programs...”Publicado 2012
Ligazón do recurso
Thesis
12
Table of Contents:
“... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
13
Publicado 2008
Table of Contents:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Ligazón do recurso
Electrónico
eBook
14
por Atan, Rodziah
Publicado 2005
Subjects:
“...Programming languages (Electronic computers)...”Publicado 2005
Ligazón do recurso
Thesis
15
Publicado 2007
Table of Contents:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2006
Table of Contents:
“... Programming -- MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language -- A...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2010
Table of Contents:
“...Invited Talks -- Informative Labeling Schemes -- Noetherian Spaces in Verification -- Towards a...”Ligazón do recurso
Electrónico
eBook
18
Table of Contents:
“... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
19
Publicado 2008
Table of Contents:
“... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2008
Table of Contents:
“... -- A Flow-Sensitive Region Inference for CLI -- Context-Sensitive Relevancy Analysis for Efficient...”Ligazón do recurso
Electrónico
eBook