1
Julkaistu 2012
Sisällysluettelo: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2015
Sisällysluettelo: ... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2010
Sisällysluettelo: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2006
Sisällysluettelo: ...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2008
Sisällysluettelo: ... Revision from Examples -- DL-FOIL Concept Learning in Description Logics -- Feature Discovery with Type...
Hae kokoteksti
Elektroninen E-kirja
6
Tekijä Raynal, Michel., Raynal, Michel.
Julkaistu 2013
Sisällysluettelo: ...Part I - Lock-Based Synchronization -- Chap. 1 - The Mutual Exclusion Problem -- Chap. 2 - Solving...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2010
Sisällysluettelo: ... and Simulation in Autonomous Mobile Robotics -- The Logical Process of Model-Based Reasoning -- Constructive...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2008
Sisällysluettelo: ... of Japanese Word Associations -- Construction of a Probabilistic Hierarchical Structure Based on a Japanese...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2015
Sisällysluettelo: ...Paraconsistent Logics: preamble -- Constructive Discursive Logic: Paraconsistency in Constructivism...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2010
Sisällysluettelo: ... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2006
Sisällysluettelo: ...-CONSTRAINED SCHEDULING PROBLEMS -- PARTICLE SWARM OPTIMIZATION METHOD USED IN PIXEL-BASED TEXTURE SYNTHESIS...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2005
Sisällysluettelo: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2007
Sisällysluettelo: ...-Learning Based on Rough Set -- Computational Sciences Learning Project for Pre-university Students -- A...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2006
Sisällysluettelo: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2010
Sisällysluettelo: ... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2014
Sisällysluettelo: ... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2012
Sisällysluettelo: ... and Random Intersection -- Regularity Problems for Weak Pushdown ω-Automata and Games -- Computational...
Hae kokoteksti
Elektroninen E-kirja
18
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
19
Julkaistu 2005
Sisällysluettelo: ... Intelligent Strategy Repository -- Effortless Construction and Management of Program Animations on the Web...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2008
Sisällysluettelo: ... Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming -- A...
Hae kokoteksti
Elektroninen E-kirja