Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Otmane Ait Mohamed 7 träffar

Titel Författare År Språk
1 Modeling Approaches and Algorithms for Advanced Computer Applications Abdelmalek; Mohamed Amine 2013 Engelska
2 Modeling Approaches and Algorithms for Advanced Computer Applications Abdelmalek. Amine 2013 Engelska
3 Theorem Proving in Higher Order Logics electronic resource - 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings David. Hutchison 2008 Engelska
4 Modeling Approaches and Algorithms for Advanced Computer Applications 2013 Okänt
5 Theorem Proving in Higher Order Logics Otmane Ait Mohamed 2008 Okänt
6 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 2018 Engelska
7 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 2018 Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.