Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Pereira, Mário J.T.
416  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Contributors:

, In: Nitric Oxide in Health and Disease,
Acikgoz, Eda ; Anzini, Maurizio ; Arbelaez, Maria Camila Suarez... - p. ix-xi , 2023
Link: https://doi.org/10.1016/..
 
?
2

Automatic Delta-Adjustment Method Applied to Missing Not At..:

, In: Computational Science – ICCS 2023; Lecture Notes in Computer Science,
Pereira, Ricardo Cardoso ; Rodrigues, Pedro Pereira ; Figueiredo, Mário A. T.. - p. 481-493 , 2023
Link: https://doi.org/10.1007/..
 
?
3

List of contributors:

, In: New Aspects of Meat Quality,
Aalhus, J.L. ; Bertram, Hanne Christine ; Bjørge Müller, Mette Helen... - p. xi-xiv , 2022
Link: https://doi.org/10.1016/..
 
?
4

List of Contributors:

, In: Microbial Glycobiology,
Al-Maharik, Nawaf ; Annuk, Heidi ; Apicella, Michael A.... - p. xi-xv , 2010
Link: https://doi.org/10.1016/..
 
?
5

List of contributors:

, In: Translational Sports Medicine,
Abboud, Joseph ; Akhnoukh, Kyrillos M. ; Alexandrov, Alexander... - p. xiii-xix , 2023
Link: https://doi.org/10.1016/..
 
?
6

Contributors:

, In: Vitamins and Minerals in Neurological Disorders,
Adlard, Paul A. ; Afridi, Hassan Imran ; Agarwal, Renu... - p. xxv-xxxiv , 2023
Link: https://doi.org/10.1016/..
 
?
7

Contributors:

, In: The Role of Alternative and Innovative Food Ingredients and Products in Consumer Wellness,
Beyrer, M. ; Bier, Mario C.J. ; Brück, W.M.... - p. ix-xi , 2019
Link: https://doi.org/10.1016/..
 
?
8

List of Contributors:

, In: Molecular Basis of Nutrition and Aging,
Abd-El-Gawad, Wafaa Mostafa ; Achón, María ; Anderson, Darrell E.... - p. xiii-xvii , 2016
Link: https://doi.org/10.1016/..
 
?
9

Contributors:

, In: Supportive Oncology,
Abernethy, Amy P. ; Adler, Douglas G. ; Alici, Yesne... - p. vi-x , 2011
Link: https://doi.org/10.1016/..
 
?
10

Leroy and Blazy Were Right: Their Memory Model Soundness Pr..:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools and Experiments.,
Barroso, Pedro ; Pereira, Mário ; Ravara, António - p. 20-32 , 2023
Link: https://doi.org/10.1007/..
 
?
11

Reliability-Constrained Power System Expansion Planning: A ..:

, In: 2022 IEEE Power & Energy Society General Meeting (PESGM),
da Costa, Luiz Carlos ; Garcia, Joaquim Dias ; Thome, Fernanda. - p. 1-1 , 2022
Link: https://doi.org/10.1109/..
 
?
12

Performance Evaluation of Dispatching Rules and Simulated A..:

, In: The 15th International Conference Interdisciplinarity in Engineering; Lecture Notes in Networks and Systems,
Almeida, Diogo ; Ferreira, Luís Pinto ; Sá, José Carlos... - p. 258-267 , 2022
Link: https://doi.org/10.1007/..
 
?
13

Cameleer: A Deductive Verification Tool for OCaml:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Pereira, Mário ; Ravara, António - p. 677-689 , 2021
Link: https://doi.org/10.1007/..
 
?
14

A tool for proving Michelson Smart Contracts in WHY3:

, In: 2020 IEEE International Conference on Blockchain (Blockchain),
Arrojado da Horta, Luis Pedro ; Santos Reis, Joao ; de Sousa, Simao Melo. - p. 409-414 , 2020
Link: https://doi.org/10.1109/..
 
?
15

Single harmonic based Model Predictive Control for tracking:

, In: 2019 IEEE 58th Conference on Decision and Control (CDC),
Krupa, Pablo ; Pereira, Mario ; Limon, Daniel. - p. 151-156 , 2019
Link: https://doi.org/10.1109/..
 
1-15