Arama Sonuçları - "workflow"
Önerilen Konular
Önerilen Konular
- Artificial intelligence 14
- Medicine 10
- Software Engineering 10
- History of engineering & technology 8
- Research & information: general 8
- Biology, life sciences 6
- Chemistry 6
- Society & social sciences 6
- Software engineering 6
- Application software 5
- Artificial Intelligence 5
- Computer and Information Systems Applications 5
- Computer networks 5
- Computing & information technology 5
- Earth sciences 5
- Information technology industries 5
- Materials science 5
- Algorithms & data structures 4
- Analytical chemistry 4
- Archaeology 4
- Cellular biology (cytology) 4
- Computer Engineering and Networks 4
- Computer engineering 4
- Computer networking & communications 4
- Computer science 4
- Data mining 4
- Data processing 4
- Ethical & social aspects of IT 4
- Globalization 4
- Image processing 4
-
1081
-
1082
-
1083
-
1084
Krakau Partituren Bachelor- und Masterentwerfen
Baskı/Yayın Bilgisi 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
1085
A Guide to Additive Manufacturing
Baskı/Yayın Bilgisi 2022OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
1086
-
1087
-
1088
ANALISIS PENERAPAN 5S (SEIRI, SEITON, SEISO, SEIKETSU, SHITSUKE)TERHADAP KEJADIAN KECELAKAAN KERJA DI PT X
Baskı/Yayın Bilgisi 2022Link Metadata
Kitap -
1089
PROSES MANUFAKTUR SHEET PRESS MACHINE DAUR ULANG SAMPAH PLASTIK SKALA MIKRO
Baskı/Yayın Bilgisi 2023Link Metadata
Kitap -
1090
Well productivity prediction for thinly laminated reservoir using integrated high-resolution logs.
Baskı/Yayın Bilgisi 2013Tam Metin Erişim
Kitap -
1091
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Baskı/Yayın Bilgisi 2019İçindekiler: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to Metadata
Elektronik Ekitap -
1092
Critical Points for the Organisation of Test Performance Studies in Microbiology Plant Pathogens as a Case Study /
Baskı/Yayın Bilgisi 2022İçindekiler: “…Selection of TPS participants -- Chapter7. TPS workflow -- Chapter8. Analysis of TPS results data -- Chapter9. …”
Link to Metadata
Elektronik Ekitap -
1093
Current state of dental informatics in the field of health information systems: a scoping review
Baskı/Yayın Bilgisi 2022Connect to this object online.
Kitap -
1094
-
1095
Addressing Learning Needs on the Use of Metagenomics in Antimicrobial Resistance Surveillance
Baskı/Yayın Bilgisi 2020Connect to this object online.
Kitap -
1096
-
1097
-
1098
-
1099
-
1100