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
    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
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
High Power Impulse Magnetron Sputtering: Fundamentals, Technologies, Challenges and Applications
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Periodization in the Art Historiographies of Central and Eastern Europe
1, 2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Advances in Heat Pump-Assisted Drying Technology
1, 2016
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Theoretical Treatment of Electron Emission and Related Phenomena
1, 2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Advances in New Heat Transfer Fluids: From Numerical to Experimental Techniques
1, 2017
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    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
Link zum Volltext
Verfügbarkeit prüfen
    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
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Visual Specification of Properties for Robotic Designs
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.34-52
2021
Link zum Volltext
Verfügbarkeit prüfen
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
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Module Integration Using Graph Grammars (MIGRATE)
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.87-103
2021
Link zum Volltext
Verfügbarkeit prüfen
    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
Link zum Volltext
Verfügbarkeit prüfen
    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
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Statistical Model Checking for Traffic Models
Formal Methods: Foundations and Applications, 2021, Vol.13130, p.17-33
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Advances in Industrial Heat Transfer
1, 2012
Link zum Volltext
Verfügbarkeit prüfen
    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
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Physics of high power impulse magnetron sputtering discharges
High Power Impulse Magnetron Sputtering, 2019, p.265
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Advances in Heat Pump-Assisted Drying of Fruits
Advances in Heat Pump-Assisted Drying Technology, 2016, p.167-194
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Advances in Dehumidifier Timber Drying in New Zealand
Advances in Heat Pump-Assisted Drying Technology, 2016, p.265-304
2016
Link zum Volltext
Verfügbarkeit prüfen
    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
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Advances in Heat Pump-Assisted Technologies for Drying of Vegetables
Advances in Heat Pump-Assisted Drying Technology, 2016, p.195-206
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Numerical Modeling of Heat Pump-Assisted Contact Drying
Advances in Heat Pump-Assisted Drying Technology, 2016, p.235-264
2016
Link zum Volltext
Verfügbarkeit prüfen
    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
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Advances in Industrial Heat Pump Technologies and Applications
Advances in Heat Pump-Assisted Drying Technology, 2016, p.19-134
2016
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 187
Suche als RSS-Feed
Aktive Filter
SpracheFinnisch
KollektioneBooks on EBSCOhost
Suchergebnisse filtern
Filter anzeigen