Результаты поиска - processing java programming functionality securing https

1

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings /

Опубликовано 2008

Оглавление: “... of Credentials -- Software Security -- BinHunt: Automatically Finding Semantic Differences in Binary Programs...”
Полный текст

Электронный ресурс eКнига

2

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Опубликовано 2010

Оглавление: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Полный текст

Электронный ресурс eКнига

3

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Опубликовано 2005

Оглавление: “...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”
Полный текст

Электронный ресурс eКнига

4

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Опубликовано 2007

Оглавление: “... Based Security -- A Certified Lightweight Non-interference Java Bytecode Verifier -- Controlling...”
Полный текст

Электронный ресурс eКнига

5

Pro Spring Batch

по Minella, Michael., Minella, Michael.
Опубликовано 2011

Предметы: “...Java (Computer program language)....”
Полный текст

Электронный ресурс eКнига

6

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Опубликовано 2010

Оглавление: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
Полный текст

Электронный ресурс eКнига

7

Secure Smart Embedded Devices, Platforms and Applications

Опубликовано 2014

Оглавление: “... and VLSI Designs -- Information Security Best Practices -- Smart Card Security -- Graphics Processing Units...”
Полный текст

Электронный ресурс eКнига

8

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Опубликовано 2008

Оглавление: “... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”
Полный текст

Электронный ресурс eКнига

9

Foundation Drupal 7 Learn How to Use the Drupal Framework to Quickly Build Feature-rich Websites /

по Townsend, RJ., Townsend, RJ.
Опубликовано 2010

Оглавление: “... to Drupal Functionality....”
Полный текст

Электронный ресурс eКнига

10

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Опубликовано 2006

Оглавление: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
Полный текст

Электронный ресурс eКнига

11

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Опубликовано 2010

Оглавление: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
Полный текст

Электронный ресурс eКнига

12

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /

Опубликовано 2008

Оглавление: “... Drivers -- Verified Process-Context Switch for C-Programmed Kernels -- Paper from VSTTE 2005 -- Where...”
Полный текст

Электронный ресурс eКнига

13

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers /

Опубликовано 2005

Оглавление: “... -- Here’s Your LegoTM Security Kit: How to Give Developers All Protection Mechanisms They Will Ever Need...”
Полный текст

Электронный ресурс eКнига

14

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Опубликовано 2008

Оглавление: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
Полный текст

Электронный ресурс eКнига

15

Develop on Yammer Social Integration for Modern Business Applications /

по Rawal, Pathik., Rawal, Pathik., Rohilla, Pryank.
Опубликовано 2015

Предметы: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Полный текст

Электронный ресурс eКнига

16

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Опубликовано 2014

Оглавление: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Полный текст

Электронный ресурс eКнига

17

Advanced Techniques in Computing Sciences and Software Engineering

Опубликовано 2010

Оглавление: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Полный текст

Электронный ресурс eКнига

18

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Опубликовано 2010

Оглавление: “... on Real Space and Digital Space Symbiosis -- Workshop on Information Retrieval, Security and Innovative...”
Полный текст

Электронный ресурс eКнига

19

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Опубликовано 2007

Оглавление: “... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”
Полный текст

Электронный ресурс eКнига

20

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

Опубликовано 2007

Оглавление: “... -- Personalized E-Learning Process Using Effective Assessment and Feedback -- Optimally Pricing European Options...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска