Central Library

Your search returned 3 results. Subscribe to this search

Unhighlight Highlight
|
Modeling Approaches and Algorithms for Advanced Computer Applications [electronic resource] / edited by Abdelmalek Amine, Ait Mohamed Otmane, Ladjel Bellatreche.

by Amine, Abdelmalek [editor.] | Otmane, Ait Mohamed [editor.] | Bellatreche, Ladjel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Recent Trends and Future Technology in Applied Intelligence [electronic resource] : 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings / edited by Malek Mouhoub, Samira Sadaoui, Otmane Ait Mohamed, Moonis Ali.

by Mouhoub, Malek [editor.] | Sadaoui, Samira [editor.] | Ait Mohamed, Otmane [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings / edited by Otmane Ait Mohamed, César Munoz, Sofiène Tahar.

by Ait Mohamed, Otmane [editor.] | Munoz, César [editor.] | Tahar, Sofiène [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available