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