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: Carla Gomes 5 träffar

Titel Författare År Språk
1 Theory and Applications of Satisfiability Testing -- SAT 2006: 9Th International Conference, Seattle, WA, USA, August 12-15, 2006 : Proceedings (Lecture notes in computer science, 4121) Armin Biere 2006 Okänt
2-3 Theory and Applications of Satisfiability Testing - SAT 2006 (flera utgåvor) Armin. Biere 2006 Engelska
4 Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Carla Gomes 2013 Okänt
5 Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings Carla. Gomes 2013 Engelska

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.