1
Udgivet 2007
Indholdsfortegnelse: ... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...
Få fuldtekst
Electronisk eBog
2
Udgivet 2014
Indholdsfortegnelse: ... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...
Få fuldtekst
Electronisk eBog
3
af Jalote, Pankaj., Jalote, Pankaj.
Udgivet 2005
Indholdsfortegnelse: ...Software Engineering Challenges -- Software Processes and Process Models -- Project Management...
Få fuldtekst
Electronisk eBog
4
Udgivet 2008
Indholdsfortegnelse: ... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...
Få fuldtekst
Electronisk eBog
5
Udgivet 2008
Indholdsfortegnelse: ... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... Process Improvement: A Discussion and Strengthening Using the SPI Manifesto -- Integrated Design – A Set...
Få fuldtekst
Electronisk eBog
7
Udgivet 2006
Indholdsfortegnelse: ...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...
Få fuldtekst
Electronisk eBog
8
Udgivet 2005
Indholdsfortegnelse: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Få fuldtekst
Electronisk eBog
9
Indholdsfortegnelse: ... for the Order of Integration -- Further Considerations -- Cointegration -- Single-Equation Methods -- Multiple...
Få fuldtekst
Electronisk eBog
10
Udgivet 2010
Indholdsfortegnelse: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Få fuldtekst
Electronisk eBog
11
Udgivet 2006
Indholdsfortegnelse: ... -- Session 6 -- Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy...
Få fuldtekst
Electronisk eBog
12
Udgivet 2010
Indholdsfortegnelse: ... Emissions -- Coping with Uncertainty in Temporal Gene Expressions Using Symbolic Representations -- Olive...
Få fuldtekst
Electronisk eBog
13
Udgivet 2010
Indholdsfortegnelse: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Få fuldtekst
Electronisk eBog
14
Udgivet 2013
Indholdsfortegnelse: ... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...
Få fuldtekst
Electronisk eBog
15
Fag: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Få fuldtekst
Electronisk eBog
16
af Grout, Ian A., Grout, Ian A.
Udgivet 2006
Indholdsfortegnelse: ...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...
Få fuldtekst
Electronisk eBog
17
Udgivet 2010
Indholdsfortegnelse: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Få fuldtekst
Electronisk eBog
18
Udgivet 2010
Indholdsfortegnelse: ... and Decision Making -- Aggregation of Quasiconcave Functions -- Choquet Integral Models with a Constant...
Få fuldtekst
Electronisk eBog
19
Udgivet 2008
Indholdsfortegnelse: ... Sources -- Edible Coating as an Oil Barrier or Active System -- From Powders End Use Properties to Process...
Få fuldtekst
Electronisk eBog
20
Udgivet 2014
Indholdsfortegnelse: ... Attack -- A Formal Model for Attack Mutation Using Dynamic Description Logics -- Efficient Integrity...
Få fuldtekst
Electronisk eBog