skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Logic remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

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

Cham: Springer International Publishing 2021

Sem texto completo

Citações Citado por
3
Subjective Logic: A Formalism for Reasoning under Uncertainty
Subjective Logic: A Formalism for Reasoning under Uncertainty
Material Type:
Livro 		Adicionar ao Meu Espaço

Subjective Logic: A Formalism for Reasoning under Uncertainty

Jøsang, Audun

Cham: Springer International Publishing AG 2016

Texto completo disponível

Citações Citado por
4
Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings
Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings

Podlaski, Krzysztof ; Mezzina, Claudio Antares

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
5
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings

Drăgoi, Cezara ; Mukherjee, Suvam ; Namjoshi, Kedar

Cham: Springer International Publishing 2021

Sem texto completo

Citações Citado por
6
Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings

Berger, Christian ; Mousavi, Mohammad Reza Mousavi, Mohammad Reza ; Berger, Christian ; Mousavi, Mohammad Reza ; Berger, Christian ; Berger, Christian ; Mousavi, Mohammad Reza

Effective Model-Based Testing of Parallel Systems (EFFEMBAC), 2015, Vol.9361 [Periódico revisado por pares]

Cham: Springer Nature

Texto completo disponível

Citações Citado por
7
Smart Blockchain: First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings
Smart Blockchain: First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Smart Blockchain: First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

Qiu, Meikang

Cham: Springer International Publishing 2018

Sem texto completo

Citações Citado por
8
Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Leucker, Martin ; Rueda, Camilo ; Valencia, Frank D Rueda, Camilo ; Leucker, Martin ; Valencia, Frank D ; Rueda, Camilo ; Valencia, Frank D. ; Leucker, Martin

Cham: Springer Nature 2015

Texto completo disponível

Citações Citado por
9
Learning and Intelligent Optimization: 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers
Learning and Intelligent Optimization: 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Learning and Intelligent Optimization: 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers

Dhaenens, Clarisse ; Jourdan, Laetitia ; Marmion, Marie-Eléonore Dhaenens, Clarisse ; Jourdan, Laetitia ; Marmion, Marie-El'onore ; Jourdan, Laetitia ; Dhaenens, Clarisse ; Marmion, Marie-Eléonore

Cham: Springer Nature 2015

Texto completo disponível

Citações Citado por
10
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Podelski, Andreas

Cham: Springer International Publishing 2018

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (1.383)
  2. Anais de Congresso  (15)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (30)
  2. 1990Até1997  (96)
  3. 1998Até2005  (747)
  4. 2006Até2014  (584)
  5. Após 2014  (388)
  6. Mais opções open sub menu

Idioma 

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

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

Buscando em bases de dados remotas. Favor aguardar.