Search Results for Computer simulation.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

82 sonuç bulundu

1 2 3 4 5 .. 7

000000000000DEFAULT_TR

13.

Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers

Yazar

Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00787-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Modeling Discrete-Event Systems with GPenSIM An Introduction

Yazar

Davidrajuh, Reggie. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-73102-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Yazar

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99154-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Engineering Simulations as Scientific Instruments: A Pattern Language With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield

Yazar

Stepney, Susan. author. Polack, Fiona A.C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-01938-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

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

Yazar

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-96142-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings

Yazar

Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-74439-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

Yazar

Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-76072-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems

Yazar

Diez, Pedro. editor. Neittaanmäki, Pekka. editor. Periaux, Jacques. editor. Tuovinen, Tero. editor. Bräysy, Olli. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-54490-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Exploring Occupant Behavior in Buildings Methods and Challenges

Yazar

Wagner, Andreas. editor. O’Brien, William. editor. Dong, Bing. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61464-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Stochastic Finite Element Methods An Introduction

Yazar

Papadopoulos, Vissarion. author. Giovanis, Dimitris G. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-64528-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Automatic Tuning of Compilers Using Machine Learning

Yazar

Ashouri, Amir H. author. Palermo, Gianluca. author. Cavazos, John. author. Silvano, Cristina. author. (orcid)0000-0003-1668-0883 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-71489-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers

Yazar

Lewis, Peter R. editor. Headleand, Christopher J. editor. Battle, Steve. editor. Ritsos, Panagiotis D. editor. SpringerLink (Online service)