Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
constructive computing » construction computing, constructive computation, constructive community
computing programming » computer programming, computers programming
programming towards » programming tools, programs towards
towards context » towards next
context a » context _
constructive computing » construction computing, constructive computation, constructive community
computing programming » computer programming, computers programming
programming towards » programming tools, programs towards
towards context » towards next
context a » context _
1
Publicat 2015
Taula de continguts:
“... -- Towards a Scalable Framework for Context-Free Language Reachability -- Protocols by Default: Safe MPI Code...”Obtenir text complet
Electrònic
eBook
2
Publicat 2006
Taula de continguts:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... Impaired PSENs through a Computer Mediated Distance Learning Program....”Obtenir text complet
Electrònic
eBook
4
Publicat 2014
Taula de continguts:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“... of Concurrent Programs Under a Context Bound -- Context-Bounded Analysis of Concurrent Queue Systems...”Obtenir text complet
Electrònic
eBook
6
Publicat 2005
Taula de continguts:
“... Efficient Verification for a Class of Infinite-State Systems -- Context-Bounded Model Checking of Concurrent...”Obtenir text complet
Electrònic
eBook
7
Publicat 2010
Taula de continguts:
“... -- COTEACHING CONTEXTS -- Risk-Taking as Practice in a Coteaching Professional Learning Community -- Enactment...”Obtenir text complet
Electrònic
eBook
8
per Muhammad Zain, Zuhaira
Publicat 2012
Matèries:
“...Blogs - Computer programs...”Publicat 2012
Obtenir text complet
Thesis
9
Publicat 2006
Taula de continguts:
“...-Safe Linking of Components for Java-Like Languages -- Towards a Formal Semantics for AspectJ Weaving...”Obtenir text complet
Electrònic
eBook
10
Publicat 2010
Taula de continguts:
“...Invited Talks -- Informative Labeling Schemes -- Noetherian Spaces in Verification -- Towards a...”Obtenir text complet
Electrònic
eBook
11
Publicat 2008
Taula de continguts:
“... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”Obtenir text complet
Electrònic
eBook
12
Taula de continguts:
“... Specifications -- Structured Program Synthesis -- Epilogue -- Conclusions: Toward Constructive Logic as a...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
13
Publicat 2010
Taula de continguts:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Obtenir text complet
Electrònic
eBook
14
Publicat 2005
Taula de continguts:
“... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...”Obtenir text complet
Electrònic
eBook
15
Publicat 2008
Taula de continguts:
“... -- Systematization of Knowledge about Performative Verbs: Capturing Speaker’s Intention -- Toward Construction of a...”Obtenir text complet
Electrònic
eBook
16
Publicat 2005
Taula de continguts:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Obtenir text complet
Electrònic
eBook
17
Publicat 2013
Taula de continguts:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Obtenir text complet
Electrònic
eBook
18
Publicat 2007
Taula de continguts:
“... Reconstruction of a System for Experimental Mathematics -- Context Aware Calculation and Deduction -- Towards...”Obtenir text complet
Electrònic
eBook
19
Publicat 2007
Taula de continguts:
“... System for Cross-Organizational Workflows Management Based on Process-View -- Towards a Formal Foundation...”Obtenir text complet
Electrònic
eBook
20
Publicat 2008
Taula de continguts:
“... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”Obtenir text complet
Electrònic
eBook