Arama Sonuçları - programs cooperation https functioning using https

Şunu mu demek istediniz:
programs cooperation » programs comparative , program operations , programs operational
cooperation https » conservation https , computation https , cooperating http
https functioning » status functioning , its functioning , high functioning
functioning using » function using , functions using , functioning among
using https » using http , nursing https , aging https

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
Tam Metin Erişim

Elektronik Ekitap

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... A1. Game Theory -- The Cooperative Game Theory Foundations of Network Bargaining Games...”
Tam Metin Erişim

Elektronik Ekitap

Genetic Programming Theory and Practice X

Baskı/Yayın Bilgisi 2013

İçindekiler: “... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”
Tam Metin Erişim

Elektronik Ekitap

Genetic Programming Theory and Practice XI

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...”
Tam Metin Erişim

Elektronik Ekitap

Architecting Dependable Systems VII

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform -- 2. Architecting Systems...”
Tam Metin Erişim

Elektronik Ekitap

Convexity and Well-Posed Problems

Yazar: Lucchetti, Roberto., Lucchetti, Roberto.
Baskı/Yayın Bilgisi 2006

İçindekiler: “...Convex sets and convex functions: the fundamentals -- Continuity and ?(X) -- The derivatives...”
Tam Metin Erişim

Elektronik Ekitap

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata...”
Tam Metin Erişim

Elektronik Ekitap

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...-Balanced Semi-matchings for Weighted Bipartite Graphs -- Analyzing Chain Programs over Difference...”
Tam Metin Erişim

Elektronik Ekitap

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
Tam Metin Erişim

Elektronik Ekitap

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Specification and Verification of Institutions Through Status Functions -- NORMATIVE MODELS AND ISSUES...”
Tam Metin Erişim

Elektronik Ekitap

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...”
Tam Metin Erişim

Elektronik Ekitap

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
Tam Metin Erişim

Elektronik Ekitap

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Between Agent-Oriented Design and Implementation Using MDA -- A Design Process for Adaptive Behavior...”
Tam Metin Erişim

Elektronik Ekitap

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Space Reuse -- Optimization of Triangular Matrix Functions in BLAS Library on Loongson2F -- Exposing...”
Tam Metin Erişim

Elektronik Ekitap

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”
Tam Metin Erişim

Elektronik Ekitap

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... for Concurrent Objects with Cooperative Scheduling -- Fault Model Design Space for Cooperative Concurrency...”
Tam Metin Erişim

Elektronik Ekitap

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Tam Metin Erişim

Elektronik Ekitap

Analysis and Modeling of Complex Data in Behavioral and Social Sciences

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Aggregated Data using the Aggregate Association Index: Analysis of New Zealand Voter Turnout (1893 - 1919...”
Tam Metin Erişim

Elektronik Ekitap

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Ada...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Approximation -- Using Evolutionary Game-Theory to Analyse the Performance of Trading Strategies in a Continuous...”
Tam Metin Erişim

Elektronik Ekitap

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Using a Cooperative Solving Approach to Global Optimization Problems -- Global Optimization of Convex...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt