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