Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function structures » functions structures, function structure, functional structures
program foundation » prosea foundation, program formulation, programming foundations
foundation https » foundations https, foundations http, function https
https function » its function, sites function, ups function
function structures » functions structures, function structure, functional structures
program foundation » prosea foundation, program formulation, programming foundations
foundation https » foundations https, foundations http, function https
https function » its function, sites function, ups function
1
Published 2007
Table of Contents:
“...Invited Talk -- Formal Foundations for Aspects -- Contributed Papers -- Sampled Universality...”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
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Published 2013
Table of Contents:
“... of Second-Order Functionals -- Deconstructing General References via Game Semantics -- Separation Logic...”View full text
Electronic
eBook
4
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
5
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
6
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... -- Generating Functions of Timed Languages -- The Robust Set Problem: Parameterized Complexity and Approximation...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... -- Meta-kernelization with Structural Parameters -- Polynomial Threshold Functions and Boolean Threshold...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...”View full text
Electronic
eBook
13
Table of Contents:
“... -- Structure of Convex Sets and Functions -- Separation of Convex Sets -- Convex Polyhedra -- Linear...”
View full text
View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Hardcore Functions by Complexity-Theoretical Quantum List Decoding -- Foundations -- Efficient Pseudorandom...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
17
Table of Contents:
“... -- Using Semantic, Structured HTML to Create Web Pages -- Essential CSS: What You Need to Know -- Using...”
View full text
View full text
Electronic
eBook
18
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
19
Published 2007
Table of Contents:
“...REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software...”View full text
Electronic
eBook
20
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