skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: ScienceDirect® remover tipo de recurso: Recursos Textuais remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Preface
Preface
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Preface

Accattoli, Beniamino ; Olarte, Carlos

Electronic Notes in Theoretical Computer Science, 2019, Vol.344, p.1-2

Elsevier

Texto completo disponível

Citações Citado por
2
Open Problems in Concurrency Theory
Open Problems in Concurrency Theory
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Open Problems in Concurrency Theory

Sokolova, Ana ; D'Argenio, Pedro ; Castellani, Ilaria ; Mousavi, Mohammad Reza

Journal of Logical and Algebraic Methods in Programming, 2019

Elsevier

Texto completo disponível

Citações Citado por
3
Special Issue of the Journal of Logical and Algebraic Methods in Programming on Formal Approaches to Parallel and Distributed Systems 2018
Special Issue of the Journal of Logical and Algebraic Methods in Programming on Formal Approaches to Parallel and Distributed Systems 2018
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Special Issue of the Journal of Logical and Algebraic Methods in Programming on Formal Approaches to Parallel and Distributed Systems 2018

Loulergue, Frédéric

Journal of Logical and Algebraic Methods in Programming, 2020, Vol.116

Elsevier

Texto completo disponível

Citações Citado por
4
Special Issue : Symbolic Computation and Satisfiability Checking
Special Issue : Symbolic Computation and Satisfiability Checking
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Special Issue : Symbolic Computation and Satisfiability Checking

Davenport, James Harold ; England, Matthew ; Griggio, Alberto ; Sturm, Thomas ; Tinelli, Cesare

Journal of Symbolic Computation, 2020, Vol.100

Elsevier

Texto completo disponível

Citações Citado por
5
Special Section on Enterprise Computing – best papers presented in the 21st and 22nd IEEE EDOC 2017 and 2018 Conferences
Special Section on Enterprise Computing – best papers presented in the 21st and 22nd IEEE EDOC 2017 and 2018 Conferences
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Special Section on Enterprise Computing – best papers presented in the 21st and 22nd IEEE EDOC 2017 and 2018 Conferences

Lagerström, Robert ; Grossmann, Georg ; Nurcan, Selmin

Information Systems, 2021, Vol.101

Elsevier

Texto completo disponível

Citações Citado por
6
Formal Verification and Static Analysis of Molecular Devices and Biological Systems
Formal Verification and Static Analysis of Molecular Devices and Biological Systems
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Formal Verification and Static Analysis of Molecular Devices and Biological Systems

Feret, Jérôme ; Paulevé, Loïc ; Šafránek, David

Theoretical Computer Science, 2019, Vol.765

Elsevier

Texto completo disponível

Citações Citado por
7
Future generation of service-oriented computing systems
Future generation of service-oriented computing systems
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Future generation of service-oriented computing systems

Yangui, Sami ; Goscinski, Andrzej ; Drira, Khalil ; Tari, Zahir ; Benslimane, Djamal

Future Generation Computer Systems, 2021, Vol.118, p.252-256

Elsevier

Texto completo disponível

Citações Citado por
8
Special Cluster on Stochastic Local Search: Recent Developments and Trends
Special Cluster on Stochastic Local Search: Recent Developments and Trends
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Special Cluster on Stochastic Local Search: Recent Developments and Trends

Hoos, Holger ; Jourdan, Laetitia ; Kessaci, Marie‐eléonore ; Stützle, Thomas ; Veerapen, Nadarajen

International Transactions in Operational Research, 2022, Vol.29 (5), p.2731-3232

Wiley

Texto completo disponível

Citações Citado por
9
Special section on Data processing in modern distributed architectures
Special section on Data processing in modern distributed architectures
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Special section on Data processing in modern distributed architectures

Darmont, Jérôme ; Novikov, Boris ; Wrembel, Robert ; Bellatreche, Ladjel

Information Systems, 2022, Vol.104

Elsevier

Texto completo disponível

Citações Citado por
10
Special Issue of the 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016), May 2018
Special Issue of the 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016), May 2018
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Special Issue of the 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016), May 2018

Soffer, Pnina ; Nurcan, Selmin

Information Systems, 2018, Vol.74 (1)

Elsevier

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1997  (6)
  2. 1997Até2003  (16)
  3. 2004Até2010  (19)
  4. 2011Até2017  (52)
  5. Após 2017  (34)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (123)
  2. Croatian  (1)
  3. Francês  (1)
  4. Espanhol  (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.