Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program foundation » prosea foundation, program formulation, programming foundations
foundation https » foundations https, foundations http, function https
function control » functions control, junction control, functional control
https function » its function, sites function, ups function
program foundation » prosea foundation, program formulation, programming foundations
foundation https » foundations https, foundations http, function https
function control » functions control, junction control, functional control
https function » its function, sites function, ups function
1
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
2
Table of Contents:
“...Chap. 1, Memory: The Stack -- Chap. 2, Control -- Chap. 3, Arrays and Strings -- Chap. 4, Debugging...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“... Easier -- Introducing Client Controls in Atlas -- Using Client Controls in Atlas -- Introducing Server...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“... -- Structure of Convex Sets and Functions -- Separation of Convex Sets -- Convex Polyhedra -- Linear...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“... -- ControlTemplates, Styles, and Custom UserControls -- Events and EventhHandlers -- ObservableCollections...”
View full text
View full text
Electronic
eBook
6
Table of Contents:
“...What Is Agile Development? -- The IDE: Eclipsing the Command Line -- Revision Control: Subverting...”
View full text
View full text
Electronic
eBook
7
Table of Contents:
“... for extProlog -- extProlog as Logic Programming Language -- Implementation of extProlog....”
View full text
View full text
Electronic
eBook
8
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
9
Table of Contents:
“... JavaScript Easier -- ASP.NET AJAX Client Libraries -- Introducing Server Controls in ASP.NET AJAX -- Using...”
View full text
View full text
Electronic
eBook
10
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
11
Published 2010
Table of Contents:
“... Probabilistic Logics -- Theoretical Foundations for Enabling a Web of Knowledge -- Towards Controlled Query...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Home Simulation and Control -- Aggregates and Preferences in Logic Programming -- The Chisholm Paradox...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...-Infrared Imaging (fNIR) Controlled Brain-Computer Interfaces -- A Sensor Positioning System for Functional...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... -- Axiomatising Functional Dependencies for XML with Frequencies -- Guarded Open Answer Set Programming...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... of Rewrite Systems for Polytime Functions -- On the Controller Synthesis for Finite-State Markov Decision...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”View full text
Electronic
eBook
17
Table of Contents:
“... Events -- Classic Controls -- Windows -- Pages and Navigation -- Commands -- Resources -- Styles...”
View full text
View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
19
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While Programs...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Hardcore Functions by Complexity-Theoretical Quantum List Decoding -- Foundations -- Efficient Pseudorandom...”View full text
Electronic
eBook