Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
evaluating programming » computing programming, exploring programming
programming constructs » programming concepts, programming contest
integrated evaluating » integrated evaluation, integrals evaluating, internet evaluating
constructs https » construction https, constructs loops, constructs arti
programming programming » programming programmed, programming program
evaluating programming » computing programming, exploring programming
programming constructs » programming concepts, programming contest
integrated evaluating » integrated evaluation, integrals evaluating, internet evaluating
constructs https » construction https, constructs loops, constructs arti
1
Published 2010
Table of Contents:
“... Normalization by Evaluation for the ??-Calculus of Constructions -- Defunctionalized Interpreters for Call...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... into Isabelle -- Experimental Evaluation of Classical Automata Constructions -- Automatic Validation...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... P.A.T.H.S.:An integration of findings based on program implementers -- 11 Qualitative evaluation...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... of ?-Calculus Systems -- Easy Parameterized Verification of Biphase Mark and 8N1 Protocols -- Evaluating...”View full text
Electronic
eBook
6
Table of Contents:
“...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
View full text
View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Cardinality for Finite Fuzzy Sets -- Choquet-Integral-Based Evaluations by Fuzzy Rules: Methods for Developing...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“...Plenary Talks -- Supporting Participative Joint Decisions in Integrated Design and Manufacturing...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Workshop on Conceptual Modelling of Service (CMS 2010) -- Modeling Support for Service Integration -- A...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... of Situated Agents -- Evaluation of Agent–Oriented Software Methodologies – Examination of the Gap Between...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...: Preferences and Attitudes for Advanced Information Provision -- Annotations -- Integrating Keywords...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Hybrid Register File Architecture -- Model Based Performance Evaluation for MPI Programs -- Runtime...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Behavior for Reuse Evaluation -- Product Line -- Combining Different Product Line Models to Balance Needs...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Networks -- Construction of Minimum Connected Dominating Set in 3-Dimensional Wireless Network...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”View full text
Electronic
eBook