1
Por Goodrich, Michael T.
Publicado em 2011
Sumário: ...Machine generated contents note: -- Chapter 1 - Basic C++ Programming. -- Chapter 2 - Object...
Cover image
Livro
2
Sumário: ...? -- What is Structured Data? -- Basic Data Types -- Basic Organization of Data: Containers -- Accessing...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2005
Sumário: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2013
Sumário: ... and Recursive Data Structures -- Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration....
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2006
Sumário: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2005
Sumário: ... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...
Obter o texto integral
Recurso Electrónico livro electrónico