( en | de | ru )

 

Disambiguierung von "Pinto, Jorge"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Acacia dealbata classification from aerial imagery acquired using unmanned aerial vehicles.

, , , , und . CENTERIS/ProjMAN/HCist, Seite 626-633. Elsevier, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sonia Maria Pinto Escoval

Elizabeth Pinto

Mariano Aurelio Ernesto Pinto-Bazurco Mendieta

Ana Ruth Jorge Portugal Machado Pinto

Sofia Pinto

 

Weitere Publikationen von Autoren mit dem selben Namen

Measures to Improve Health Performing of an Accommodation Building. A Study Case., , , und . MobiHealth, Volume 484 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 90-99. Springer, (2022)Potential Use of the Theory of Vulnerability in Information Systems., , , , , und . Inf. Resour. Manag. J., 25 (2): 22-33 (2012)Highlighting the Danger of Water Storage Zones in Baixo Tâmega Valley., , , , und . MobiHealth, Volume 484 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 81-89. Springer, (2022)A Lotka-Volterra type model analyzed through different techniques., , und . CoRR, (2023)Acacia dealbata classification from aerial imagery acquired using unmanned aerial vehicles., , , , und . CENTERIS/ProjMAN/HCist, Seite 626-633. Elsevier, (2022)Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)., , , und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 493-495. Springer, (2012)Verification conditions for source-level imperative programs., und . Comput. Sci. Rev., 5 (3): 252-277 (2011)GamaSlicer: an online laboratory for program verification and analysis., , und . LDTA, Seite 3. ACM, (2010)Sequential and Concurrent Abstract Machines for Interaction Nets.. FoSSaCS, Volume 1784 von Lecture Notes in Computer Science, Seite 267-282. Springer, (2000)A Bounded Model Checker for SPARK Programs., , und . ATVA, Volume 8837 von Lecture Notes in Computer Science, Seite 24-30. Springer, (2014)