Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programs functionality » program functionality, programs functional, properties functionality
functionality security » functionality securing, functional security, functionality usability
processing java » processing japan, processing james, processing j
java programs » java programming
https » http
programs functionality » program functionality, programs functional, properties functionality
functionality security » functionality securing, functional security, functionality usability
processing java » processing japan, processing james, processing j
java programs » java programming
https » http
1
Argitaratua 2008
Aurkibidea:
“... of Credentials -- Software Security -- BinHunt: Automatically Finding Semantic Differences in Binary Programs...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Testu osoa
Baliabide elektronikoa
eBook
3
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Argitaratua 2005
Aurkibidea:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”Testu osoa
Baliabide elektronikoa
eBook
4
5
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Argitaratua 2007
Aurkibidea:
“... Based Security -- A Certified Lightweight Non-interference Java Bytecode Verifier -- Controlling...”Testu osoa
Baliabide elektronikoa
eBook
6
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Argitaratua 2010
Aurkibidea:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2014
Aurkibidea:
“... and VLSI Designs -- Information Security Best Practices -- Smart Card Security -- Graphics Processing Units...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2008
Aurkibidea:
“... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2010
Aurkibidea:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2008
Aurkibidea:
“... Drivers -- Verified Process-Context Switch for C-Programmed Kernels -- Paper from VSTTE 2005 -- Where...”Testu osoa
Baliabide elektronikoa
eBook
11
12
Argitaratua 2006
Aurkibidea:
“... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2005
Aurkibidea:
“... -- Here’s Your LegoTM Security Kit: How to Give Developers All Protection Mechanisms They Will Ever Need...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2008
Aurkibidea:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2014
Aurkibidea:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Testu osoa
Baliabide elektronikoa
eBook
16
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2010
Aurkibidea:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2007
Aurkibidea:
“... -- Personalized E-Learning Process Using Effective Assessment and Feedback -- Optimally Pricing European Options...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2010
Aurkibidea:
“... on Real Space and Digital Space Symbiosis -- Workshop on Information Retrieval, Security and Innovative...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2007
Aurkibidea:
“... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- Hurrengoa »
- [2]