10 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Formal Methods for Dynamical SystemsMarco Vink, Erik de Pierro, Alessandra Di Wiklicky, Herbert Bernardo Erik de Vink; Alessandra Di Pierro; Herbert WiklickySpringer Berlin Heidelberg 2013Acesso online |
| 2 |
Material Type: Artigo
|
|
Psychology and the workers' health movement in the state of São Paulo (Brasil)Leny Sato Francisco Antonio de Castro Lacaz; Márcia Hespanhol BernardoJournal of Health Psychology London v. 9, n. 1, p. 121-130, 2004Londres 2004Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Artigo
|
|
Psychology and the workers' health movement in the state of São Paulo (Brasil)Leny Sato Francisco Antonio de Castro Lacaz; Márcia Hespanhol BernardoJournal of Health Psychology London v. 9, n. 1, p. 121-130, 2004Londres 2004Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Artigo de Congresso
|
|
Modelo de negócios aplicado na criação de um sistema de transporte de petsAugusto Hauber Gameiro Mauro Santo Bernardo; Rodrigo Bernardo; Luciene Rose Lemes; Celso da Costa Carrer; Fórum Internacional on-line de Empreendedorismo e Inovação no Agro - FINOVAGRO (1. 2020 São Paulo)Anais Campinas: Galoá, 2020Campinas Galoá 2020Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
Formal Methods for Software ArchitecturesGerhard Hartmanis, Juris van Leeuwen, Jan Goos Marco Bernardo; Paola InverardiSpringer Berlin Heidelberg 2003Acesso online |
| 6 |
Material Type: Artigo
|
|
Psychologie sociale du travail rencontres entre recherche et interventionFábio de Oliveira Egeu Gómez Esteves; Márcia Hespanhol Bernardo; Leny SatoBulletin de Psychologie Paris n. 536, 2015Paris 2015Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Livro
|
|
Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : advanced lecturesInternational School on Formal Methods for the Design of Computer Communication, and Software Systems (5th 2005 Bertinoro, Italy) Marco Bernardo; Alessandro BoglioloBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Livro
|
|
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lecturesInternational School on Formal Methods for the Design of Computer Communication, and Software Systems (4th 2004 Bertinoro, Italy) Marco Bernardo; Flavio CorradiniBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
| 9 |
Material Type: Livro
|
|
Formal Methods for the Design of Real-Time SystemsInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems Marco Bernardo; Flavio CorradiniSpringer Berlin / Heidelberg 2004Acesso online |
| 10 |
Material Type: Artigo de Congresso
|
|
Proposta de criação da disciplina modelo de negócio aplicado ao agronegócio com ênfase na indústria animalMauro Santo Bernardo Celso da Costa Carrer; Augusto Hauber Gameiro; Fórum Internacional on-line de Empreendedorismo e Inovação no Agro - FINOVAGRO (1. 2020 São Paulo)Anais Campinas: Galoá, 2020Campinas Galoá 2020Acesso online. A biblioteca também possui exemplares impressos. |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- M Ethode Formelle (2)
- Modelo De Negócio (2)
- Engenharia De Programas (2)
- Saúde Ocupacional (2)
- Sistemas Distribuídos (Congressos) (2)
- Computer Software (2)
- Psicologia Da Saúde (2)
- Especificação De Sistemas E Programas (Congressos) (2)
- Formal Methods (Computer Science) (2)
- Formale Methode (2)
- Computação Móvel (Congressos) (2)
- Real-Time Data Processing (1)
- Zeitbewertetes Petri-Netz (1)
- System Design (1)
- Logiciel (1)
- Syst Eme De Communication Mobile (1)
- Zeitbehafteter Automat (1)
- Syst Eme Informatique (1)
- Mobile Computing (1)
- Transporte De Animais (1)
-
Mais opções
Autor/Criador
- Sato, L (3)
- Gameiro, A (2)
- Corradini, F (2)
- Carrer, C (2)
- Lacaz, F (2)
- Fórum Internacional On-Line de Empreendedorismo e Inovação no Agro - FINOVAGRO (2)
- International School on Formal Methods for the Design of Computer Communication (2)
- Goos, G (1)
- Oliveira, F (1)
- Inverardi, P (1)
- Wiklicky, H (1)
- Bogliolo, A (1)
- de Vink, E (1)
- Esteves, E (1)
- International School on Formal Methods for the Design of Computer, C (1)
- Lemes, L (1)
- Bernardo, R (1)
- Di Pierro, A (1)
-
Mais opções
Data de Publicação
- Antes de2004 (1)
- 2004Até2004 (4)
- 2005Até2012 (1)
- 2013Até2015 (2)
- Após 2015 (2)
-
Mais opções
Biblioteca
Idioma
- Inglês (7)
- Português (2)
- Francês (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 