Inbunden, Engelska, 2013
2 550 kr
Skickas inom 5-8 vardagar
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
8 produkter
- Del 522 - IFIP Advances in Information and Communication Technology
Computational Intelligence and Its Applications
6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings
Häftad, Engelska, 20191 508 kr
Skickas inom 10-15 vardagar
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 in the following topical sections: data mining and information retrieval; evolutionary computation; machine learning; optimization; planning and scheduling; wireless communication and mobile computing; Internet of Things (IoT) and decision support systems; pattern recognition and image processing; and semantic web services. - Inbunden, Engelska, 2018
1 508 kr
Skickas inom 10-15 vardagar
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 in the following topical sections: data mining and information retrieval; evolutionary computation; machine learning; optimization; planning and scheduling; wireless communication and mobile computing; Internet of Things (IoT) and decision support systems; pattern recognition and image processing; and semantic web services. - E-bokEngelska, 2018
1 942 kr
Läs direkt efter köp
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 in the following topical sections: data mining and information retrieval; evolutionary computation; machine learning; optimization; planning and scheduling; wireless communication and mobile computing; Internet of Things (IoT) and decision support systems; pattern recognition and image processing; and semantic web services. - Del 10868 - Lecture Notes in Computer Science
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
Häftad, Engelska, 20181 191 kr
Skickas inom 10-15 vardagar
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 reviewed and selected from 146 submissions. They are organized in the following topical sections: constraint solving and optimization; data mining and knowledge discovery; evolutionary computation; expert systems and robotics; knowledge representation, machine learning; meta-heuristics; multi-agent systems; natural language processing; neural networks; planning, scheduling and spatial reasoning; rough sets, Internet of Things (IoT), ubiquitous computing and big data; data science, privacy, and security; inelligent systems approaches in information extraction; and artificial intelligence, law and justice. 1 455 kr
Läs direkt efter köp
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 reviewed and selected from 146 submissions. They are organized in the following topical sections: constraint solving and optimization; data mining and knowledge discovery; evolutionary computation; expert systems and robotics; knowledge representation, machine learning; meta-heuristics; multi-agent systems; natural language processing; neural networks; planning, scheduling and spatial reasoning; rough sets, Internet of Things (IoT), ubiquitous computing and big data; data science, privacy, and security; inelligent systems approaches in information extraction; and artificial intelligence, law and justice.
- Häftad, Engelska, 2008
566 kr
Skickas inom 10-15 vardagar
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 examples), 5 tool presentations, and 2 invited papers were carefully reviewed and selected from 40 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalisation of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers. - E-bokPDF, Engelska, 2008
739 kr
Läs direkt efter köp
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 examples), 5 tool presentations, and 2 invited papers were carefully reviewed and selected from 40 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalisation of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.
