Resultados de 1 a 10 de 52 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:
assunto:
Software Engineering/Programming and Operating Systems
| 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
|
|
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 |
| 3 |
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 |
| 4 |
Material Type: Artigo
|
|
Optimizing agents with genetic programming: an evaluation of hyper-heuristics in dynamic real-time logisticsvan Lon, Rinde R. S. ; Branke, Juergen ; Holvoet, TomGenetic programming and evolvable machines, 2018-06, Vol.19 (1-2), p.93-120 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 5 |
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 |
| 6 |
Material Type: Artigo
|
|
Object coverage criteria for supporting object-oriented testingGhoreshi, M. ; Haghighi, H.Software quality journal, 2023-12, Vol.31 (4), p.1369-1414 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Gamification Strategies: A Characterization Using Formal Argumentation TheoryGuerrero, Esteban ; Kalmi, PanuSN computer science, 2022-07, Vol.3 (4), p.291, Article 291 [Periódico revisado por pares]Singapore: Springer Nature SingaporeTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Investigating Methods for ASPmT-Based Design Space Exploration in Evolutionary Product DesignMüller, Luise ; Wanko, Philipp ; Haubelt, Christian ; Schaub, TorstenInternational journal of parallel programming, 2024-04, Vol.52 (1-2), p.59-92 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Studying the difference between natural and programming language corporaCasalnuovo, Casey ; Sagae, Kenji ; Devanbu, PremEmpirical software engineering : an international journal, 2019-08, Vol.24 (4), p.1823-1868 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
A Review of Graph-Based Models for Entity-Oriented SearchDevezas, José ; Nunes, SérgioSN computer science, 2021-11, Vol.2 (6), p.437, Article 437 [Periódico revisado por pares]Singapore: Springer SingaporeTexto completo disponível |
Resultados de 1 a 10 de 52 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 (43)
- Technology (43)
- Programming Languages (28)
- Interpreters (28)
- Compilers (28)
- Computer Science, Software Engineering (27)
- Software Engineering (18)
- Artificial Intelligence (17)
- Software (13)
- Computer Systems Organization And Communication Networks (13)
- Algorithms (10)
- Data Structures And Information Theory (10)
- Software Development (10)
- Programming Techniques (9)
- Computer Programs (9)
- Computer Science, Artificial Intelligence (8)
- Machine Learning (8)
- Computer Science, Theory & Methods (7)
-
Mais opções
Data de Publicação
- Antes de2010 (6)
- 2010Até2012 (8)
- 2013Até2015 (8)
- 2016Até2020 (15)
- Após 2020 (16)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLink Journals - AutoHoldings (52)
- Springer Nature - Springer Journals All 2022 (52)
- Science Citation Index Expanded (Web of Science) (32)
- EBSCOhost Computers and Applied Sciences Complete (20)
- Ovid SocietyJournals and Single Titles (16)
- SpringerOpen (14)
- Academic Search Premier (10)
- EZB Electronic Journals Library (5)
- Academic OneFile (3)
- Aerospace Database (2)
- IngentaConnect Journals (1)
-
Mais opções
Nome da Publicação
- Empirical Software Engineering : An International Journal (15)
- Empirical Software Engineering (6)
- Software And Systems Modeling (6)
- Sn Computer Science (5)
- Sn Computer Science/sn Computer Science (4)
- Software Quality Journal (4)
- Genetic Programming And Evolvable Machines (3)
- International Journal On Software Tools For Technology Transfer (3)
- Cybernetics And Systems Analysis (3)
- Autonomous Agents And Multi-Agent Systems (3)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 