Resultados de 1 a 10 de 483 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
Refinado por:
Base de dados/Biblioteca:
SpringerLink (Online service)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithmsChernoy, Viacheslav ; Shalom, Mordechai ; Zaks, ShmuelDistributed computing, 2010-09, Vol.23 (1), p.43-60 [Periódico revisado por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
The online laboratory: conducting experiments in a real labor marketHorton, John J. ; Rand, David G. ; Zeckhauser, Richard J.Experimental economics : a journal of the Economic Science Association, 2011-09, Vol.14 (3), p.399-425 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Spatio-temporal model checking of vehicular movement in public transport systemsCiancia, Vincenzo ; Gilmore, Stephen ; Grilletti, Gianluca ; Latella, Diego ; Loreti, Michele ; Massink, MiekeInternational journal on software tools for technology transfer, 2018-06, Vol.20 (3), p.289-311 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
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 |
| 5 |
Material Type: Artigo
|
|
A systematic decision-making framework for tackling quantum software engineering challengesAkbar, Muhammad Azeem ; Khan, Arif Ali ; Rafi, SaimaAutomated software engineering, 2023-11, Vol.30 (2), p.22, Article 22 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Real-time heuristic algorithms for the static weapon target assignment problemKline, Alexander G. ; Ahner, Darryl K. ; Lunday, Brian J.Journal of heuristics, 2019-06, Vol.25 (3), p.377-397 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
An improved semantic schema modeling for genetic programmingZojaji, Zahra ; Ebadzadeh, Mohammad MehdiSoft computing (Berlin, Germany), 2018-05, Vol.22 (10), p.3237-3260 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Building a push-button RESOLVE verifier: Progress and challengesSitaraman, Murali ; Adcock, Bruce ; Avigad, Jeremy ; Bronish, Derek ; Bucci, Paolo ; Frazier, David ; Friedman, Harvey M. ; Harton, Heather ; Heym, Wayne ; Kirschenbaum, Jason ; Krone, Joan ; Smith, Hampton ; Weide, Bruce W.Formal aspects of computing, 2011-09, Vol.23 (5), p.607-626 [Periódico revisado por pares]London: Springer-VerlagTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Dynamic limits for bloat control in genetic programming and a review of past and current bloat theoriesSilva, Sara ; Costa, ErnestoGenetic programming and evolvable machines, 2009-06, Vol.10 (2), p.141-179 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
| 10 |
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 |
Resultados de 1 a 10 de 483 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 (358)
- Technology (328)
- Computer Science (305)
- Artificial Intelligence (139)
- Computer Science, Artificial Intelligence (131)
- Algorithms (109)
- Studies (109)
- Engineering (104)
- Software (81)
- Computer Science, Software Engineering (71)
- Computer Science, Information Systems (70)
- Semantics (56)
- Social Sciences (56)
- Mathematics (52)
- Computer Science, Theory & Methods (50)
- Physical Sciences (50)
- Software Engineering/programming And Operating Systems (50)
- Control (49)
- Robotics (49)
- Machine Learning (47)
-
Mais opções
Data de Publicação
- Antes de2001 (32)
- 2001Até2006 (79)
- 2007Até2012 (166)
- 2013Até2019 (134)
- Após 2019 (73)
-
Mais opções
Base de Dados/Biblioteca
- Springer Nature - Springer Journals All 2022 (424)
- Science Citation Index Expanded (Web of Science) (320)
- Journals@Ovid Complete (219)
- EBSCOhost Computers and Applied Sciences Complete (171)
- Gale Academic OneFile (112)
- Springer_OA刊 (88)
- EBSCOhost Academic Search Premier (82)
- EZB Electronic Journals Library (53)
- IngentaConnect Journals (42)
- Business Source Complete - EBSCO (42)
- DOAJ Directory of Open Access Journals (32)
- ROAD: Directory of Open Access Scholarly Resources (25)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (25)
- ACM Digital Library Complete (21)
- JSTOR All Journals (21)
- ANTE: Abstracts in New Technology & Engineering (20)
- EBSCO_MEDLINE Complete（医学期刊全文数据库） (19)
- Materials Business File (15)
- Materials Research Database (15)
-
Mais opções
Nome da Publicação
- Empirical Software Engineering : An International Journal (15)
- The Artificial Intelligence Review (13)
- Soft Computing (13)
- Multimedia Tools And Applications (12)
- International Journal Of Advanced Manufacturing Technology (12)
- Formal Aspects Of Computing (11)
- Annals Of Mathematics And Artificial Intelligence (10)
- Knowledge And Information Systems (9)
- Machine Learning (9)
- Journal Of Global Optimization (9)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 