1
by Maes, Roel., Maes, Roel.
Published 2013
Table of Contents: ...Chap. 1 - Introduction and Preview -- Chap. 2 - Physically Unclonable Functions: Concept...
View full text
Electronic eBook
2
Published 2013
Subjects: ...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
3
by David, Francois., David, Francois.
Published 2015
Table of Contents: ... Quantum Formalism -- The Quantum Logic Formalism -- Information, Correlations, and more....
View full text
Electronic eBook
4
Published 2013
Table of Contents: ...Formal Grammar 2012 -- On IO-Copying and Mildly-Context Sensitive Formalisms -- The Distribution...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ...Formal models for software components and their interaction -- Formal aspects of services, service...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ...Taming Distributed System Complexity through Formal Patterns -- Composing Safe Systems -- A...
View full text
Electronic eBook
8
Published 2012
Subjects: ...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... -- Statistical Methods for Data Mining and Knowledge Discovery -- Regular Contributions -- Formal Concept...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... Lambda-Calculi for Formal Pragmatics -- 12. On the functions of the Japanese discourse particle yo...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... and Non-functional Requirements of Web Service Composition -- vTRUST: A Formal Modeling and Verification...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...
View full text
Electronic eBook
13
Published 2013
Subjects: ...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
14
Table of Contents: ... Communities and Resources -- Benchmarking of IT Projects -- The IFPUG Function Point Counting Method...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Function-Equivalent Components Based Simplification Technique for PEPA Models -- Functional Performance...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... -- A Formal Calculus for Informal Equality with Binding -- Formal Verification of an Optimal Air...
View full text
Electronic eBook