Sortiert nach
Revista verde de agroecologia e desenvolvimento sustentável, 2017-10, Vol.12 (4), p.717-728
2017
Link zum Volltext
RISTI : Revista Ibérica de Sistemas e Tecnologias de Informação, 2017-09 (23), p.46-60
2017
Link zum Volltext
Parasites & vectors, 2018-03, Vol.11 (1), p.191-191, Article 191
2018
Link zum Volltext
Molecular neurobiology, 2016-11, Vol.53 (9), p.5864-5875
2016
Link zum Volltext
Automated Deduction - CADE-25, p.378-388
Link zum Volltext
Memórias do Instituto Oswaldo Cruz, 2014-08, Vol.109 (5), p.577-588
2014
Link zum Volltext
Revista Paulista de Pediatria, 2024-01, Vol.42, p.e2023134
2024
Link zum Volltext
Clinical and Vaccine Immunology, 2008-04, Vol.15 (4), p.650-658
2008
Link zum Volltext
Journal of automated reasoning, 2020-03, Vol.64 (3), p.511-511
2020
Link zum Volltext
RGSA : Revista de Gestão Social e Ambiental, 2015-08, Vol.9 (1), p.66-81
2015
Link zum Volltext
Medicina (Kaunas, Lithuania), 2019-07, Vol.55 (7), p.352
2019
Link zum Volltext
Computer Aided Verification, 2006, p.81-94
2006
Link zum Volltext
Experimental parasitology, 2010-07, Vol.125 (3), p.271-278
2010
Link zum Volltext
Logical methods in computer science, 2022-01, Vol.18, Issue 2
2022
Link zum Volltext
International journal of molecular sciences, 2023-07, Vol.24 (14), p.11332
2023
Link zum Volltext
Formal Methods: Foundations and Applications, p.23-36
Link zum Volltext
Trabalho & educação, 2020-05, Vol.29 (1), p.15-32
2020
Link zum Volltext
Viruses, 2023-04, Vol.15 (4), p.999
- da Silva Santos, Yasmin
- Gamon, Thais Helena Martins
- de Azevedo, Marcela Santiago Pacheco
- Telezynski, Bruna Larotonda
- de Souza, Edmarcia Elisa
- de Oliveira, Danielle Bruna Leal
- Dombrowski, Jamille Gregório
- Rosa-Fernandes, Livia
- Palmisano, Giuseppe
- de Moura Carvalho, Leonardo José
- Luvizotto, Maria Cecília Rui
- Wrenger, Carsten
- Covas, Dimas Tadeu
- Curi, Rui
- Marinho, Claudio Romero Farias
- Durigon, Edison Luiz
- Epiphanio, Sabrina
2023
Link zum Volltext
Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-29
2017
Link zum Volltext
Revista Brasileira de Financas, 2023-01, Vol.21 (1), p.125
2023
Link zum Volltext
Formal methods in system design, 2013-02, Vol.42 (1), p.3-23
2013
Link zum Volltext
Interface - Comunicação, Saúde, Educação, 2007-08, Vol.11 (22), p.281-294
2007
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Technology
- Humans
- Computer Science
- Animals
- Male
- Female
- Computer Science, Artificial Intelligence
- Physical Sciences
- Brazil
- Surgery
- Computer Science, Theory & Methods
- Middle Aged
- Neurosciences & Neurology
- Science & Technology - Other Topics
- Agriculture
- Neurosciences
- Biomedical And Life Sciences
- Adult
Kollektion
- EZB Free E-Journals
- Ingenta
- IngentaConnect Journals
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- Springer Book Series
- Journals@Ovid Complete
- SpringerLink Journals - AutoHoldings
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library - AutoHoldings Journals
- Publisher or Other Site
- Business Source Ultimate
- Wiley Online Library Full Collection 2018
- Thieme Connect Journals
- Taylor & Francis:Master (3349 titles)
- IEEE Electronic Library (IEL)
- Taylor & Francis Journals Auto-Holdings Collection
Zeitschrift / Serie
- Brazilian Journal Of Implantology And Health Sciences
- The Brazilian Journal Of Infectious Diseases
- Brazilian Journal Of Development
- Plos One
- Revista Brasileira De Cirurgia Plástica
- Ciência & Saude Coletiva
- Arquivos Brasileiros De Oftalmologia
- Arquivos Brasileiros De Cardiologia
- Ciência Rural
- Revista Brasileira De Ortopedia
Neu hinzugefügt