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
Julkaistu 2006
Sisällysluettelo: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
Hae kokoteksti
Elektroninen E-kirja
3
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
4
Tekijä Brainerd, Walter S., Brainerd, Walter S.
Julkaistu 2015
Sisällysluettelo: ...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...
Hae kokoteksti
Elektroninen E-kirja
5
Tekijä McLaughlin, Michael
Julkaistu 2014
Aiheet: ...PL/SQL (Computer program language)....
Kirja
6
Julkaistu 2010
Sisällysluettelo: ...Markowitz for the Masses: Portfolio Construction Techniques -- Markowitz for the Masses: The Risk...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2010
Sisällysluettelo: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2006
Sisällysluettelo: ... -- A COMPUTATIONAL METHOD FOR SOLVING CAUCHY PROBLEMS OF ELLIPTIC OPERATORS -- NUMERICAL DETERMINATION...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2006
Sisällysluettelo: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2012
Sisällysluettelo: ... and Random Intersection -- Regularity Problems for Weak Pushdown ω-Automata and Games -- Computational...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2014
Sisällysluettelo: ... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...
Hae kokoteksti
Elektroninen E-kirja
12
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
13
Julkaistu 2005
Sisällysluettelo: ... Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2010
Sisällysluettelo: ... Case Study of a Customer Satisfaction Problem: Bootstrap and Imputation Techniques -- Comparison...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2008
Sisällysluettelo: ...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2006
Sisällysluettelo: ... -- Intelligent Grids -- Programming and Process -- A Grid Software Process -- Grid Programming with Java, RMI...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2008
Sisällysluettelo: ... Use: Construction of Special University Timetables -- A Relation Algebraic Semantics for a Lazy...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2005
Sisällysluettelo: ... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2010
Sisällysluettelo: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2008
Sisällysluettelo: ...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...
Hae kokoteksti
Elektroninen E-kirja