Resultados de 1 a 10 de 738 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
Refinado por:
tipo de recurso:
Anais de Congresso
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
Verification of Concurrent Programs on Weak Memory ModelsTravkin, Oleg ; Wehrheim, HeikeTheoretical Aspects of Computing – ICTAC 2016, p.3-24 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 2 |
Material Type: Ata de Congresso
|
|
Petri Nets and Semilinear Sets (Extended Abstract)Yen, Hsu-ChunTheoretical Aspects of Computing – ICTAC 2016, p.25-29 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
new designer malaxer to improve thermal exchange enhancing virgin olive oil qualityAmirante, P ; Clodoveo, M.L ; Tamborrino, A ; Leone, AActa horticulturae, 2012 (949), p.455-462 [Periódico revisado por pares]International Society for Horticultural ScienceTexto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
Oxygen concentration control during olive oil extraction process: a new system to emphasize the organoleptic and healthy properties of virgin olive oilAmirante, P ; Clodoveo, M.L ; Tamborrino, A ; Leone, A ; Dugo, GActa horticulturae, 2012 (949), p.473-480 [Periódico revisado por pares]International Society for Horticultural ScienceTexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
Yield efficiency and mechanical harvesting with trunk shaker of some international olive cultivarsFarinelli, D ; Ruffolo, M ; Boco, M ; Tombesi, AActa horticulturae, 2012 (949), p.379-384 [Periódico revisado por pares]International Society for Horticultural ScienceTexto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Specifying Properties of Dynamic Architectures Using Configuration TracesMarmsoler, Diego ; Gleirscher, MarioTheoretical Aspects of Computing – ICTAC 2016, p.235-254 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
An Abstract Model for Proving Safety of Autonomous Urban TrafficHilscher, Martin ; Schwammberger, MaikeTheoretical Aspects of Computing – ICTAC 2016, p.274-292 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
Ensuring Correctness of Model Transformations While Remaining DecidableBrenas, Jon Haël ; Echahed, Rachid ; Strecker, MartinTheoretical Aspects of Computing – ICTAC 2016, p.315-332 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
Deriving Inverse Operators for Modal LogicGuzmán, Michell ; Perchy, Salim ; Rueda, Camilo ; Valencia, Frank D.Theoretical Aspects of Computing – ICTAC 2016, p.214-232 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
On the Expressiveness of Symmetric CommunicationGiven-Wilson, Thomas ; Legay, AxelTheoretical Aspects of Computing – ICTAC 2016, p.139-157 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
Resultados de 1 a 10 de 738 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
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Science & Technology (346)
- Technology (254)
- Computer Science (175)
- Engineering (118)
- Engineering, Electrical & Electronic (103)
- Life Sciences & Biomedicine (101)
- Agriculture (90)
- Horticulture (89)
- Computer Science, Theory & Methods (83)
- Agronomy (82)
- Computer Science, Software Engineering (77)
- Olives (51)
- Computer Science, Information Systems (46)
- Telecommunications (41)
- Exact Sciences And Technology (36)
- Multiaccess Communication (35)
- Software (31)
- Olea Europaea (30)
- Cultivars (29)
- Applied Sciences (28)
-
Mais opções
Data de Publicação
- Antes de1995 (11)
- 1995Até2001 (60)
- 2002Até2008 (127)
- 2009Até2016 (426)
- Após 2016 (127)
-
Mais opções
Base de Dados/Biblioteca
- IEEE Electronic Library (IEL) Conference Proceedings (316)
- ACM Digital Library Complete (154)
- Single Journals (99)
- SpringerLINK Lecture Notes in Computer Science (2015) (51)
- Lecture Notes in Computer Science Archive (through to 1996) (50)
- Thieme Connect Journals (38)
- DOAJ Directory of Open Access Journals (29)
- ScienceDirect (26)
- Manchester University Research Explorer (23)
- Elektronische Zeitschriftenbibliothek (23)
- AgEcon-Research in Agricultural and Applied Economics (15)
- IngentaConnect Journals (13)
- ClinicalKey (13)
- Journals@Ovid Full Text (12)
- Science Citation Index Expanded (Web of Science) (12)
- SciELO (8)
- Springer Books (7)
- EBSCOhost Business Source Complete (6)
- EBSCOhost Computers and Applied Sciences Complete (5)
- SPIE Digital Library (5)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 