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
High Power Impulse Magnetron Sputtering: Fundamentals, Technologies, Challenges and Applications
1, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods: Foundations and Applications : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
1st ed. 2021., 2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Advances in Heat Pump-Assisted Drying Technology
1, 2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Theoretical Treatment of Electron Emission and Related Phenomena
1, 2022
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Periodization in the Art Historiographies of Central and Eastern Europe
1, 2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Advances in New Heat Transfer Fluids: From Numerical to Experimental Techniques
1, 2017
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Cost Analysis for an Actor-Based Workflow Modelling Language
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.104-121
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Statistical Model Checking for Traffic Models
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.17-33
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.53-69
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.70-86
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Minimization of the Number of Clocks for Timed Scenarios
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.122-139
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Visual Specification of Properties for Robotic Designs
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.34-52
2021
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Module Integration Using Graph Grammars (MIGRATE)
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.87-103
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.1-16
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modeling the high power impulse magnetron sputtering discharge
High Power Impulse Magnetron Sputtering, 2019
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Physics of high power impulse magnetron sputtering discharges
High Power Impulse Magnetron Sputtering, 2019
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
From Byzantine to Brâncovenesc: The Periodization of Romanian Art in the Second Half of the Nineteenth Century
Periodization in the Art Historiographies of Central and Eastern Europe, 2022, p.48-67
1, 2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Organization
Formal Methods: Foundations and Applications, 2021, Vol.13130
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Intro
Formal Methods: Foundations and Applications, 2021, Vol.13130
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Advances in Dehumidifier Timber Drying in New Zealand
Advances in Heat Pump-Assisted Drying Technology, 2016, p.265-304
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Drying of Fruits and Vegetables: The Impact of Different Drying Methods on Product Quality
Advances in Heat Pump-Assisted Drying Technology, 2016, p.207-234
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modeling, Simulation, and Optimization of Heat Pump Drying Systems
Advances in Heat Pump-Assisted Drying Technology, 2016, p.135-146
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Advances in Heat Pump-Assisted Drying of Fruits
Advances in Heat Pump-Assisted Drying Technology, 2016, p.167-194
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Advances in Heat Pump-Assisted Agro-Food Drying Technologies
Advances in Heat Pump-Assisted Drying Technology, 2016, p.147-166
2016
Volltextzugriff (PDF)
1 – 25 von 206
Suche als RSS-Feed
Aktive Filter
KollektionEbook Central Perpetual and DDA
Suchergebnisse filtern
Filter anzeigen