1
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
2
Baskı/Yayın Bilgisi 2010
İçindekiler: ... A1. Game Theory -- The Cooperative Game Theory Foundations of Network Bargaining Games...
Tam Metin Erişim
Elektronik Ekitap
3
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
4
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
5
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
6
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
7
Baskı/Yayın Bilgisi 2007
İçindekiler: ... -- Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2006
İçindekiler: ...-Balanced Semi-matchings for Weighted Bipartite Graphs -- Analyzing Chain Programs over Difference...
Tam Metin Erişim
Elektronik Ekitap
9
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
10
Baskı/Yayın Bilgisi 2007
İçindekiler: ... -- Specification and Verification of Institutions Through Status Functions -- NORMATIVE MODELS AND ISSUES...
Tam Metin Erişim
Elektronik Ekitap
11
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
12
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
13
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
14
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
15
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
16
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
17
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
18
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
19
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
20
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