1
Julkaistu 2010
Sisällysluettelo: ... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...
Hae kokoteksti
Elektroninen E-kirja
2
Tekijä Sharan, Kishori., Sharan, Kishori.
Julkaistu 2014
Aiheet: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Hae kokoteksti
Elektroninen E-kirja
3
Tekijä Gries, David., Gries, David., Gries, Paul.
Julkaistu 2005
Sisällysluettelo: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2005
Sisällysluettelo: ... in Bacterial and Yeast Hosts -- Gene Expression Arrays in Food -- Optimization of Proteome Analysis for Wine...
Hae kokoteksti
Elektroninen E-kirja
5
Tekijä Horton, Ivor., Horton, Ivor.
Julkaistu 2015
Aiheet: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Hae kokoteksti
Elektroninen E-kirja
6
Tekijä Lee, James., Lee, James.
Julkaistu 2010
Sisällysluettelo: ... -- Subroutines/Functions -- Regular Expressions -- Files and Data -- String Processing -- Interfacing...
Hae kokoteksti
Elektroninen E-kirja
7
Tekijä Wainwright, Peter., Wainwright, Peter.
Julkaistu 2005
Sisällysluettelo: ... -- Operators -- Arrays, Hashes, References, and Typeglobs -- Structure, Flow, and Control -- Subroutines...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2006
Sisällysluettelo: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2005
Sisällysluettelo: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2014
Sisällysluettelo: ...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2013
Sisällysluettelo: ... of Regular Expressions -- Research Papers -- Dealing with Symmetries in Modal Tableaux -- Tableaux...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2008
Sisällysluettelo: ... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2013
Sisällysluettelo: ... and Prosody -- A Case Study in Romanian -- MAP: An Abstraction-Based Metaphor Analysis Program for Overcoming...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2005
Sisällysluettelo: ... and Topological Models for DNA Recombinant Processes -- Contributed Papers -- Regular Expressions for Two...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2010
Sisällysluettelo: ... -- Stochastic-Process Approach to Nonequilibrium Thermodynamics and Biological Signal Transduction -- Granger...
Hae kokoteksti
Elektroninen E-kirja
16
Sisällysluettelo: ... Python -- Fortran Programming with NumPy Arrays -- C and C++ Programming with NumPy Arrays -- More...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2007
Sisällysluettelo: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2013
Sisällysluettelo: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2006
Sisällysluettelo: ... Problems -- An Expressive Temporal Logic for Real Time -- On Matroid Representability and Minor Problems...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2010
Sisällysluettelo: ... -- Empirical Evaluation of Ranking Prediction Methods for Gene Expression Data Classification -- Defining a...
Hae kokoteksti
Elektroninen E-kirja