Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
programs developing » projects developing, program development, process developing
developing smart » developing smarter, developing heart, developing short
function method » detection method, selection method
method programs » methods program, method progress, method programmed
smart https » smart http, sport https, smart hotels
programs developing » projects developing, program development, process developing
developing smart » developing smarter, developing heart, developing short
function method » detection method, selection method
method programs » methods program, method progress, method programmed
smart https » smart http, sport https, smart hotels
1
Έκδοση 2007
Πίνακας περιεχομένων:
“... Queries -- Qualitative Probabilistic Modelling in Event-B -- Verifying Smart Card Applications: An ASM...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Έκδοση 2008
Πίνακας περιεχομένων:
“... for Superconducting Spintronics -- Amorphous Chalcogenide Materials with Smart Memory -- Magnetic Refrigeration...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Έκδοση 2010
Πίνακας περιεχομένων:
“...New Challenges in the Development of Critical Embedded Systems – An “aeromotive” Perspective -- New...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Έκδοση 2014
Πίνακας περιεχομένων:
“... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Έκδοση 2014
Πίνακας περιεχομένων:
“... Assistant Program -- Computational Tools for Designing Smart Libraries -- Computational Tools for Directed...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Έκδοση 2006
Πίνακας περιεχομένων:
“... Development Beyond Programming....”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
ανά Kangas, Annika., Kangas, Annika., Kurttila, Mikko., Hujala, Teppo., Eyvindson, Kyle., Kangas, Jyrki.
Έκδοση 2015
Πίνακας περιεχομένων:
“... Programming and its Extensions in Forest Planning -- 7. Heuristic Optimisation -- 8. Uncertainty...”Έκδοση 2015
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Έκδοση 2005
Πίνακας περιεχομένων:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Έκδοση 2008
Πίνακας περιεχομένων:
“... for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Έκδοση 2010
Πίνακας περιεχομένων:
“... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Έκδοση 2005
Πίνακας περιεχομένων:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
12
Έκδοση 2010
Πίνακας περιεχομένων:
“... for Efficient Development of Task-Based Applications -- Towards an Integrated Model for Functional and User...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
13
Έκδοση 2010
Πίνακας περιεχομένων:
“... -- Deriving Safety Cases for Hierarchical Structure in Model-Based Development -- Assurance of Automotive...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
14
Έκδοση 2010
Πίνακας περιεχομένων:
“... Control -- Termination of Loop Programs with Polynomial Guards -- Development of Web Based Management...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
15
Έκδοση 2014
Πίνακας περιεχομένων:
“...Secure Text Steganography -- Policy Based Energy Management in Smart Homes -- Saturation Throughput...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
16
Έκδοση 2006
Πίνακας περιεχομένων:
“...1: Research Track Full Papers -- Requirements and Method for Assessment of Service Interoperability...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
17
Έκδοση 2005
Πίνακας περιεχομένων:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
18
Έκδοση 2007
Πίνακας περιεχομένων:
“... -- Agile Software Development -- On the Effects of Pair Programming on Thoroughness and Fault-Finding...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
19
Έκδοση 2007
Πίνακας περιεχομένων:
“...Formal Methods in Usability Engineering -- User-Centered Methods Are Insufficient for Safety...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
20
Έκδοση 2008
Πίνακας περιεχομένων:
“... Development -- Short Papers -- Smart communications network management through a synthesis of distributed...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο