Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code
Rigorous State-Based Methods, p.160-178
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Enhancing Web Browser Extensions: Preventing JavaScript Code Injection and Vulnerabilities
Innovative Computing and Communications, 2024, Vol.1020, p.547-557
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Dynamic Data-Flow Analysis with Dacite: Evaluating an Integrated Data-Flow Visualization Approach
Evaluation of Novel Approaches to Software Engineering, 2024, Vol.2028
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Advancing Code Smell Detection: Live Global Data Detection and Data Clumps Testcases
Evaluation of Novel Approaches to Software Engineering, 2024, Vol.2028
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Basic Network Operations in Different Worlds Under SGT
Spatial Networking in the United Physical, Virtual, and Mental World, 2024, Vol.533
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Higher Fault Detection Through Novel Density Estimators in Unit Test Generation
Search-Based Software Engineering, 2024, p.18-32
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Singleton and Factory Design Patterns Detection Based on Features and Machine Learning
Evaluation of Novel Approaches to Software Engineering, 2024, Vol.2028
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Creating Feature Model for YAML Generator in CI/CD Pipelines with React Web Application
Proceedings of Ninth International Congress on Information and Communication Technology, 2024, Vol.1004
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Advancement of Data Analysis, Decision Support System, Data-Driven Modeling on the Eighteenth ICMSEM Proceedings
The Eighteenth International Conference on Management Science and Engineering Management, 2024, Vol.215
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Introduction
Asia-Pacific Regional Security Assessment 2024, 2024, Vol.1, p.6-13
1, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Novel Algorithm to Predict Electoral Trends, Case in Mexico
Information Management and Big Data, 2024, Vol.2142
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Adaption of Stochastic Models (ASMo) - A Tool for Input Modeling
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024, p.72-89
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Survey on Security Issues of SDN Controllers
Frontiers of Networking Technologies, 2024, Vol.1988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Enhancing Software Defect Prediction: Exploring the Predictive Power of Two Data Flow Metrics
Evaluation of Novel Approaches to Software Engineering, 2024, Vol.2028
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
CBRkit: An Intuitive Case-Based Reasoning Toolkit for Python
Case-Based Reasoning Research and Development, 2024, p.289-304
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding
Rigorous State-Based Methods, p.141-159
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Collaborative Benchmarking Rule-Reasoners with B-Runner
Rules and Reasoning, 2024, p.23-31
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Meta-programming Event-B: Advancing Tool Support and Language Extensions
Rigorous State-Based Methods, p.233-240
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Small Step Incremental Verification of Compilers
Rigorous State-Based Methods, p.262-269
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Natural Products Dereplication: Databases and Analytical Methods
Progress in the Chemistry of Organic Natural Products 124, 2024, Vol.124
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Review of the Use of Wind and Solar Energy for Powering Small- and Medium-Sized Vessels, the Case of Indonesia
Exploring Diversity in Engineering and Technology for Knowledge and Innovation, 2024, Vol.215
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Study of Coastal Morphology Changes Due to Tsunami in the Sunda Megathrust—A Case Study at Pelabuhan Ratu Bay
Exploring Diversity in Engineering and Technology for Knowledge and Innovation, 2024, Vol.215
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Improving Complex Adaptations in Process-Oriented Case-Based Reasoning by Applying Rule-Based Adaptation
Case-Based Reasoning Research and Development, 2024, p.50-66
2024
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
From Event-B to Lambdapi
Rigorous State-Based Methods, 2024, Vol.14759, p.387-391
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Digitale Tools für smarte Personalarbeit
Smart HRM, 2024
2024
Volltextzugriff (PDF)
1 – 25 von 98
Suche als RSS-Feed
Aktive Filter
KollektionIngentaConnect
Neu hinzugefügt... seit 90 Tagen
ThemaLife Sciences & Biomedicine
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen