skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
DeepOnto: A Python Package for Ontology Engineering with Deep Learning
DeepOnto: A Python Package for Ontology Engineering with Deep Learning
Material Type:
Artigo 		Adicionar ao Meu Espaço

DeepOnto: A Python Package for Ontology Engineering with Deep Learning

He, Yuan ; Chen, Jiaoyan ; Dong, Hang ; Horrocks, Ian ; Allocca, Carlo ; Kim, Taehun ; Sapkota, Brahmananda

arXiv.org, 2024-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
Collaborative Verification-Driven Engineering of Hybrid Systems
Collaborative Verification-Driven Engineering of Hybrid Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Collaborative Verification-Driven Engineering of Hybrid Systems

Mitsch, Stefan ; Grant Olney Passmore ; Platzer, Andre

arXiv.org, 2014-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings
Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Börger, Egon ; Kleine Büning, Hans ; Richter, Michael M ; Schönfeld, Wolfgang Börger, Egon ; Kleine Büning, Hans ; Richter, Michael M. ; Schönfeld, Wolfgang

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
4
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings

Alagar, V. S ; Nivat, Maurice Alagar, V. S. ; Nivat, Maurice

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
5
Process Mining: Discovery, Conformance and Enhancement of Business Processes
Process Mining: Discovery, Conformance and Enhancement of Business Processes
Material Type:
Livro 		Adicionar ao Meu Espaço

Process Mining: Discovery, Conformance and Enhancement of Business Processes

Aalst, Wil M. P. van der

Berlin, Heidelberg: Springer-Verlag 2011

Texto completo disponível

Citações Citado por
6
Application and Theory of Petri Nets 1993: 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings
Application and Theory of Petri Nets 1993: 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Application and Theory of Petri Nets 1993: 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings

Ajmone Marsan, Marco Ajmone Marsan, Marco

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

Citações Citado por
7
Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings
Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings

Borzyszkowski, Andrzej M ; Sokołowski, Stefan Borzyszkowski, Andrzej M. ; Sokołowski, Stefan

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

Citações Citado por
8
CONCUR '92: Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings
CONCUR '92: Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR '92: Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings

Cleaveland, W.R Cleaveland, W.R.

Berlin, Heidelberg: Springer Berlin Heidelberg 1992

Texto completo disponível

Citações Citado por
9
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings

Vytopil, Jan Vytopil, Jan

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
10
Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Yoshida, Nobuko Yoshida, Nobuko

Netherlands: Springer Nature 2021

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.   

Mostrar Somente

  1. Revistas revisadas por pares (35.474)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (37.726)
  2. Anais de Congresso  (17.559)
  3. Livros  (753)
  4. magazinearticle  (410)
  5. Book Chapters  (142)
  6. Newsletter Articles  (5)
  7. Verbetes  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1972  (254)
  2. 1972Até1984  (737)
  3. 1985Até1997  (4.982)
  4. 1998Até2011  (18.539)
  5. Após 2011  (32.805)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (56.594)
  2. Japonês  (2.828)
  3. Português  (98)
  4. Espanhol  (59)
  5. Alemão  (30)
  6. Chinês  (28)
  7. Francês  (11)
  8. Turco  (5)
  9. Norueguês  (4)
  10. Russo  (2)
  11. Croatian  (2)
  12. Dinamarquês  (1)
  13. Árabe  (1)
  14. Ucraniano  (1)
  15. Persa  (1)
  16. Coreano  (1)
  17. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.