Výsledky vyhledávání - "COMPUTERS / Computer Simulation"

Sensitivity Analysis for Business, Technology, and Policymaking : Made Easy with Simulation Decomposition (SimDec)

Autoři: Mariia Kozlova Julian Scott Yeomans

Resource Type: eBook.

Témata: Decision making--Simulation methods, Sensitivity theory (Mathematics)--Simulation methods, Decision support systems

Categories: BUSINESS & ECONOMICS / Decision-Making & Problem Solving, BUSINESS & ECONOMICS / General, BUSINESS & ECONOMICS / Operations Research, BUSINESS & ECONOMICS / Business Mathematics, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Proceedings of the First International Conference on Applied Mathematics, Statistics, and Computing (ICAMSAC 2023)

Autoři: Komang Dharmawan Ngurah Agus Sanjaya ER

Resource Type: eBook.

Témata: Mathematics--Congresses, Computer simulation--Congresses

Categories: COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Toward Good Simulation Practice

Autoři: Marco Viceconti Luca Emili

Resource Type: eBook.

Témata: Biomedical engineering--Computer simulation, Biomedical engineering--Mathematical models

Categories: TECHNOLOGY & ENGINEERING / Biomedical, COMPUTERS / Computer Simulation, SCIENCE / Ethics

Proceedings of the 2022 2nd International Conference on Computer Technology and Media Convergence Design (CTMCD 2022)

Autoři: Kannimuthu Subramanian Jian Ouyang Wei Wei

Resource Type: eBook.

Témata: Computer science--Congresses

Categories: COMPUTERS / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Design, Graphics & Media / CAD-CAM, COMPUTERS / User Interfaces, COMPUTERS / Computer Simulation, COMPUTERS / Human-Computer Interaction (HCI), COMPUTERS / Design, Graphics & Media / General, TECHNOLOGY & ENGINEERING / Construction / General

Proceedings of the International Conference on Applied Sciences and Engineering (ICASE 2023)

Autoři: Ulziibayar Vandandoo Namnan Tumurpurev Ochirbat Baatar a další

Resource Type: eBook.

Témata: Engineering--Congresses, Technology--Congresses

Categories: COMPUTERS / Computer Simulation, MATHEMATICS / Applied, SCIENCE / Biotechnology, SCIENCE / Chemistry / Industrial & Technical, SCIENCE / Environmental Science, TECHNOLOGY & ENGINEERING / Chemical & Biochemical, TECHNOLOGY & ENGINEERING / Environmental / General, SCIENCE / Chemistry / Environmental

Attachment Ventilation Theory

Autoři: Angui Li

Resource Type: eBook.

Témata: Ventilation--Technological innovations

Categories: TECHNOLOGY & ENGINEERING / Civil / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Simulation, SCIENCE / Mechanics / Fluids, TECHNOLOGY & ENGINEERING / Construction / General, TECHNOLOGY & ENGINEERING / Mechanical

Proceedings of the 2022 International Conference on Mathematical Statistics and Economic Analysis (MSEA 2022)

Autoři: Gaikar Vilas Bhau Yuriy Shvets Hrushikesh Mallick

Resource Type: eBook.

Témata: Econometrics--Congresses, Mathematical statistics--Congresses

Categories: MATHEMATICS / Probability & Statistics / General, BUSINESS & ECONOMICS / General, BUSINESS & ECONOMICS / Economics / Microeconomics, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Simulation

3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)

Autoři: Steffen Ihlenfeldt

Resource Type: eBook.

Témata: Machinery--Congresses, Heat engineering--Congresses

Categories: SCIENCE / Mechanics / Thermodynamics, COMPUTERS / Computer Simulation, TECHNOLOGY & ENGINEERING / Manufacturing

Tools and Algorithms for the Construction and Analysis of Systems

Autoři: Dana Fisman Grigore Rosu

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Microsimulation Population Projections with SAS

Autoři: Guillaume Marois Samir KC

Resource Type: eBook.

Témata: Statistical matching, Demography--Statistical methods, SAS (Computer program language)

Categories: SOCIAL SCIENCE / Demography, COMPUTERS / Computer Simulation

Proceedings of the 2020 DigitalFUTURES

Autoři: Philip F. Yuan Jiawei Yao Chao Yan a další

Resource Type: eBook.

Témata: Automation--Congresses, Computer-aided engineering--Congresses, Robotics--Congresses, Artificial intelligence--Congresses, Computer simulation--Congresses

Categories: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Design, Graphics & Media / CAD-CAM, COMPUTERS / Computer Simulation, TECHNOLOGY & ENGINEERING / Robotics

Computer Aided Verification

Autoři: Alexandra Silva K. Rustan M. Leino

Resource Type: eBook.

Témata: Artificial intelligence, Computer software--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Computer Simulation

Annals of Scientific Society for Assembly, Handling and Industrial Robotics

Autoři: Thorsten Schüppstuhl Kirsten Tracht Dominik Henrich

Resource Type: eBook.

Témata: Robots, Industrial

Categories: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Computer Simulation, TECHNOLOGY & ENGINEERING / Industrial Design / General, TECHNOLOGY & ENGINEERING / Manufacturing, TECHNOLOGY & ENGINEERING / Machinery

Ein Physiologiemodell für Tactical Combat Casualty Care Training in mobilen Serious Games

Autoři: Julia Hofmann

Resource Type: eBook.

Témata: Application software, Emergency medicine

Categories: COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Simulation, MEDICAL / Emergency Medicine

Software for Exascale Computing - SPPEXA 2016-2019

Autoři: Hans-Joachim Bungartz Severin Reiz Benjamin Uekermann a další

Resource Type: eBook.

Témata: Computer science

Categories: COMPUTERS / Computer Simulation, COMPUTERS / Computer Science, COMPUTERS / Data Transmission Systems / Electronic Data Interchange, COMPUTERS / Hardware / General, MATHEMATICS / Applied, SCIENCE / Physics / Mathematical & Computational, TECHNOLOGY & ENGINEERING / Engineering (General)

VR Technologies in Cultural Heritage : First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers

Autoři: Mihai Duguleană Marcello Carrozzino Matjaž Gams a další

Resource Type: eBook.

Témata: Cultural property--Congresses, Virtual reality--Congresses

Categories: COMPUTERS / Computer Simulation, COMPUTERS / Networking / General

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Autoři: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Témata: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems

Autoři: Dirk Beyer Marieke Huisman Fabrice Kordon a další

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation