| Issue | Title | |
| Vol 44, No 4 (2020) | Formal Verification Issues For Component-Based Development | Abstract PDF |
| Mehdi Hariati | ||
| Vol 45, No 3 (2021) | Formal Verification of Emergent Properties | Abstract PDF |
| Kamal Boumaza, Cherif Tolba, Iulian Ober | ||
| Vol 45, No 4 (2021) | Formal verification of pipelined cryptographic circuits: A functional approach | Abstract PDF |
| Abir Bitat, Salah Merniz | ||
| Vol 48, No 10 (2024): Online-only issue | Formation Control Algorithm for Multiple Mobile Robots BasedonFuzzy Mathematics | Abstract PDF |
| Bingqian Fan | ||
| Vol 37, No 4 (2013) | Frequent Spatiotemporal Association Patterns Mining Based on Granular Computing | Abstract PDF |
| G. Fang, Y. Wu | ||
| Vol 29, No 4 (2005) | From Basic Agent Behavior to Strategic Patterns in a Robotic Soccer Domain | Abstract PDF |
| A. Bežek, M. Gams | ||
| Vol 38, No 1 (2014) | From Qualitative to Quantitative Evaluation Methods in Multi-criteria Decision Models | Abstract PDF |
| B.M. Boshkoska | ||
| Vol 40, No 1 (2016) | Front cover | Abstract PDF |
| Drago Torkar | ||
| Vol 40, No 2 (2016) | Front cover | Details PDF |
| Drago Torkar | ||
| Vol 40, No 3 (2016) | Front cover | Details PDF |
| Drago Torkar | ||
| Vol 40, No 4 (2016) | Front cover | Details PDF |
| Drago Torkar | ||
| Vol 41, No 1 (2017) | FRONT COVER | Details PDF |
| Drago Torkar | ||
| Vol 41, No 2 (2017) | FRONT COVER | Details PDF |
| Drago Torkar | ||
| Vol 41, No 3 (2017) | Front cover | Details PDF |
| Drago Torkar | ||
| Vol 41, No 4 (2017) | Front page | Details PDF |
| Drago Torkar | ||
| Vol 42, No 1 (2018) | Front page | Details PDF |
| Drago Torkar | ||
| Vol 43, No 1 (2019) | Front page | Details PDF |
| Drago Torkar | ||
| Vol 40, No 2 (2016) | FuAGGE: A Novel System to Automatically Generate Fuzzy Rule Based Learners | Abstract PDF |
| Romaissaa Mazouni, Abdellatif Rahmoun, Eric Hervet | ||
| Vol 30, No 4 (2006) | Fully Automatic Assessment of Speech of Children with Cleft Lip and Palate | Abstract PDF |
| A. Maier, E. Nöth, A. Batliner, E. Nkenke, M. Schuster | ||
| Vol 49, No 12 (2025): Online-only issue | Fusion CNN-Transformer Model for Target Counting in Complex Scenarios | Abstract PDF |
| Xingyuan He, Ruiying Wang, Ting Cao, Weiyu Liang, Yimin Fan | ||
| Vol 49, No 3 (2025) | Fusion of Convolutional Architecture and Transformer Models for Enhanced Brain Tumor Classification | Abstract PDF |
| Sabitha V, Jagannath Nayak, P Ramana Reddy | ||
| Vol 49, No 16 (2025): Online-only issue | Fusion of Deep Convolutional Neural Networks and Brain Visual Cognition for Enhanced Image Classification | Abstract PDF |
| Xintao Li, Hongyan Guo | ||
| Vol 49, No 8 (2025): Online-only issue | Fusion of SP-VAE and IMP-VAE for Proxy Attack Detection in ECommerce Systems | Abstract PDF |
| Chi Ma | ||
| Vol 38, No 3 (2014) | Future Proof Access Networks for B2B Applications | Abstract PDF |
| Pawel Parol, Michał Pawłowski | ||
| Vol 49, No 15 (2025): Online-only issue | Fuzzy based Computing for Disabled using 3D Head Movement | Abstract PDF |
| Pradeep V | ||
| 1101 - 1125 of 2197 Items | << < 40 41 42 43 44 45 46 47 48 49 > >> | |








