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 Eletrônico livro eletrônico
3
Sumário: ...Overview -- Assembly Language -- Computer Organization -- Digital Logic Circuits -- Memory...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
por Horstmann, Cay S.
Publicado em 2013
Assuntos: ...Java (Computer program language)....
Cover image
Livro
5
Publicado em 2005
Sumário: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2013
Sumário: ... and Recursive Data Structures -- Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration....
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2006
Sumário: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Sumário: ... -- Recursion -- Floating-Point Operations....
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2005
Sumário: ... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...
Obter o texto integral
Recurso Eletrônico livro eletrônico