1
Publicado 2012
Tabla de Contenidos: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
Enlace del recurso
Electrónico eBook
2
Publicado 2010
Tabla de Contenidos: ... -- An Automatic Approach to Aid Process Integration within a Secure Software Processes Family -- Engineering...
Enlace del recurso
Electrónico eBook
3
Publicado 2015
Tabla de Contenidos: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
Enlace del recurso
Electrónico eBook
4
Tabla de Contenidos: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
Enlace del recurso
Electrónico eBook
5
Publicado 2008
Tabla de Contenidos: ... Decomposition to Compute Answer Similarity in a Language Independent Approach to Question Answering...
Enlace del recurso
Electrónico eBook
6
Publicado 2006
Tabla de Contenidos: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
Enlace del recurso
Electrónico eBook
7
Tabla de Contenidos: ...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...
Enlace del recurso
Electrónico eBook
8
Tabla de Contenidos: ... programs -- Formal Semantics -- Formal Model for Program Analysis -- Compilation of Programs -- Advanced...
Enlace del recurso
Electrónico eBook
9
por Graba, Jan., Graba, Jan.
Publicado 2007
Tabla de Contenidos: ...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...
Enlace del recurso
Electrónico eBook
10
por Ahmad, Syarbaini
Publicado 2016
Materias: ...Debugging in computer science - Computer programs...
Enlace del recurso
Tesis
11
Publicado 2005
Tabla de Contenidos: ... Algorithms -- Towards Automated Proof Support for Probabilistic Distributed Systems -- Algebraic Intruder...
Enlace del recurso
Electrónico eBook
12
Publicado 2006
Tabla de Contenidos: ... Algorithm Against Meek DDoS Attacks -- Resistance Analysis to Intruders’ Evasion of a Novel Algorithm...
Enlace del recurso
Electrónico eBook
13
Publicado 2006
Tabla de Contenidos: ... FOR GENERATING CONCEPTS USING AN ATTRIBUTE TABLE -- ALGORITHM OF MEASUREMENT-BASED ADMISSION CONTROL FOR GPRS...
Enlace del recurso
Electrónico eBook
14
Publicado 2007
Tabla de Contenidos: ... Clustering Algorithm Based on Power for WSNs -- Analysis of Local Route Maintenance for Ad Hoc Network...
Enlace del recurso
Electrónico eBook
15
Tabla de Contenidos: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
Enlace del recurso
Electrónico eBook
16
Publicado 2010
Tabla de Contenidos: ...-step EMG Classification Algorithm for Human-Computer Interaction -- Affective Assessment of a Computer...
Enlace del recurso
Electrónico eBook
17
Publicado 2005
Tabla de Contenidos: ...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...
Enlace del recurso
Electrónico eBook
18
Publicado 2008
Tabla de Contenidos: ... Algorithms -- Attribute Set Dependence in Reduct Computation -- A General Model for Transforming Vague Sets...
Enlace del recurso
Electrónico eBook
19
Publicado 2006
Tabla de Contenidos: ... -- Augmented Color Recognition by Applying Erasure Capability of Reed-Solomon Algorithm -- Decoupling...
Enlace del recurso
Electrónico eBook
20