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
https function » its function, sites function, ups function
function case » function based, function phase, function core
case https » care https, use https, change https
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 case » function based, function phase, function core
case https » care https, use https, change https
1
Published 2008
Table of Contents:
“... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...”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
Table of Contents:
“... and the Data Factory -- WPF and 3D -- DependencyProperties -- Case Study a: 3DImageProject -- Case Study B: 3...”
View full text
View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“...: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... of Human Activity -- Integration Use Cases – An Applied UML Technique for Modeling Functional Requirements...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... with Strategy Selection Using Case-Based Reasoning -- Formal and Experimental Foundations of a New Rank Quality...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Attacks with Misuse Case Maps -- Poster -- How Do Software Architects Consider Non-Functional Requirements...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... with Different Species -- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions -- Some...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... of Outerplanar Graphs of Bounded Degree -- Reductions to the Set of Random Strings: The Resource-Bounded Case...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Proofs -- Bringing Order to Special Cases of Klee’s Measure Problem -- Learning Reductions to Sparse Sets...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Hardcore Functions by Complexity-Theoretical Quantum List Decoding -- Foundations -- Efficient Pseudorandom...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... A1. Game Theory -- The Cooperative Game Theory Foundations of Network Bargaining Games...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
18
Table of Contents:
“...Overview of Object-Oriented Programming -- Designing OOP Solutions: Identifying the Class Structure...”
View full text
View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Foundation for Formal Specifications -- Automated Verification of Security Policies in Mobile Code -- Slicing...”View full text
Electronic
eBook
20
by Cowling, Michael., Cowling, Michael., Frenkel, Edward., Kashiwara, Masaki., Valette, Alain., Vogan, David A., Wallach, Nolan R.
Published 2008
Table of Contents:
“...) -- Ramifications of the Geometric Langlands Program -- Equivariant Derived Category and Representation of Real...”Published 2008
View full text
Electronic
eBook