Rekommenderade teman
Rekommenderade teman
Menade du:
https functionalities » gps functionalities, dys functionalities, systems functionalities
functionalities based » functionality based, functionalities inside, functionalities ce
programs foundations » program foundations, program foundation, programming foundations
foundations https » equations https
based https » based http
https functionalities » gps functionalities, dys functionalities, systems functionalities
functionalities based » functionality based, functionalities inside, functionalities ce
programs foundations » program foundations, program foundation, programming foundations
foundations https » equations https
based https » based http
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
Hämta fulltext
Elektronisk
E-bok
3
Ämnen:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
4
Ämnen:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
5
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
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
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013...
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
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
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



