Otmane Ait Mohamed – författare
Visar alla böcker från författaren Otmane Ait Mohamed. Handla med fri frakt och snabb leverans.
8 produkter
Network Security Technologies
Design and Applications
Av Abdelmalek Amine, Otmane Ait Mohamed m. fl.
Inbunden, 2013
2633 kr
Lägg i varukorg
Computational Intelligence and Its Applications
6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings
Av Abdelmalek Amine, Malek Mouhoub m. fl.
Häftad, 2019
1513 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th IFIP TC 5 International Conference on Computational Intelligence and Its Applications, CIIA 2018, held in Oran, Algeria, in May 2018.The 56 full papers presented were carefully reviewed and selected from 202 submissions. They are organized …
Computational Intelligence and Its Applications
6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings
Av Abdelmalek Amine, Malek Mouhoub m. fl.
Inbunden, 2018
1513 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th IFIP TC 5 International Conference on Computational Intelligence and Its Applications, CIIA 2018, held in Oran, Algeria, in May 2018.The 56 full papers presented were carefully reviewed and selected from 202 submissions. They are organized …
Computational Intelligence and Its Applications
6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings
Av Bachir Djebbar, Otmane Ait Mohamed m. fl.
E-bok, 2018
2006 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th IFIP TC 5 International Conference on Computational Intelligence and Its Applications, CIIA 2018, held in Oran, Algeria, in May 2018. The 56 full papers presented were carefully reviewed and selected from 202 submissions. They are organized …
Recent Trends and Future Technology in Applied Intelligence
31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings
Av Malek Mouhoub, Samira Sadaoui m. fl.
Häftad, 2018
1198 kr
Lägg i varukorg
This book constitutes the thoroughly refereed proceedings of the 31st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, held in Montreal, QC, Canada, in June 2018.The 53 full papers and 33 short papers presented were carefully …
Recent Trends and Future Technology in Applied Intelligence
31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings
Av Moonis Ali, Otmane Ait Mohamed m. fl.
E-bok, 2018
1502 kr
Lägg i varukorg
This book constitutes the thoroughly refereed proceedings of the 31st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, held in Montreal, QC, Canada, in June 2018. The 53 full papers and 33 short papers presented were carefully …
Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
Av Otmane Ait Mohamed, César Munoz m. fl.
Häftad, 2008
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. The 17 revised full papers presented together with 1 proof pearl (concise and elegant presentations of interesting …
Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
Av Sofiene Tahar, Cesar Munoz m. fl.
E-bok, 2008
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. The 17 revised full papers presented together with 1 proof pearl (concise and elegant presentations of interesting …
