E-LIB Suche - Ergebnisse für: Mário L. R. Monteiro

1

Bounded Model Checking of C++ Programs Based on the Qt Cros..:

, In: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE),

Monteiro, Felipe R. ; Garcia, Mario A. P. ; Cordeiro, Lucas C.. - p. 954-954 , 2018

Link: https://doi.org/10.1145/..

2

Bounded model checking of C++ programs based on the Qt cros..:

, In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering,

Monteiro, Felipe R. ; Garcia, Mário A. P. ; Cordeiro, Lucas C.. - p. 954 ff. , 2018

Link: https://dl.acm.org/doi/1..

3

List of Contributors:

, In: The Behavioral, Molecular, Pharmacological, and Clinical Basis of the Sleep-Wake Cycle,

Acosta-Hernández, Mario Eduardo ; Almeneessier, Aljohara S. ; BaHammam, Ahmed S.... - p. ix-xi , 2019

Link: https://doi.org/10.1016/..

4

About the Contributors:

, In: Endothelium and Cardiovascular Diseases,

Moise, Alexander R. ; Abizaid, Alexandre ; Fiorelli, Alfredo Inácio... - p. vii-xii , 2018

Link: https://doi.org/10.1016/..

5

CloudSim Plus: A cloud computing simulation framework pursu..:

, In: 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM),

Silva Filho, Manoel C. ; Oliveira, Raysa L. ; Monteiro, Claudio C... - p. 400-406 , 2017

Link: https://doi.org/10.23919..

6

The Nature of Peer-to-Peer Traffic:

, In: Handbook of Peer-to-Peer Networking,

Gomes, João V. P. ; Inácio, Pedro R. M. ; Freire, Mário M... - p. 1231-1252 , 2009

Link: https://doi.org/10.1007/..

7

Contributors:

, In: The Neurobiology, Physiology, and Psychology of Pain,

Acuña, Mario A. ; Aiyer, Rohit ; Albu, Sergiu... - p. xv-xix , 2022

Link: https://doi.org/10.1016/..

8

Absence from Work in Pregnancy Related to Racial Factors: A..:

, In: XXVII Brazilian Congress on Biomedical Engineering; IFMBE Proceedings,

Monteiro, A. A. A. R. ; Guimarães, M. S. ; Cruz, E. F.. - p. 1379-1385 , 2022

Link: https://doi.org/10.1007/..

9

Evaluation of Ergonomic Risk of Warehouse Activities in a T..:

, In: Studies in Systems, Decision and Control; Occupational and Environmental Safety and Health III,

Fernandes, J. ; Monteiro, R. ; Carneiro, Paula.. - p. 421-431 , 2021

Link: https://doi.org/10.1007/..

10

The importance of preventing and controlling biofilm in wou..:

, In: Wound Healing Biomaterials,

Barbosa, D.B. ; Agostinho Hunt, A.M. ; Berretta, A.... - p. 79-105 , 2016

Link: https://doi.org/10.1016/..

11

List of contributors:

, In: Wound Healing Biomaterials,

Agostinho Hunt, A.M. ; Aguzzi, C. ; Ahmad, A.... - p. xiii-xvi , 2016

Link: https://doi.org/10.1016/..

12

Silver and Phosphate Nanoparticles:

, In: Nanobiomaterials in Clinical Dentistry,

Barbosa, D.B. ; Monteiro, D.R. ; Takamyia, A.S.... - p. 187-202 , 2013

Link: https://doi.org/10.1016/..

13

Evolving software product lines with aspects : an empiri..:

, In: Proceedings of the 30th international conference on Software engineering,

Figueiredo, Eduardo ; Cacho, Nelio ; Sant'Anna, Claudio... - p. 261-270 , 2008

Link: https://dl.acm.org/doi/1..

14

Switch input supply: a load adaptive soft-switching cell us..:

, In: Industrial Electronics, 2002. ISIE 2002. Proceedings of the 2002 IEEE International Symposium on,

Monteiro, R.D. ; Anunciada, A.V.A. - p. None , 2002

Link: https://doi.org/10.1109/..

15

FPGA-targeted development system for embedded applications:

, In: Proceedings of the 1999 ACM/SIGDA seventh international symposium on Field programmable gate arrays,

Sklyarov, V. ; Fonseca, J. ; Monteiro, R.... - p. 248 ff. , 1999

Link: https://dl.acm.org/doi/1..