Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs foundations » program foundations, program foundation, programming foundations
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
foundations https » equations https
based https » based http
programs foundations » program foundations, program foundation, programming foundations
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
foundations https » equations https
based https » based http
1
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
2
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
3
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
4
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
5
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Published 2013
Table of Contents:
“...Pattern Graphs and Rule-Based Models: The Semantics of Kappa -- History-Register Automata -- Fatal...”View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“...-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification...”View full text
Electronic
eBook
7
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013...
Published 2014
Table of Contents:
“... Functional Programs over General Polymorphic Lists....”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Actions -- An AIF-Based Labeled Argumentation Framework -- On the Semantics of Partially Ordered Bases...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Equivalence under Answer-Set Semantics Based on Unfounded Sets -- An Alternative Foundation for DeLP...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- On the Existence of Armstrong Data Trees for XML Functional Dependencies -- Polymorphism in Datalog and Inheritance...”View full text
Electronic
eBook
11
Table of Contents:
“... Valued Functions of One Variable -- Continuity and Limits of Functions -- Various Important Classes...”
View full text
View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“..., and Backward-Chaining Evolutionary Algorithms -- A Schema-Based Version of Geiringer’s Theorem for Nonlinear...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... -- Axiomatising Functional Dependencies for XML with Frequencies -- Guarded Open Answer Set Programming...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“...REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... and Dissimilarities in Rules Using Multidimensional Scaling -- Learning Profiles Based on Hierarchical Hidden Markov...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... Programming with Jolie -- From Artifacts to Activities -- On the Composability of Semantic Web Service...”View full text
Electronic
eBook
19
Table of Contents:
“...-Based Standardized User Interface -- Browser-Based Intelligent Management Information System: Temporary...”
View full text
View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“...-Based Measurement Tools -- Reverse Engineering the Visual System Via Genetic Programs -- EEG-Based...”View full text
Electronic
eBook