1
Izdano 2006
Kazalo: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Polni tekst
Elektronski eKnjiga
2
Izdano 2008
Kazalo: ... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...
Polni tekst
Elektronski eKnjiga
3
Izdano 2010
Kazalo: ... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...
Polni tekst
Elektronski eKnjiga
4
Izdano 2005
Kazalo: ... Constraint Programming -- The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event...
Polni tekst
Elektronski eKnjiga
5
Izdano 2008
Kazalo: ... -- Practical Conflict Resolution for the Composition of Program Transformations....
Polni tekst
Elektronski eKnjiga
6
Izdano 2014
Kazalo: ... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...
Polni tekst
Elektronski eKnjiga
7
Izdano 2005
Kazalo: ... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...
Polni tekst
Elektronski eKnjiga
8
Izdano 2010
Kazalo: ...Evaluation of Novel Approaches to Software Engineering 2008 -- Measuring Characteristics of Models...
Polni tekst
Elektronski eKnjiga
9
Izdano 2014
Kazalo: ...Keynote Presentations -- Quantitative Evaluation of Service Dependability in Shared Execution...
Polni tekst
Elektronski eKnjiga
10
Izdano 2013
Kazalo: ...A Fine-Grained, Customizable Debugger for Aspect-Oriented Programming -- Two-Way Traceability...
Polni tekst
Elektronski eKnjiga
11
Izdano 2015
Teme: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Polni tekst
Elektronski eKnjiga
12
Izdano 2014
Kazalo: ...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...
Polni tekst
Elektronski eKnjiga
13
Izdano 2005
Kazalo: ... -- Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations -- Optimizing...
Polni tekst
Elektronski eKnjiga
14
Izdano 2005
Kazalo: ... Composites -- Chemical Vapor Infiltrated SiC/SiC Composites (CVI SiC/SiC) -- SiC/SiC Composites for 1200°C...
Polni tekst
Elektronski eKnjiga
15
Izdano 2008
Kazalo: ... Compositions through Probabilistic Model Checking -- Models and Prediction -- Model-Driven Performance Analysis...
Polni tekst
Elektronski eKnjiga
16
Izdano 2010
Kazalo: ... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...
Polni tekst
Elektronski eKnjiga
17
Izdano 2010
Kazalo: ... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...
Polni tekst
Elektronski eKnjiga
18
Izdano 2010
Kazalo: ... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...
Polni tekst
Elektronski eKnjiga
19
Izdano 2007
Kazalo: ...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...
Polni tekst
Elektronski eKnjiga
20
Izdano 2010
Kazalo: ... of Networked Software -- Clara: Partially Evaluating Runtime Monitors at Compile Time -- You Should Better...
Polni tekst
Elektronski eKnjiga