Resultados de 1 a 10 de 25.147 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Revistas revisadas por pares (15.807)
Refinado por:
assunto:
Computer Science, Artificial Intelligence
| 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 |
Resultados de 1 a 10 de 25.147 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Revistas revisadas por pares (15.807)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (14.794)
- Anais de Congresso (8.716)
- Book Chapters (929)
- magazinearticle (633)
- Livros (64)
- Resenhas (11)
-
Mais opções
Assunto
- Computer Science (25.145)
- Science & Technology (25.145)
- Technology (25.145)
- Engineering (8.589)
- Artificial Intelligence (7.635)
- Engineering, Electrical & Electronic (6.267)
- Computer Science, Theory & Methods (5.914)
- Linear Programming (4.665)
- Algorithms (4.135)
- Optimization (3.995)
- Computer Science, Information Systems (3.474)
- Automation & Control Systems (3.058)
- Robotics (2.925)
- Exact Sciences And Technology (2.884)
- Applied Sciences (2.856)
- Dynamic Programming (2.488)
- Computer Science; Control Theory; Systems (2.472)
- Genetic Programming (2.456)
- Computer Science, Interdisciplinary Applications (2.406)
-
Mais opções
Data de Publicação
- Antes de1985 (33)
- 1985Até1993 (278)
- 1994Até2002 (3.204)
- 2003Até2012 (8.674)
- Após 2012 (13.144)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (13.263)
- IEEE Electronic Library (IEL) Conference Proceedings (6.638)
- 2022 ECC(Springer) (5.998)
- Springer Nature - Springer Journals All 2022 (5.840)
- IEEE Electronic Library (IEL) Journals (3.572)
- ScienceDirect - Connect here FIRST to enable access (3.350)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access (3.220)
- Computers & Applied Sciences Complete - EBSCO (2.912)
- EZB Electronic Journals Library (1.819)
- ANTE: Abstracts in New Technology & Engineering (1.796)
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (1.673)
- SpringerLINK Lecture Notes in Computer Science (2015) (1.673)
- Academic Search Premier (EB_SDU_P3) (1.480)
- ACM Digital Library (1.452)
- Gale Academic OneFile Select (1.359)
- IngentaConnect Journals (1.332)
- DOAJ Directory of Open Access Journals (1.273)
- Business Source Complete (1.022)
- SpringerOpen (975)
- ROAD: Directory of Open Access Scholarly Resources (935)
-
Mais opções
Idioma
Nome da Publicação
- Expert Systems With Applications (829)
- Soft Computing (719)
- Autonomous Agents And Multi-Agent Systems (620)
- Ki. Künstliche Intelligenz (604)
- Ieee Transaction On Neural Networks And Learning Systems (471)
- Ieee Transactions On Cybernetics (436)
- Journal Of Intelligent & Fuzzy Systems (398)
- Applied Soft Computing (391)
- Ieee Transactions On Knowledge And Data Engineering (375)
- Neural Computing & Applications (372)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 