1
Publicat 2007
Taula de continguts: ... -- A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) -- Session A9...
Obtenir text complet
Electrònic eBook
2
Publicat 2008
Taula de continguts: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...
Obtenir text complet
Electrònic eBook
4
Publicat 2012
Taula de continguts: ... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....
Obtenir text complet
Electrònic eBook
5
Publicat 2014
Taula de continguts: ... -- Retinoic Acid Receptors: Structural Basis for Coregulator Interaction and Exchange -- Evolution of Retinoic...
Obtenir text complet
Electrònic eBook
6
Publicat 2015
Taula de continguts: ... Structures, and the ICM Molsoft Program -- In Cellulo DNA Analysis: LMPCR Footprinting -- Southwestern...
Obtenir text complet
Electrònic eBook
7
Publicat 2007
Taula de continguts: ... Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications...
Obtenir text complet
Electrònic eBook
8
Publicat 2007
Taula de continguts: ... to Memory Faults -- Simple and Space-Efficient Minimal Perfect Hash Functions -- Session 4A -- A Near Linear...
Obtenir text complet
Electrònic eBook
9
Publicat 2005
Taula de continguts: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
Obtenir text complet
Electrònic eBook
10
Publicat 2008
Taula de continguts: ... Interactive Systems for Navigating 3D Environments in Museums -- An Attentive Groupware Device to Mitigate...
Obtenir text complet
Electrònic eBook
11
per Lee, Kent D., Lee, Kent D.
Publicat 2008
Taula de continguts: ... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Obtenir text complet
Electrònic eBook
13
Publicat 2014
Taula de continguts: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Obtenir text complet
Electrònic eBook
14
Publicat 2015
Taula de continguts: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Obtenir text complet
Electrònic eBook
15
Publicat 2006
Taula de continguts: ...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...
Obtenir text complet
Electrònic eBook
16
Publicat 2014
Taula de continguts: ... Interaction and Decision Support Systems of the Future -- Linguistics to Structure Unstructured Information...
Obtenir text complet
Electrònic eBook
17
per Lee, Kent D., Lee, Kent D.
Publicat 2014
Taula de continguts: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
Obtenir text complet
Electrònic eBook
18
Taula de continguts: ... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...
Obtenir text complet
Electrònic eBook
19
per Lee, Kent D., Lee, Kent D.
Publicat 2014
Matèries: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
20
per West, Adrian W., West, Adrian W.
Publicat 2013
Matèries: ...Data Structures and Information Theory. https://scigraph.springernature.com/ontologies/product...
Obtenir text complet
Electrònic eBook