1
Published 2008
Table of Contents: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
View full text
Electronic eBook
2
by Townsend, RJ., Townsend, RJ.
Published 2010
Table of Contents: ...An Overview of Drupal -- Setting Up a Web Host and Installing Drupal -- Configuring a Basic Drupal...
View full text
Electronic eBook
3
Table of Contents: ...Setting Up the WPF Development Environment -- The WPF/Blend Workflow and Your First WPF Application...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ...Invited Talk -- Formal Foundations for Aspects -- Contributed Papers -- Sampled Universality...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ...Invited Papers -- Rough Sets and Flow Graphs -- A Modal Characterization of Indiscernibility...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Directions in the KES Centre -- Logical and Mathematical Foundations -- On Irreducible Descriptive Sets...
View full text
Electronic eBook
8
by Güler, Osman., Güler, Osman.
Published 2010
Table of Contents: ... -- Structure of Convex Sets and Functions -- Separation of Convex Sets -- Convex Polyhedra -- Linear...
View full text
Electronic eBook
9
Table of Contents: ...Lyapunov and Lyapunov-like functions -- Convex sets and their representation -- Invariant sets...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... of Second-Order Functionals -- Deconstructing General References via Game Semantics -- Separation Logic...
View full text
Electronic eBook
11
Table of Contents: ...Preface -- Introduction -- Lyapunov and Lyapunov-like Function -- Convex Sets...
View full text
Electronic eBook
12
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
13
Table of Contents: ... -- Infinite Sequences II -- Infinite Sequences III -- Rudiments of Infinite Series -- Countable Sets -- Real...
View full text
Electronic eBook
14
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Genetic Programming with Homologous Crossover -- Coarse Graining Selection and Mutation -- Perturbation...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... on Discernibility Matrix -- Near Sets. Toward Approximation Space-Based Object Recognition -- Rough Set Foundations...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... -- The Structure of Oppositions in Rough Set Theory and Formal Concept Analysis - Toward a New Bridge between...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Equivalence under Answer-Set Semantics Based on Unfounded Sets -- An Alternative Foundation for DeLP...
View full text
Electronic eBook
20
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