skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Books remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computational Logistics: 13th International Conference, ICCL 2022, Barcelona, Spain, September 21-23, 2022, Proceedings
Computational Logistics: 13th International Conference, ICCL 2022, Barcelona, Spain, September 21-23, 2022, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational Logistics: 13th International Conference, ICCL 2022, Barcelona, Spain, September 21-23, 2022, Proceedings

de Armas, Jesica ; Ramalhinho, Helena ; Voß, Stefan de Armas, Jesica ; Ramalhinho, Helena ; Voß, Stefan

Cham: Springer International Publishing AG 2022

Sem texto completo

Citações Citado por
2
Towards Efficient Data-Flow Test Data Generation
Towards Efficient Data-Flow Test Data Generation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Towards Efficient Data-Flow Test Data Generation

Su, Ting ; Zhang, Chengyu ; Yan, Yichen ; Fan, Lingling ; Liu, Yang ; Fu, Zhoulai ; Su, Zhendong Bowen, Jonathan P. ; Xu, Qiwen ; Li, Qin

Theories of Programming and Formal Methods, p.257-293 [Periódico revisado por pares]

Cham: Springer Nature Switzerland

Sem texto completo

Citações Citado por
3
Equivalence Checking of Code Transformation by Numerical and Symbolic Approaches
Equivalence Checking of Code Transformation by Numerical and Symbolic Approaches
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Equivalence Checking of Code Transformation by Numerical and Symbolic Approaches

Sugawara, Shunpei ; Takahashi, Keichi ; Shimomura, Yoichi ; Egawa, Ryusuke ; Takizawa, Hiroyuki Shen, Hong ; Takizawa, Hiroyuki ; Hyuk Park, Jong ; Tian, Hui ; Egawa, Ryusuke ; Hanawa, Toshihiro

Parallel and Distributed Computing, Applications and Technologies, p.373-386 [Periódico revisado por pares]

Cham: Springer Nature Switzerland

Sem texto completo

Citações Citado por
4
Automated Synthesis of Software Contracts with KindSpec
Automated Synthesis of Software Contracts with KindSpec
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automated Synthesis of Software Contracts with KindSpec

Alpuente, María ; Villanueva, Alicia Giacobazzi, Roberto ; Gallagher, John P ; Lopez-Garcia, Pedro ; Gallagher, John P. ; Giacobazzi, Roberto ; Lopez-Garcia, Pedro

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.51-71 [Periódico revisado por pares]

Switzerland: Springer

Sem texto completo

Citações Citado por
5
Fundamentals of Trace and Log Analysis: A Pattern-Oriented Approach to Monitoring, Diagnostics, and Debugging
Fundamentals of Trace and Log Analysis: A Pattern-Oriented Approach to Monitoring, Diagnostics, and Debugging
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of Trace and Log Analysis: A Pattern-Oriented Approach to Monitoring, Diagnostics, and Debugging

Vostokov, Dmitry

Berkeley, CA: Apress L. P 2023

Sem texto completo

Citações Citado por
6
Trends in Anode Carbon Production Projects
Trends in Anode Carbon Production Projects
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Trends in Anode Carbon Production Projects

Santangelo, Derek Tomsett, Alan

Light Metals 2020, p.1174-1175

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
7
What is the Natural Abstraction Level of an Algorithm?
What is the Natural Abstraction Level of an Algorithm?
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

What is the Natural Abstraction Level of an Algorithm?

Prinz, Andreas Riccobene, Elvinia ; Schewe, Klaus-Dieter ; Raschke, Alexander ; Riccobene, Elvinia ; Schewe, Klaus-Dieter ; Raschke, Alexander

Logic, Computation and Rigorous Methods, 2021, Vol.12750, p.199-214 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Sem texto completo

Citações Citado por
8
The Dpex-Framework: Towards Full WFMS Support for Decentralized Process Execution
The Dpex-Framework: Towards Full WFMS Support for Decentralized Process Execution
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Dpex-Framework: Towards Full WFMS Support for Decentralized Process Execution

Sturm, Christian ; Jablonski, Stefan Burattin, Andrea ; Di Francescomarino, Chiara ; Sadiq, Shazia ; Janiesch, Christian

Business Process Management Forum, p.20-37

Cham: Springer Nature Switzerland

Sem texto completo

Citações Citado por
9
Dynamic Group Convolution for Accelerating Convolutional Neural Networks
Dynamic Group Convolution for Accelerating Convolutional Neural Networks
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Dynamic Group Convolution for Accelerating Convolutional Neural Networks

Su, Zhuo ; Fang, Linpu ; Kang, Wenxiong ; Hu, Dewen ; Pietikäinen, Matti ; Liu, Li Bischof, Horst ; Frahm, Jan-Michael ; Brox, Thomas ; Vedaldi, Andrea ; Brox, Thomas ; Frahm, Jan-Michael ; Bischof, Horst ; Vedaldi, Andrea

Computer Vision - ECCV 2020, 2020, Vol.12351, p.138-155 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Sem texto completo

Citações Citado por
10
Diorthotis: A Parallel Batch Evaluator for Programming Assignments
Diorthotis: A Parallel Batch Evaluator for Programming Assignments
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Diorthotis: A Parallel Batch Evaluator for Programming Assignments

Karakasidis, Alexandros Fürlinger, Karl ; Zeinalipour, Demetris ; Blanco Heras, Dora ; Diehl, Patrick ; Cojean, Terry ; Kirkeby, Maja Hanne ; Di Sanzo, Pierangelo ; Herodotou, Herodotos ; Nardelli, Matteo ; Trihinas, Demetris ; Pallis, George ; Balouek, Daniel

Euro-Par 2023: Parallel Processing Workshops, p.215-218 [Periódico revisado por pares]

Cham: Springer Nature Switzerland

Sem texto completo

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1.187)
  2. Revistas revisadas por pares (715)

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (2.821)
  2. Anais de Congresso  (410)
  3. Livros  (89)
  4. Artigos  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1991  (8)
  2. 1991Até2000  (40)
  3. 2001Até2007  (313)
  4. 2008Até2015  (1.110)
  5. Após 2015  (873)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (3.308)
  2. Alemão  (22)
  3. Japonês  (20)
  4. Sueco  (1)
  5. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.