Suggested Topics within your search.
Showing 1 - 20 results of 31 for search '', query time: 0.07s Refine Results
  1. 1
    Finding the Limits of the Limes Modelling Demography, Economy and Transport on the Edge of the Roman Empire /

    Finding the Limits of the Limes Modelling Demography, Economy and Transport on the Edge of the Roman Empire /

    Published 2019
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29-30, 2018, Revised Selected Papers /

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

    Published 2019
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /

    Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Published 2019
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III /

    Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

    Published 2019
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  5. 5
    Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

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

    Published 2019
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  6. 6
    Cyber-Physical Systems: A Model-Based Approach

    Cyber-Physical Systems: A Model-Based Approach by Taha, Walid M., Taha, Abd-Elhamid M., Thunberg, Johan

    Published 2021
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    Software for Exascale Computing - SPPEXA 2016-2019

    Software for Exascale Computing - SPPEXA 2016-2019

    Published 2020
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  8. 8
    Microsimulation Population Projections with SAS A Reference Guide /

    Microsimulation Population Projections with SAS A Reference Guide / by Marois, Guillaume, KC, Samir

    Published 2021
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  9. 9
    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

    Published 2021
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  10. 10
    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

    Published 2021
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  11. 11
    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I /

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2022
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  12. 12
    Monte Carlo N-Particle Simulations for Nuclear Detection and Safeguards An Examples-Based Guide for Students and Practitioners /

    Monte Carlo N-Particle Simulations for Nuclear Detection and Safeguards An Examples-Based Guide for Students and Practitioners / by Hendricks, John S., Swinhoe, Martyn T., Favalli, Andrea

    Published 2022
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  13. 13
    3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)

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

    Published 2023
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  14. 14
    Toward Good Simulation Practice Best Practices for the Use of Computational Modelling and Simulation in the Regulatory Process of Biomedical Products /

    Toward Good Simulation Practice Best Practices for the Use of Computational Modelling and Simulation in the Regulatory Process of Biomedical Products /

    Published 2024
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  15. 15
    Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II LEAP-ASIA-2019 /

    Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II LEAP-ASIA-2019 /

    Published 2024
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  16. 16
    Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014

    Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014

    Published 2015
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  17. 17
    Anti-fragile ICT Systems

    Anti-fragile ICT Systems by Hole, Kjell Jørgen

    Published 2016
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  18. 18
    Scaling of Differential Equations

    Scaling of Differential Equations by Langtangen, Hans Petter, Pedersen, Geir K.

    Published 2016
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  19. 19
    Air Quality Integrated Assessment A European Perspective /

    Air Quality Integrated Assessment A European Perspective /

    Published 2017
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  20. 20
    Managing the Complexity of Critical Infrastructures A Modelling and Simulation Approach /

    Managing the Complexity of Critical Infrastructures A Modelling and Simulation Approach /

    Published 2016
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:

Search Tools: