Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function structure » functional structure, functional structures, functional structural
program section » program execution, program collection, program security
structure https » structures https
https function » its function, sites function, ups function
section https » sedation https, fiction https, infection https
function structure » functional structure, functional structures, functional structural
program section » program execution, program collection, program security
structure https » structures https
https function » its function, sites function, ups function
section https » sedation https, fiction https, infection https
1
Published 2012
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
5
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
6
Published 2013
Table of Contents:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures (D. Bartosova...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
10
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...-Programming in a Mature Agile Team -- Conceptual Models of Agility -- Just Enough Structure at the Edge...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“...: Rethinking the Lean Concept of ‘Waste’ in Modern Software Development -- Examining the Structure of Lean...”View full text
Electronic
eBook
13
Table of Contents:
“... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
View full text
View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Parity Games: Complexity and Robustness -- On Scheduling Policies for Streams of Structured Jobs...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Hash Function Designs -- The Hash Function Family LAKE -- SWIFFT: A Modest Proposal for FFT Hashing...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”View full text
Electronic
eBook
19
by Lindley, Cody., Lindley, Cody., Potts, Kevin., Sable, Robert., Smith, Roderick., Fredborg, Mary.
Published 2007
Table of Contents:
“... -- Creating The Content:Categories and Articles -- Customizing The Presentation: Sections, Pages, Forms...”Published 2007
View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Event-Based Fairness Enhanced Systems -- Modelling and Proof of a Tree-Structured File System in Event-B...”View full text
Electronic
eBook