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