1
Publicerad 2008
Innehållsförteckning: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Hämta fulltext
Elektronisk E-bok
2
Ämnen: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Hämta fulltext
Elektronisk E-bok
3
Ämnen: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Hämta fulltext
Elektronisk E-bok
4
av Gaudioso, Victor., Gaudioso, Victor.
Publicerad 2008
Ämnen: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2013
Innehållsförteckning: ...Pattern Graphs and Rule-Based Models: The Semantics of Kappa -- History-Register Automata -- Fatal...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2012
Innehållsförteckning: ...-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2014
Innehållsförteckning: ... Functional Programs over General Polymorphic Lists....
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2014
Innehållsförteckning: ... Actions -- An AIF-Based Labeled Argumentation Framework -- On the Semantics of Partially Ordered Bases...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2008
Innehållsförteckning: ... Equivalence under Answer-Set Semantics Based on Unfounded Sets -- An Alternative Foundation for DeLP...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2010
Innehållsförteckning: ... -- On the Existence of Armstrong Data Trees for XML Functional Dependencies -- Polymorphism in Datalog and Inheritance...
Hämta fulltext
Elektronisk E-bok
11
Innehållsförteckning: ... Valued Functions of One Variable -- Continuity and Limits of Functions -- Various Important Classes...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2005
Innehållsförteckning: ..., and Backward-Chaining Evolutionary Algorithms -- A Schema-Based Version of Geiringer’s Theorem for Nonlinear...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2008
Innehållsförteckning: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2005
Innehållsförteckning: ... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2006
Innehållsförteckning: ... -- Axiomatising Functional Dependencies for XML with Frequencies -- Guarded Open Answer Set Programming...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2007
Innehållsförteckning: ...REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2005
Innehållsförteckning: ... and Dissimilarities in Rules Using Multidimensional Scaling -- Learning Profiles Based on Hierarchical Hidden Markov...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2014
Innehållsförteckning: ... Programming with Jolie -- From Artifacts to Activities -- On the Composability of Semantic Web Service...
Hämta fulltext
Elektronisk E-bok
19
Innehållsförteckning: ...-Based Standardized User Interface -- Browser-Based Intelligent Management Information System: Temporary...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2007
Innehållsförteckning: ...-Based Measurement Tools -- Reverse Engineering the Visual System Via Genetic Programs -- EEG-Based...
Hämta fulltext
Elektronisk E-bok