Arama Sonuçları - "model simulations"
Önerilen Konular
Önerilen Konular
- Computer modelling & simulation 135
- Artificial intelligence 18
- Software Engineering 18
- Computer science 12
- Computer networking & communications 10
- Computer programming / software development 10
- Mathematical theory of computation 10
- Information technology: general issues 8
- Robotics 8
- Algorithms & data structures 7
- Automatic control engineering 6
- Systems analysis & design 6
- Machine learning 4
- Maths for scientists 4
- Production engineering 4
- Programming & scripting languages: general 4
- Technology: general issues 4
- Engineering: general 3
- Engines & power transmission 3
- Heat transfer processes 3
- Mathematical physics 3
- Mechanics of fluids 3
- Thermodynamics & heat 3
- Agronomy & crop production 2
- Archaeology 2
- Biotechnology 2
- Civil engineering, surveying & building 2
- Computer aided manufacture (CAM) 2
- Computer hardware 2
- Computer-aided design (CAD) 2
-
121
The Multi-Agent Transport Simulation MATSim
Baskı/Yayın Bilgisi 2016Konular: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
122
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Baskı/Yayın Bilgisi 2018Konular: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
123
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Baskı/Yayın Bilgisi 2018Konular: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
124
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Baskı/Yayın Bilgisi 2018Konular: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
125
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Baskı/Yayın Bilgisi 2018Konular: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
126
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Baskı/Yayın Bilgisi 2019Konular: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
127
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Baskı/Yayın Bilgisi 2019Konular: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
128
Cyber-Physical Systems: A Model-Based Approach
Baskı/Yayın Bilgisi 2021Konular: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
129
Cyber-Physical Systems: A Model-Based Approach
Baskı/Yayın Bilgisi 2021Konular: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
130
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...
Baskı/Yayın Bilgisi 2019Konular: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
131
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...
Baskı/Yayın Bilgisi 2019Konular: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
132
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,...
Baskı/Yayın Bilgisi 2019Konular: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
133
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,...
Baskı/Yayın Bilgisi 2019Konular: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
134
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Baskı/Yayın Bilgisi 2020Konular: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
135
Software for Exascale Computing - SPPEXA 2016-2019
Baskı/Yayın Bilgisi 2020Konular: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
136
Software for Exascale Computing - SPPEXA 2016-2019
Baskı/Yayın Bilgisi 2020Konular: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
137
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Baskı/Yayın Bilgisi 2020Konular: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
138
Real-Time Auralisation of Outdoor Sound Propagation
Baskı/Yayın Bilgisi 2023Konular: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
139
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...
Baskı/Yayın Bilgisi 2022Konular: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
140
Agentenbasierte Modellierung urbaner Transformationsprozesse Smart Utilities And Sustainable Infrastructure Change
Baskı/Yayın Bilgisi 2022Konular: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü