1
Vydáno 2010
Obsah: ... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...
Získat plný text
Elektronický zdroj E-kniha
2
Autor Sharan, Kishori., Sharan, Kishori.
Vydáno 2014
Témata: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Získat plný text
Elektronický zdroj E-kniha
3
Obsah: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2005
Obsah: ... in Bacterial and Yeast Hosts -- Gene Expression Arrays in Food -- Optimization of Proteome Analysis for Wine...
Získat plný text
Elektronický zdroj E-kniha
5
Autor Horton, Ivor., Horton, Ivor.
Vydáno 2015
Témata: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Získat plný text
Elektronický zdroj E-kniha
6
Autor Lee, James., Lee, James.
Vydáno 2010
Obsah: ... -- Subroutines/Functions -- Regular Expressions -- Files and Data -- String Processing -- Interfacing...
Získat plný text
Elektronický zdroj E-kniha
7
Obsah: ... -- Operators -- Arrays, Hashes, References, and Typeglobs -- Structure, Flow, and Control -- Subroutines...
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2006
Obsah: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Získat plný text
Elektronický zdroj E-kniha
9
Vydáno 2005
Obsah: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2014
Obsah: ...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2013
Obsah: ... of Regular Expressions -- Research Papers -- Dealing with Symmetries in Modal Tableaux -- Tableaux...
Získat plný text
Elektronický zdroj E-kniha
12
Vydáno 2008
Obsah: ... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...
Získat plný text
Elektronický zdroj E-kniha
13
Vydáno 2013
Obsah: ... and Prosody -- A Case Study in Romanian -- MAP: An Abstraction-Based Metaphor Analysis Program for Overcoming...
Získat plný text
Elektronický zdroj E-kniha
14
Obsah: ... Python -- Fortran Programming with NumPy Arrays -- C and C++ Programming with NumPy Arrays -- More...
Získat plný text
Elektronický zdroj E-kniha
15
Vydáno 2013
Obsah: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
Získat plný text
Elektronický zdroj E-kniha
16
Vydáno 2010
Obsah: ... -- Stochastic-Process Approach to Nonequilibrium Thermodynamics and Biological Signal Transduction -- Granger...
Získat plný text
Elektronický zdroj E-kniha
17
Vydáno 2005
Obsah: ... and Topological Models for DNA Recombinant Processes -- Contributed Papers -- Regular Expressions for Two...
Získat plný text
Elektronický zdroj E-kniha
18
Vydáno 2007
Obsah: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Získat plný text
Elektronický zdroj E-kniha
19
Vydáno 2010
Obsah: ... -- Empirical Evaluation of Ranking Prediction Methods for Gene Expression Data Classification -- Defining a...
Získat plný text
Elektronický zdroj E-kniha
20
Vydáno 2006
Obsah: ... Proteomic Data -- Learning Bayesian Classifiers from Gene-Expression MicroArray Data -- Special Session...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání