Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programming security » programming secrets, programming secure, programming recursion
security programs » security program, security problems, security programming
https » http
programming security » programming secrets, programming secure, programming recursion
security programs » security program, security problems, security programming
https » http
1
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Опубликовано 2008
Оглавление:
“... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”Полный текст
Электронный ресурс
eКнига
2
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Опубликовано 2010
Оглавление:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Полный текст
Электронный ресурс
eКнига
3
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Опубликовано 2014
Оглавление:
“...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2008
Оглавление:
“... 3. Proof-Theory 1 -- From One Session to Many: Dynamic Tags for Security Protocols -- A Conditional...”Полный текст
Электронный ресурс
eКнига
5
Предметы:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Полный текст
Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2015
Оглавление:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2013
Оглавление:
“... and Food Markets, Policies and Programs—Walter J. Armbruster, President Emeritus, Farm Foundation...”Полный текст
Электронный ресурс
eКнига
8
Оглавление:
“... Protocol Security. Summary -- Bioinformatics Applications. Introduction. Applications. Dynamic Programming...”
Полный текст
Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2005
Оглавление:
“... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2008
Оглавление:
“... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2006
Оглавление:
“... Synthesis of Fault-Tolerant Real-Time Programs -- Toward a Time-Optimal Odd Phase Clock Unison in Trees...”Полный текст
Электронный ресурс
eКнига
12
Оглавление:
“... -- Templating with Smarty -- Web Services -- Secure PHP Programming -- SQLite -- Introducing PDO -- Introducing...”
Полный текст
Полный текст
Электронный ресурс
eКнига
13
Оглавление:
“... Services -- Secure PHP Programming -- SQLite -- Introducing PDO -- Building Web Sites for the World -- MVC...”
Полный текст
Полный текст
Электронный ресурс
eКнига
14
Оглавление:
“...Introducing PHP -- Configuring Your Environment -- PHP Basics -- Functions -- Arrays -- Object...”
Полный текст
Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2014
Оглавление:
“... -- ELM based ensemble classifier for Gas Sensor Array Drift Dataset -- Hippocampus Atrophy Detection...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2015
Оглавление:
“... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2005
Оглавление:
“... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2008
Оглавление:
“... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”Полный текст
Электронный ресурс
eКнига
19
Оглавление:
“... -- Templating with Smarty -- Web Services -- Secure PHP Programming -- SQLite -- Introducing PDO -- Introducing...”
Полный текст
Полный текст
Электронный ресурс
eКнига
20
Оглавление:
“... Services -- Secure PHP Programming -- SQLite -- Building Web Sites for the World -- MVC and the Zend...”
Полный текст
Полный текст
Электронный ресурс
eКнига
- 1
- 2
- 3
- 4
- Следующий »
- [4]