1
Được phát hành 2010
Mục lục: ... -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a...
lấy văn bản
Điện tử eBook
2
Được phát hành 2007
Mục lục: ...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...
lấy văn bản
Điện tử eBook
3
Bằng Smith, Joshua B., Smith, Joshua B.
Được phát hành 2007
Mục lục: ... -- Understanding Functions -- Practical: Creating a Simple Database -- Primitive and Composite Types -- Practical...
lấy văn bản
Điện tử eBook
4
Được phát hành 2010
Mục lục: ... Models and Compositional Models -- Bayesian Networks vs. Evidential Networks: An Application to Convoy...
lấy văn bản
Điện tử eBook
5
Được phát hành 2008
Mục lục: ... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...
lấy văn bản
Điện tử eBook
6
Bằng Feeman, Timothy G., Feeman, Timothy G.
Được phát hành 2015
Những chủ đề: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
lấy văn bản
Điện tử eBook
7
Được phát hành 2008
Mục lục: ... Systems -- Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages...
lấy văn bản
Điện tử eBook
8
Được phát hành 2005
Mục lục: ...-Reliable MANET Protocols -- REGULAR PAPERS -- A Composition Operator for Systems with Active and Passive...
lấy văn bản
Điện tử eBook
9
Được phát hành 2014
Mục lục: ...Laws of Programming: The Algebraic Unification of Theories of Concurrency -- The Benefits...
lấy văn bản
Điện tử eBook
10
Được phát hành 2006
Mục lục: ... -- A Compositional Framework for Real-Time Guarantees -- Validation of Component and Service...
lấy văn bản
Điện tử eBook
11
Được phát hành 2008
Mục lục: ... Representation Languages and Reasoning Engines -- On Extending RuleML for Modal Defeasible Logic -- Adding...
lấy văn bản
Điện tử eBook
12
Được phát hành 2010
Mục lục: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
lấy văn bản
Điện tử eBook
13
Được phát hành 2007
Mục lục: ... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...
lấy văn bản
Điện tử eBook
14
Được phát hành 2007
Mục lục: ... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...
lấy văn bản
Điện tử eBook
15
Được phát hành 2010
Mục lục: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
lấy văn bản
Điện tử eBook
16
Được phát hành 2006
Mục lục: ... Solutions -- Towards Adaptive Management of QoS-Aware Service CompositionsFunctional Architecture....
lấy văn bản
Điện tử eBook
17
Được phát hành 2007
Mục lục: ... Deposition in Europe and the Cause of Non-linearities -- Trends in Chemical Composition of Wet-only...
lấy văn bản
Điện tử eBook
18
Được phát hành 2006
Mục lục: ... Key Generation for Multi-layer Ad-Hoc Networks -- Enabling Secure Discovery in a Pervasive Environment...
lấy văn bản
Điện tử eBook
19
Được phát hành 2008
Mục lục: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
lấy văn bản
Điện tử eBook
20
Được phát hành 2010
Mục lục: ... for Vehicular Ad-Hoc Networks -- WiMAX Network Planning Using Adaptive-Population-Size Genetic Algorithm...
lấy văn bản
Điện tử eBook