skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Huisman, Marieke ; Ravara, Antonio

Springer 2023

Sem texto completo

2
Conceptual Modeling: 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Conceptual Modeling: 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings

Almeida, João Paulo A ; Borbinha, José ; Guizzardi, Giancarlo ; Link, Sebastian ; Zdravkovic, Jelena Almeida, João Paulo A. ; Guizzardi, Giancarlo ; Zdravkovic, Jelena ; Link, Sebastian ; Borbinha, José ; Zdravkovic, Jelena ; Guizzardi, Giancarlo ; Borbinha, José ; Almeida, João Paolo A. ; Link, Sebastian

Cham: Springer 2023

Sem texto completo

3
Advances in Bioinformatics and Computational Biology: 16th Brazilian Symposium on Bioinformatics, BSB 2023, Curitiba, Brazil, June 13-16, 2023, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in Bioinformatics and Computational Biology: 16th Brazilian Symposium on Bioinformatics, BSB 2023, Curitiba, Brazil, June 13-16, 2023, Proceedings

Reis, Marcelo S ; de Melo-Minardi, Raquel C

Cham: Springer International Publishing AG 2023

Sem texto completo

4
Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Jansen, Nils ; Tribastone, Mirco

Cham: Springer 2023

Sem texto completo

5
Reachability Problems: 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Reachability Problems: 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings

Bournez, Olivier ; Formenti, Enrico ; Potapov, Igor

Cham: Springer International Publishing AG 2023

Sem texto completo

6
Business Process Management: 21st International Conference, BPM 2023, Utrecht, the Netherlands, September 11-15, 2023, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Business Process Management: 21st International Conference, BPM 2023, Utrecht, the Netherlands, September 11-15, 2023, Proceedings

Di Francescomarino, Chiara ; Burattin, Andrea ; Janiesch, Christian ; Sadiq, Shazia

Cham: Springer 2023

Sem texto completo

7
Application and Theory of Petri Nets and Concurrency: 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Application and Theory of Petri Nets and Concurrency: 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

Gomes, Luis ; Lorenz, Robert

Cham: Springer 2023

Sem texto completo

8
Formal Methods: 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Methods: 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings

Chechik, Marsha ; Katoen, Joost-Pieter ; Leucker, Martin Leucker, Martin ; Chechik, Marsha ; Katoen, Joost-Pieter

Cham: Springer International Publishing AG 2023

Sem texto completo

9
Combinatorial Image Analysis: 21st International Workshop, IWCIA 2022, Messina, Italy, July 13-15, 2022, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Combinatorial Image Analysis: 21st International Workshop, IWCIA 2022, Messina, Italy, July 13-15, 2022, Proceedings

Barneva, Reneta P ; Brimkov, Valentin E ; Nordo, Giorgio Nordo, Giorgio ; Brimkov, Valentin E. ; Barneva, Reneta P.

Cham: Springer International Publishing AG 2023

Sem texto completo

10
Computer Performance Engineering: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Performance Engineering: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings

Gilly, Katja ; Thomas, Nigel Gilly, Katja ; Thomas, Nigel

Cham: Springer International Publishing AG 2023

Sem texto completo

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 (504)
  2. Revistas revisadas por pares (306)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (919)
  2. Anais de Congresso  (24)
  3. Book Chapters  (5)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1988  (17)
  2. 1988Até1997  (43)
  3. 1998Até2005  (328)
  4. 2006Até2014  (469)
  5. Após 2014  (273)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (947)
  2. Francês  (2)
  3. Alemão  (1)
  4. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.