1
Publicado em 2015
Sumário: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Por Addis, Tom., Addis, Tom., Addis, Jan.
Publicado em 2010
Sumário: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Por McLaughlin, Michael
Publicado em 2014
Assuntos: ...PL/SQL (Computer program language)....
Livro
4
Publicado em 2010
Sumário: ...Markowitz for the Masses: Portfolio Construction Techniques -- Markowitz for the Masses: The Risk...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2005
Sumário: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2012
Sumário: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2010
Sumário: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2006
Sumário: ... on BE-Vector Clustering -- Deriving Event Relevance from the Ontology Constructed with Formal Concept Analysis...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2005
Sumário: ... Concept Mining: A Statistic-Based Approach for Pertinent Concept Lattice Construction -- A Robust Approach...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2005
Sumário: ... Construction Model for Ubiquitous Computing Devices -- Reuse and Platforms -- A Framework for Patterns in Gaia...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2013
Sumário: ... Approach to Autonomic Computing -- A Survey on Basic Connectors and Buffers -- The EternalS Coordination...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2010
Sumário: ... and Rescue System -- Computationally Efficient Mutual Entity Authentication in Wireless Sensor Networks...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2010
Sumário: ... Lists -- Multi-Agent Architecture with Support to Quality of Service and Quality of Control -- Robust 1...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2010
Sumário: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2006
Sumário: ...Object Detection, Tracking and Recognition -- Robust Tracking with and Beyond Visible Spectrum: A...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2008
Sumário: ...-Based Partitioning -- Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2010
Sumário: ... Computational Approach of Time and Aspect -- A Non-linear Semantic Mapping Technique for Cross-Language Sentence...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2005
Sumário: ...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2005
Sumário: ... Recovery Mechanism with Pipeline Computing in Clustered-Based VOD Servers -- Dynamic and Scalable Caching...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2010
Sumário: ... Learning Style Learners -- Computer-Supported Collaborative Conceptual Change -- Optimization Technique...
Obter o texto integral
Recurso Electrónico livro electrónico