1
Wydane 2008
Spis treści: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2014
Spis treści: ... cloning: A Simple and Robust High-Throughput Cloning Method for Protein Expression -- Minimum GC-rich...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2005
Spis treści: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Spis treści: ....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2014
Spis treści: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2008
Spis treści: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Spis treści: ... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Spis treści: ... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Spis treści: ... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Spis treści: ... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Wydane 2013
Spis treści: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Spis treści: ... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Hasła przedmiotowe: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Wydane 2013
Spis treści: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Dokumenty pełnotekstowe
Elektroniczne E-book
15
Spis treści: ... ?-Calculus -- Algebras -- Mathematical Logic -- Simple RSL -- Atomic Types and Values in RSL -- Function...
Dokumenty pełnotekstowe
Elektroniczne E-book
16
Hasła przedmiotowe: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Dokumenty pełnotekstowe
Elektroniczne E-book
17
Spis treści: ... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....
Dokumenty pełnotekstowe
Elektroniczne E-book
18
Spis treści: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
Dokumenty pełnotekstowe
Elektroniczne E-book
19
Wydane 2010
Spis treści: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
Dokumenty pełnotekstowe
Elektroniczne E-book
20
Spis treści: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Dokumenty pełnotekstowe
Elektroniczne E-book