1
Publicat 2011
Matèries: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Obtenir text complet
Electrònic eBook
2
Publicat 2007
Taula de continguts: ... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...
Obtenir text complet
Electrònic eBook
3
Publicat 2014
Taula de continguts: ... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...
Obtenir text complet
Electrònic eBook
4
per Jalote, Pankaj., Jalote, Pankaj.
Publicat 2005
Taula de continguts: ...Software Engineering Challenges -- Software Processes and Process Models -- Project Management...
Obtenir text complet
Electrònic eBook
5
Publicat 2008
Taula de continguts: ... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...
Obtenir text complet
Electrònic eBook
6
Publicat 2010
Taula de continguts: ... Process Improvement: A Discussion and Strengthening Using the SPI Manifesto -- Integrated Design – A Set...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...
Obtenir text complet
Electrònic eBook
8
Publicat 2006
Taula de continguts: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Obtenir text complet
Electrònic eBook
9
Publicat 2005
Taula de continguts: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Obtenir text complet
Electrònic eBook
10
per Hooker, John N., Hooker, John N.
Publicat 2007
Taula de continguts: ...Preface -- Introduction -- Search -- The solution process -- Branching search -- Constraint...
Obtenir text complet
Electrònic eBook
11
Publicat 2010
Taula de continguts: ... and Wireless Communication: A Real Time Study -- IMM-I46: Inter Mobility Management for an Integrated IPv4...
Obtenir text complet
Electrònic eBook
12
Publicat 2007
Taula de continguts: ... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...
Obtenir text complet
Electrònic eBook
13
Publicat 2006
Taula de continguts: ...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...
Obtenir text complet
Electrònic eBook
14
Publicat 2007
Taula de continguts: ... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...
Obtenir text complet
Electrònic eBook
15
Publicat 2010
Taula de continguts: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Obtenir text complet
Electrònic eBook
16
Publicat 2010
Taula de continguts: ... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...
Obtenir text complet
Electrònic eBook
17
Publicat 2013
Taula de continguts: ... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...
Obtenir text complet
Electrònic eBook
18
per Pfaff, Bernhard., Pfaff, Bernhard.
Publicat 2008
Taula de continguts: ... for the Order of Integration -- Further Considerations -- Cointegration -- Single-Equation Methods -- Multiple...
Obtenir text complet
Electrònic eBook
19
Publicat 2010
Taula de continguts: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Obtenir text complet
Electrònic eBook
20
per Grout, Ian A., Grout, Ian A.
Publicat 2006
Taula de continguts: ...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...
Obtenir text complet
Electrònic eBook