1
Julkaistu 2007
Sisällysluettelo: ... in a Heterogeneous Network of Computers -- Block-Based Allocation Algorithms for FLASH Memory...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2006
Sisällysluettelo: ... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2010
Sisällysluettelo: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2008
Sisällysluettelo: ... Recent Theory for Problem-Solving and Learning in Computers and People -- SOLERES-HCI: Modelling a Human...
Hae kokoteksti
Elektroninen E-kirja
5
Tekijä Burgin, Mark., Burgin, Mark.
Julkaistu 2012
Sisällysluettelo: ...-1. Introduction: How mathematicians solve ”unsolvable” problems.-2.  Hypernumbers(Definitions...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2006
Sisällysluettelo: ... of Personality-Based Agents -- GAPatrol: An Evolutionary Multiagent Approach for the Automatic Definition...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2006
Sisällysluettelo: ... Against Currently Used Hash Functions in RFID Protocols -- An Efficient ID-Based Delegation Network...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2008
Sisällysluettelo: ... with Problem-Based Learning -- Encouraging the Uptake of Formal Methods Training in an Industrial Context...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2006
Sisällysluettelo: ... -- Evolutionary Computation -- Global Convexity in the Bi-Criteria Traveling Salesman Problem -- Evolutionary...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2008
Sisällysluettelo: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2006
Sisällysluettelo: ... Combinatorial Optimization Problems Using Evolutionary Algorithms -- Regular Sessions: Computational Linguistics...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2010
Sisällysluettelo: ... Equations -- Fractional-Order Backward-Difference Definition Formula Analysis -- Fractional Differential...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2010
Sisällysluettelo: ...Keynote Presentations -- Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2015
Sisällysluettelo: ... to Implement FSMs in Heterogenous FPGAs -- Efficient Functional Decomposition Algorithm Based on Indexed...
Hae kokoteksti
Elektroninen E-kirja
15
Tekijä Smirnov, Vladimir A., Smirnov, Vladimir A.
Julkaistu 2006
Sisällysluettelo: ...Feynman Integrals: Basic Definitions and Tools -- Evaluating by Alpha and Feynman Parameters...
Hae kokoteksti
Elektroninen E-kirja
16
Tekijä Serletis, Apostolos., Serletis, Apostolos.
Julkaistu 2007
Sisällysluettelo: ... Demand -- Empirical Approaches to the Demand for Money -- Conventional Demand for Money Functions...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2006
Sisällysluettelo: ...: DEFINITIONS AND CURRENT TRENDS1 -- SECURITY AND THE ENVIRONMENT IN THE MIDDLE EAST WATER ISSUES -- POTENTIAL...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2011
Sisällysluettelo: ... Ontology Resources for Proteomic Studies -- Structure-Guided Rule-Based Annotation of Protein Functional...
Hae kokoteksti
Elektroninen E-kirja
19
Tekijä Nadkarni, Prakash M., Nadkarni, Prakash M.
Julkaistu 2011
Sisällysluettelo: ... an EMR and a CSDMS -- Essential elements of a CSDMS -- HTML-based vs. non-Web interfaces: pros and cons...
Hae kokoteksti
Elektroninen E-kirja
20
Sisällysluettelo: ... Characteristic Values and Functions -- 2.2 Comments on Systems -- 2.2.1 Definitions                -- 2.2.2...
Hae kokoteksti
Elektroninen E-kirja