1
Taula de continguts: ... Adapters -- Part IV Orchestrations -- Services and SOA -- Orchestration Flow -- Advanced Constructs...
Obtenir text complet
Electrònic eBook
2
Publicat 2013
Matèries: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
3
Publicat 2005
Taula de continguts: ... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...
Obtenir text complet
Electrònic eBook
4
Publicat 2013
Taula de continguts: ... Checker for C -- Intertwined Forward-Backward Reachability Analysis Using Interpolants -- An Integrated...
Obtenir text complet
Electrònic eBook
5
Publicat 2014
Taula de continguts: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
Obtenir text complet
Electrònic eBook
6
Publicat 2005
Taula de continguts: ... -- Complementation Constructions for Nondeterministic Automata on Infinite Words -- Using BDDs to Decide CTL...
Obtenir text complet
Electrònic eBook
7
Publicat 2006
Taula de continguts: ... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...
Obtenir text complet
Electrònic eBook
8
Publicat 2006
Taula de continguts: ... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...
Obtenir text complet
Electrònic eBook
9
Taula de continguts: ...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...
Obtenir text complet
Electrònic eBook
10
Publicat 2010
Taula de continguts: ... -- Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements -- Early...
Obtenir text complet
Electrònic eBook
11
per Thomas, Adrian., Thomas, Adrian.
Publicat 2008
Taula de continguts: ...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...
Obtenir text complet
Electrònic eBook
12
Publicat 2008
Taula de continguts: ... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...
Obtenir text complet
Electrònic eBook
13
Publicat 2010
Taula de continguts: ... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...
Obtenir text complet
Electrònic eBook
14
Publicat 2013
Taula de continguts: ... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...
Obtenir text complet
Electrònic eBook
15
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
16
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
17
Publicat 2007
Taula de continguts: ... Crunchy Stuff -- New Architectures and Experience on Using Systems -- Automatically Constructing a...
Obtenir text complet
Electrònic eBook
18
Publicat 2010
Taula de continguts: ...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...
Obtenir text complet
Electrònic eBook
19
Publicat 2014
Taula de continguts: ...: Calibrating a Camera Using Multi-rectangle Constructed by Mark Lines in Traffic Road -- A Multi-instance Multi...
Obtenir text complet
Electrònic eBook
20
Publicat 2010
Taula de continguts: ... and a Use Case -- Integrating Users in Object-Aware Process Management Systems: Issues and Challenges...
Obtenir text complet
Electrònic eBook