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



