Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Handbook of Constraint ProgrammingFrancesca Rossi, Peter van Beek, Toby WalshSan Diego: Elsevier Science 2006Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Behavioural Types: From Theory to ToolsGay, Simon ; Ravara, António Gay, Simon ; Ravara, António ; Gay, Simon ; Ravara, AntónioUnited Kingdom: River Publishers 2017Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Multimodal Optimization by Means of Evolutionary AlgorithmsPreuss, MikeCham: Springer Nature 2015Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Boosting: Foundations and AlgorithmsSchapire, Robert E ; Freund, YoavCambridge: MIT Press 2012Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Deductive Software Verification - The KeY Book: From Theory to PracticeAhrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H ; Ulbrich, Mattias H'hnle, Reiner ; Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Ulbrich, Mattias ; Beckert, Bernhard ; Schmitt, Peter H. ; Bubel, Richard ; Ahrendt, WolfgangCham: Springer Nature 2016Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
The Amazing Journey of Reason: from DNA to Artificial IntelligenceAlemi, MarioCham: Springer Nature 2020Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Violent Python: A Cookbook for Hackers, Forensic Analysts, Penetration Testers and Security EngineersTJ O'ConnorSan Diego: Elsevier Science 2012Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Integrating Python with Leading Computer Forensics PlatformsHosmer, ChetSan Diego: Elsevier Science 2016Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Applications of Answer Set ProgrammingErdem, Esra ; Gelfond, Michael ; Leone, NicolaThe AI magazine, 2016-09, Vol.37 (3), p.53-68 [Periódico revisado por pares]La Canada: American Association for Artificial IntelligenceTexto completo disponível |
10 |
Material Type: Livro
|
![]() |
Person Re-IdentificationGong, Shaogang ; Cristani, Marco ; Yan, Shuicheng ; Loy, Chen Change Cristani, Marco ; Yan, Shuicheng ; Gong, Shaogang ; Loy, Chen Change ; Cristani, Marco ; Yan, Shuicheng ; Loy, Chen Change ; Gong, Shaogang ; Gong, ShaogangLondon: Springer Nature 2014Texto completo disponível |