Αποτελέσματα αναζήτησης - interfaces component programming program abstract attacks

Εναλλακτικές αναζητήσεις:
component programming » computer programming , computers programming , computing programming
interfaces component » interface components , interfaces computer , interfaces content
programming program » programming programmed , programming problem , programming problems
program abstract » program abstracts , programs abstract , program abstrak
abstract attacks » abstract traces , abstract trace , abstract aspects

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Έκδοση 2010

Πίνακας περιεχομένων: “... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Multi-Agent Systems and Applications V 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proce...

Έκδοση 2007

Πίνακας περιεχομένων: “...Full Papers -- A Multi-agent Approach for Range Image Segmentation -- Abstractions of Multi-agent...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... Verification of a Type Flaw Attack on a Security Protocol Using Object-Z -- Using B as a High Level Programming...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Έκδοση 2007

Πίνακας περιεχομένων: “... Architecture -- An Embedded Integration Prototyping System Based on Component Technique -- Ubiquitous Computing...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης