I agree that this site is using cookies. You can find further informations here.
X
Silva, Isabela A.
351  results:
Bookchapter (Online) X
Search for persons X
?
1

Verifying CUDA programs using SMT-based context-bounded mod..:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,
Pereira, Phillipe ; Albuquerque, Higo ; Marques, Hendrio... - p. 1648-1653 , 2016
Link: https://dl.acm.org/doi/1..
 
?
2

Growth and Nutrition Indicators in Brazil: Some Perspective..:

, In: Human Growth and Nutrition in Latin American and Caribbean Countries,
Silva, Hilton P. ; Filgueiras, Lígia A. ; Silva, Isabela Venancio... - p. 267-289 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Collaborative virtual community to share class plans for ST..:

, In: 2020 IEEE Global Engineering Education Conference (EDUCON),
Silva, Juarez Bento da ; Bilessimo, Simone Meister Sommer ; Silva, Isabela Nardi da - p. 158-163 , 2020
Link: https://doi.org/10.1109/..
 
?
4

Solid-State Circuit Breakers for D.C. Microgrid Application:

, In: 2020 International Conference on Electrical, Communication, and Computer Engineering (ICECCE),
Anselmo, Isabela Silva ; Rashid, Muhammad H - p. 1-4 , 2020
Link: https://doi.org/10.1109/..
 
?
5

Case 8:

, In: The Teaching Files: Chest,
Silva, C. Isabela S. ; Müller, Nestor L. - p. 16-17 , 2010
Link: https://doi.org/10.1016/..
 
?
6

Online Case 38:

, In: The Teaching Files: Chest,
Silva, C. Isabela S. ; Müller, Nestor L. - p. e76-e77 , 2010
Link: https://doi.org/10.1016/..
 
?
7

Case 127:

, In: The Teaching Files: Chest,
Silva, C. Isabela S. ; Müller, Nestor L. - p. 254-255 , 2010
Link: https://doi.org/10.1016/..
 
?
8

Case 30:

, In: The Teaching Files: Chest,
Silva, C. Isabela S. ; Müller, Nestor L. - p. 60-61 , 2010
Link: https://doi.org/10.1016/..
 
?
9

Case 133:

, In: The Teaching Files: Chest,
Silva, C. Isabela S. ; Müller, Nestor L. - p. 266-267 , 2010
Link: https://doi.org/10.1016/..
 
?
10

Case 145:

, In: The Teaching Files: Chest,
Silva, C. Isabela S. ; Müller, Nestor L. - p. 290-291 , 2010
Link: https://doi.org/10.1016/..
 
?
11

Case 67:

, In: The Teaching Files: Chest,
Silva, C. Isabela S. ; Müller, Nestor L. - p. 134-135 , 2010
Link: https://doi.org/10.1016/..
 
?
12

Case 166:

, In: The Teaching Files: Chest,
Silva, C. Isabela S. ; Müller, Nestor L. - p. 332-333 , 2010
Link: https://doi.org/10.1016/..
 
?
13

Case 16:

, In: The Teaching Files: Chest,
Silva, C. Isabela S. ; Müller, Nestor L. - p. 32-33 , 2010
Link: https://doi.org/10.1016/..
 
?
14

Case 128:

, In: The Teaching Files: Chest,
Silva, C. Isabela S. ; Müller, Nestor L. - p. 256-257 , 2010
Link: https://doi.org/10.1016/..
 
?
15

Case 74:

, In: The Teaching Files: Chest,
Silva, C. Isabela S. ; Müller, Nestor L. - p. 148-149 , 2010
Link: https://doi.org/10.1016/..
 
1-15