skip to main content
Idioma:
previous page 1 Resultados 2 3 4 next page
Refinado por: Base de dados/Biblioteca: DOAB: Directory of Open Access Books remover tipo de recurso: Livros remover SpringerLINK Lecture Notes in Computer Science (2015) remover Springer Books remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
The Once-Only Principle: The TOOP Project
The Once-Only Principle: The TOOP Project
Material Type:
Livro 		Adicionar ao Meu Espaço

The Once-Only Principle: The TOOP Project

Krimmer, Robert ; Prentza, Andriana ; Mamrot, Szymon Mamrot, Szymon ; Krimmer, Robert ; Prentza, Andriana ; Mamrot, Szymon ; Prentza, Andriana

Netherlands: Springer Nature 2021

Texto completo disponível

Citações Citado por
12
Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

Johnsen, Einar Broch ; Wimmer, Manuel Wimmer, Manuel ; Johnsen, Einar Broch

Cham: Springer Nature 2022

Texto completo disponível

Citações Citado por
13
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings

Tasiran, Serdar ; Dillig, Isil

Netherlands: Springer Nature 2019

Texto completo disponível

Citações Citado por
14
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Dirk Beyer ; Marieke Huisman

Springer Nature 2018

Texto completo disponível

Citações Citado por
15
Cybersecurity of Digital Service Chains: Challenges, Methodologies, and Tools
Cybersecurity of Digital Service Chains: Challenges, Methodologies, and Tools
Material Type:
Livro 		Adicionar ao Meu Espaço

Cybersecurity of Digital Service Chains: Challenges, Methodologies, and Tools

Kołodziej, Joanna ; Repetto, Matteo ; Duzha, Armend Duzha, Armend ; Kołodziej, Joanna ; Repetto, Matteo ; Repetto, Matteo ; Duzha, Armend ; Kołodziej, Joanna

Cham: Springer Nature 2022

Texto completo disponível

Citações Citado por
16
Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Ahmed, Amal Ahmed, Amal

Cham: Springer Open 2018

Texto completo disponível

Citações Citado por
17
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Beyer, Dirk ; Huisman, Marieke Huisman, Marieke ; Beyer, Dirk

Cham: Springer Nature 2018

Texto completo disponível

Citações Citado por
18
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings

Dillig, Isil ; Tasiran, Serdar Tasiran, Serdar ; Dillig, Isil

Netherlands: Springer Nature 2019

Texto completo disponível

Citações Citado por
19
Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings
Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings

Abramson, David ; de Supinski, Bronis R de Supinski, Bronis R ; Abramson, David

Netherlands: Springer Nature 2019

Texto completo disponível

Citações Citado por
20
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Alessandra Russo ; Andy Schürr

Springer Nature 2018

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.