1
Julkaistu 2010
Sisällysluettelo: ... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...
Hae kokoteksti
Elektroninen E-kirja
2
Tekijä Aitchison, Ron., Aitchison, Ron.
Julkaistu 2005
Sisällysluettelo: ... Operations -- DNS Types -- DNS and IPv6 -- Get Something Running -- Installing BIND -- BIND Type Samples...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2006
Sisällysluettelo: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Hae kokoteksti
Elektroninen E-kirja
4
Tekijä Zhang, Yue., Zhang, Yue.
Julkaistu 2015
Sisällysluettelo: ...An introduction to Python and computer programming -- Using Python as a Calculator -- The First...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2007
Sisällysluettelo: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2010
Sisällysluettelo: ... -- On Anaphora and the Binding Principles in Categorial Grammar -- Feasible Functions over Co-inductive Data...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2015
Sisällysluettelo: ...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2005
Sisällysluettelo: ... of Automatic Synthesis of Fault-Tolerant Programs -- Fully Automatic Binding-Time Analysis for Prolog -- Theory...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2007
Sisällysluettelo: ... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2007
Sisällysluettelo: ... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...
Hae kokoteksti
Elektroninen E-kirja
11
Tekijä Hermes, Dan., Hermes, Dan.
Julkaistu 2015
Aiheet: ...Computer programming....
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2007
Sisällysluettelo: ... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2007
Sisällysluettelo: ... with Dynamic Programming Algorithms -- New EST Trimming Procedure Applied to SUCEST Sequences -- A Method...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2005
Sisällysluettelo: ... -- Predicting Protein-Peptide Binding Affinity by Learning Peptide-Peptide Distance Functions -- Keynote...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2006
Sisällysluettelo: ... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2010
Sisällysluettelo: ... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2005
Sisällysluettelo: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2005
Sisällysluettelo: ... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2006
Sisällysluettelo: ... into OO Systems -- Programming Languages and Retrieval -- Reconciling Subtyping and Code Reuse in Object...
Hae kokoteksti
Elektroninen E-kirja
20
Tekijä McNavage, Terry., McNavage, Terry.
Julkaistu 2010
Aiheet: ...Computer programming....
Hae kokoteksti
Elektroninen E-kirja