Idioma:

5 Resultados para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Refinado por: Base de dados/Biblioteca: Science Citation Index Expanded (Web of Science)

Result Number	Material Type	Record Details and Options
1	Material Type: Capítulo de Livro	Monitoring lipophagy in kidney epithelial cells in response to shear stress Kepp, Oliver ; Galluzzi, Lorenzo Methods in cell biology, 2021, Vol.164, p.11-25 [Periódico revisado por pares] United States: Elsevier Science & Technology Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Capítulo de Livro	SIMBA: An Approach for Real-Time Multi-agent Systems Julian, V. ; Carrascosa, C. ; Rebollo, M. ; Soler, J. ; Botti, V. Lecture notes in computer science, 2002, p.282-293 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Capítulo de Livro	System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches Dondossola, Giovanna ; Botti, Oliver Fundamental Approaches to Software Engineering, p.82-96 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Capítulo de Livro	TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications Botti, O. ; De Florio, V. ; Deconinck, G. ; Cassinari, F. ; Donatelli, S. ; Bobbio, A. ; Klein, A. ; Kufner, H. ; Lauwereins, R. ; Thurner, E. ; Verhulst, E. Euro-Par’99 Parallel Processing, 1999, p.1166-1170 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
5	Material Type: Capítulo de Livro	An incremental specification of a Hydroelectric Power Plant Control System using a class of modular algebraic nets Battiston, E. ; Botti, O. ; Crivelli, E. ; De Cindio, F. Application and Theory of Petri Nets 1995, 1995, p.84-102 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por