Resultados de 1 a 10 de 272 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
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Multi-Objective Bi-Level Programming for the Energy-Aware Integration of Flexible Job Shop Scheduling and Multi-Row LayoutZhang, Hongliang ; Ge, Haijiang ; Pan, Ruilin ; Wu, YujuanAlgorithms, 2018-12, Vol.11 (12), p.210 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Machine learning of symbolic compositional rules with genetic programming: dissonance treatment in PalestrinaAnders, Torsten ; Inden, BenjaminPeerJ. Computer science, 2019-12, Vol.5, p.e244-e244, Article e244 [Periódico revisado por pares]United States: PeerJ. LtdTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
The state of the art in end-user software engineeringKo, Andrew ; Abraham, Robin ; Beckwith, Laura ; Blackwell, Alan ; Burnett, Margaret ; Erwig, Martin ; Scaffidi, Chris ; Lawrance, Joseph ; Lieberman, Henry ; Myers, Brad ; Rosson, Mary ; Rothermel, Gregg ; Shaw, Mary ; Wiedenbeck, SusanACM computing surveys, 2011-04, Vol.43 (3), p.1-44 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Linear work suffix array constructionKärkkäinen, Juha ; Sanders, Peter ; Burkhardt, StefanJournal of the ACM, 2006-11, Vol.53 (6), p.918-936 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Reciprocal Influences Between Proof Theory and Logic ProgrammingMiller, DalePhilosophy & technology, 2021-03, Vol.34 (1), p.75-104 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Delegating Computation: Interactive Proofs for MugglesGoldwasser, Shafi ; Kalai, Yael Tauman ; Rothblum, Guy N.Journal of the ACM, 2015-08, Vol.62 (4), p.1-64, Article 27 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
The many faces of publish/subscribeEugster, Patrick ; Felber, Pascal ; Guerraoui, Rachid ; Kermarrec, Anne-MarieACM computing surveys, 2003-06, Vol.35 (2), p.114-131 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Æminium: A Permission-Based Concurrent-by-Default Programming Language ApproachStork, Sven ; Naden, Karl ; Sunshine, Joshua ; Mohr, Manuel ; Fonseca, Alcides ; Marques, Paulo ; Aldrich, JonathanACM transactions on programming languages and systems, 2014-03, Vol.36 (1), p.1-42, Article 2 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
A unified DC programming framework and efficient DCA based approaches for large scale batch reinforcement learningLe Thi, Hoai An ; Ho, Vinh Thanh ; Pham Dinh, TaoJournal of global optimization, 2019-02, Vol.73 (2), p.279-310 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
HRPDF: A Software-Based Heterogeneous Redundant Proactive Defense Framework for Programmable Logic ControllerLiu, Ke ; Wang, Jing-Yi ; Wei, Qiang ; Zhang, Zhen-Yong ; Sun, Jun ; Ma, Rong-Kuan ; Deng, Rui-LongJournal of computer science and technology, 2021-12, Vol.36 (6), p.1307-1324 [Periódico revisado por pares]Singapore: Springer SingaporeTexto completo disponível |
Resultados de 1 a 10 de 272 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
Assunto
- Science & Technology (255)
- Technology (248)
- Artificial Intelligence (95)
- Algorithms (85)
- Computer Science, Artificial Intelligence (78)
- Computer Science, Software Engineering (71)
- Computer Science, Information Systems (69)
- Software (68)
- Computer Science, Theory & Methods (64)
- Studies (60)
- Exact Sciences And Technology (43)
- Computer Science, Hardware & Architecture (42)
- Applied Sciences (42)
- Physical Sciences (41)
- Mathematics (39)
- Analysis (39)
- Computer Science; Control Theory; Systems (38)
- Semantics (37)
- Methods (35)
-
Mais opções
Data de Publicação
- Antes de2000 (45)
- 2000Até2005 (26)
- 2006Até2011 (84)
- 2012Até2018 (62)
- Após 2018 (56)
-
Mais opções
Base de Dados/Biblioteca
- Gale PowerSearch (272)
- Science Citation Index Expanded (Web of Science) (186)
- EBSCOhost Computers and Applied Sciences Complete (123)
- EZB Free E-Journals (92)
- ACM Digital Library Complete (71)
- EBSCOhost Business Source Complete (71)
- DOAJ Directory of Open Access Journals (69)
- ROAD: Directory of Open Access Scholarly Resources (66)
- Springer Nature (63)
- Springer Nature - Springer Journals All 2022 (59)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (53)
- Journals@Ovid Complete (48)
- IngentaConnect Journals (37)
- EBSCOhost Academic Search Premier (32)
- SpringerOpen (21)
- Publisher site (19)
- Wiley Online Library Journals Frontfile Complete (17)
- Wiley Online Library Open Access (17)
- ANTE: Abstracts in New Technology & Engineering (16)
- JSTOR Complete Journals (15)
-
Mais opções
Idioma
- Japonês (38)
- Ndongo (21)
-
Mais opções
Nome da Publicação
- Communications Of The Acm (16)
- The Ai Magazine (16)
- Acm Transactions On Programming Languages And Systems (15)
- The Artificial Intelligence Review (13)
- Journal Of The Acm (13)
- Acm Computing Surveys (13)
- Annals Of Mathematics And Artificial Intelligence (10)
- Computer Music Journal (8)
- Journal Of Computer Science And Technology (7)
- International Journal Of Intelligent Information Technologies (7)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 