OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (4)
61 (4)
73 (4)
30 (2)
57 (2)
34 (1)
72 (1)

Show More Show Less

Author

Barigye S.J. (2)
Cobo, Manuel J. (2)
García-Jacas C.R. (2)
Lis Gutierrez, Jenny Paola (2)
Machado, M. (2)
Marrero-Ponce Y. (2)
Viloria Silva, Amelec Jesus (2)
Abbasi, Qammer H. (1)
Acevedo-Martínez L. (1)
Aguilera-Mendoza L. (1)

Show More Show Less

Subject

Software (16)
Algorithm (3)
Accounting (2)
Algorithms (2)
Article (2)
Bibliometrics (2)
Ciencias Informáticas (2)
Human (2)
Humans (2)
Interactive systems design (2)

Show More Show Less

Year

2018 (5)
2019 (5)
2020 (5)
2015 (3)
2016 (3)
2007 (2)
2009 (2)
2012 (2)
2010 (1)
2011 (1)

Show More Show Less

Document Type

Artículo (18)

Show More Show Less

Language

Inglés (18)

Show More Show Less

Your search

Subject: Software Program Verification Document Type: Artículo Language: Inglés

Sort by Score Title Year -

11-18 from 18 results (0.014 seconds)

Title: Accounting and the ERP systems: case study
Author: Machado, M. / Gomes, J.
Language: Inglés
Repository: 73
Subject: Accountant role / Accountant tasks / Accounting / Case study / ERP / SAP ERP / Service organization / Software

Acceder
Title: BioSmalltalk: a pure object system and library for bioinformatics
Author: Morales Durand, Hernán F. / Giovambattista, Guillermo
Language: Inglés
Repository: 37
Subject: Informática / Biología / Bioinformatics programming / Open-source programming toolkits / Software

Acceder
Title: Software network analyzer for computer network performance measurement planning over heterogeneous services in higher educational institutes
Author: Ismail, Mohd Nazri
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / Information networks

AccederDescargar
Title: A Quantitative Framework for the Evaluation of Agile Methodologies
Author: Mendes Calo, Karla / Estévez, Elsa Clara / Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / SCRUM / XP

AccederDescargar
Title: Software tools for conducting bibliometric analysis in science: An up-to-date review
Author: Moral-Munoz, Jose A. / Herrera-Viedma, Enrique / Santisteban-Espejo, Antonio / Cobo, Manuel J.
Language: Inglés
Repository: 30
Subject: Bibliometrics / Scientometrics / Science mapping analysis / Tools / Bibliographic databases / Performance analysis / Software / R-package / Python-package / Software review

Acceder
Title: Link Between Sustainability and Industry 4.0: Trends, Challenges and New Perspectives
Author: Furstenau, Leonardo B. / Sott, Michele Kremer / Kipper, Liane Mahlmann / Machado, Enio Leandro / Lopez-Robles, Jose Ricardo / Dohan, Michael S. / Cobo, Manuel J. / Zahid, Adnan / Abbasi, Qammer H. / Imran, Muhammad Ali
Language: Inglés
Repository: 30
Subject: Sustainable development / Bibliometrics / Industries / Production facilities / Smart manufacturing / Software / Industry 4.0; / sustainable manufacturing / sustainability / bibliometric / strategic intelligence / co-word analysis / SciMAT

Acceder
Title: Ionizing radiation measurement solution in a hospital environment
Author: García Sánchez, Antonio Javier / García Angosto, Enrique Ángel / Moreno Riquelme, Pedro Antonio / Serna Berna, Alfredo / Ramos Amores, David
Language: Inglés
Repository: 72
Subject: Gamma radiation / Healthcare workers safety / Dosimetry solution / Verification / Evaluation / Ingeniería Telemática / 3201.11 Radiología

Acceder
Title: A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols
Language: Inglés
Repository: 34
Subject: Authentication / Electric fault location / Mathematical models / Network protocols / Software engineering / Formal methods / Formal verification / Mobile security / Theorem proving / Verification / Replay attacks / Security protocols / Network security / Cryptographic protocols / Engineering practices / Fault localization / Inductive method / patching / Replay attack / State exploration / 7 INGENIERÍA Y TECNOLOGÍA

Acceder

« Previous 1 2 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723