Kết quả tìm kiếm - program composition https functionality adding https*

Tìm kiếm thay thế:
functionality adding » functionality using , functionality amino , functionality setting
program composition » process composition , protein composition , proximate composition
https functionality » its functionality , bags functionality , cross functionality
composition https » computation https , composition haptics , cognition https
adding https » aging https , auditing https , banking https

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Đượ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

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Đượ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

Practical OCaml

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Đượ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

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Đượ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

The Mathematics of Medical Imaging A Beginner’s Guide /

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

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice o...

Đượ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

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /

Đượ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

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

Đượ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

Automotive Software-Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers /

Đượ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

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings /

Đượ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

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Đượ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

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Đượ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

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Đượ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

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

Đượ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

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

Được phát hành 2006

Mục lục: “... Solutions -- Towards Adaptive Management of QoS-Aware Service Compositions – Functional Architecture....”
lấy văn bản

Điện tử eBook

Acid Rain - Deposition to Recovery

Đượ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

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings /

Đượ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

Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Pr...

Đượ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

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I...

Đượ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

Tìm kiếm hẹp