Search Results for - Narrowed by: Online Library - 2019 - Computer simulation.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092019$0025092019$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ps$003d300$0026isd$003dtrue?dt=list
2024-07-16T23:58:21Z
Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives
ent://SD_ILS/0/SD_ILS:483062
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Beisbart, Claus. editor. Saam, Nicole J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70766-2">https://doi.org/10.1007/978-3-319-70766-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:483386
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27538-9">https://doi.org/10.1007/978-3-030-27538-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineering
ent://SD_ILS/0/SD_ILS:483404
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Wang, Yu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-6484-6">https://doi.org/10.1007/978-981-13-6484-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:483466
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19153-5">https://doi.org/10.1007/978-3-030-19153-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practice of Optimisation Theory in Geotechnical Engineering
ent://SD_ILS/0/SD_ILS:483804
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Yin, Zhen-Yu. author. Jin, Yin-Fu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-3408-5">https://doi.org/10.1007/978-981-13-3408-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation for Industry 4.0 Past, Present, and Future
ent://SD_ILS/0/SD_ILS:483938
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Gunal, Murat M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04137-3">https://doi.org/10.1007/978-3-030-04137-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483939
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Zheng, Jun. editor. Li, Cheng. editor. (orcid)0000-0003-3424-2414 Chong, Peter Han Joo. editor. Meng, Weixiao. editor. Yan, Feng. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-37262-0">https://doi.org/10.1007/978-3-030-37262-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Green Energy and Networking 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484290
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Jin, Jiyu. editor. Li, Peng. editor. Fan, Lei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21730-3">https://doi.org/10.1007/978-3-030-21730-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling and Simulation Exploring Dynamic System Behaviour
ent://SD_ILS/0/SD_ILS:484300
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18869-6">https://doi.org/10.1007/978-3-030-18869-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Signal and Image Processing ISSIP 2017
ent://SD_ILS/0/SD_ILS:484395
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Bhattacharyya, Siddhartha. editor. Mukherjee, Anirban. editor. Bhaumik, Hrishikesh. editor. Das, Swagatam. editor. Yoshida, Kaori. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-8863-6">https://doi.org/10.1007/978-981-10-8863-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing: A Networking Perspective and Future Directions
ent://SD_ILS/0/SD_ILS:484434
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Bhargava, Deepshikha. editor. Vyas, Sonali. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-3462-7">https://doi.org/10.1007/978-981-13-3462-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling and Application of Flexible Electronics Packaging
ent://SD_ILS/0/SD_ILS:484436
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Huang, YongAn. author. Yin, Zhouping. author. Wan, Xiaodong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-3627-0">https://doi.org/10.1007/978-981-13-3627-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484770
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32409-4">https://doi.org/10.1007/978-3-030-32409-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485539
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-13651-2">https://doi.org/10.1007/978-3-030-13651-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret
ent://SD_ILS/0/SD_ILS:486042
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Warnow, Tandy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-10837-3">https://doi.org/10.1007/978-3-030-10837-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes
ent://SD_ILS/0/SD_ILS:486074
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Geshi, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-6194-4">https://doi.org/10.1007/978-981-13-6194-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486432
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Longo, Luca. editor. (orcid)0000-0002-2718-5426 Leva, M. Chiara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14273-5">https://doi.org/10.1007/978-3-030-14273-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ray Tracing: A Tool for All
ent://SD_ILS/0/SD_ILS:482848
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Peddie, Jon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17490-3">https://doi.org/10.1007/978-3-030-17490-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Effective Model-Based Systems Engineering
ent://SD_ILS/0/SD_ILS:482862
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Borky, John M. author. Bradley, Thomas H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95669-5">https://doi.org/10.1007/978-3-319-95669-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Network Simulation The OMNeT++ Environment and its Ecosystem
ent://SD_ILS/0/SD_ILS:482881
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Virdis, Antonio. editor. Kirsche, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12842-5">https://doi.org/10.1007/978-3-030-12842-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering
ent://SD_ILS/0/SD_ILS:483500
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Vukašinović, Nikola. author. Duhovnik, Jože. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02399-7">https://doi.org/10.1007/978-3-030-02399-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Summer of Simulation 50 Years of Seminal Computer Simulation Research
ent://SD_ILS/0/SD_ILS:484617
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Sokolowski, John. editor. Durak, Umut. editor. Mustafee, Navonil. editor. Tolk, Andreas. editor. (orcid)0000-0002-4201-8757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17164-3">https://doi.org/10.1007/978-3-030-17164-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485425
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Duguleană, Mihai. editor. Carrozzino, Marcello. editor. Gams, Matjaž. editor. Tanea, Iulian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05819-7">https://doi.org/10.1007/978-3-030-05819-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OPNET IoT Simulation
ent://SD_ILS/0/SD_ILS:486530
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Chen, Min. author. Miao, Yiming. author. Humar, Iztok. author. (orcid)0000-0002-4940-3500 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-32-9170-6">https://doi.org/10.1007/978-981-32-9170-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486688
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Song, Houbing. editor. Jiang, Dingde. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32216-8">https://doi.org/10.1007/978-3-030-32216-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486695
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Naweed, Anjum. editor. (orcid)0000-0002-5534-4295 Bowditch, Lorelle. editor. Sprick, Cyle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-32-9582-7">https://doi.org/10.1007/978-981-32-9582-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM
ent://SD_ILS/0/SD_ILS:486724
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Mula, Josefa. editor. Barbastefano, Rafael. editor. Díaz-Madroñero, Manuel. editor. Poler, Raúl. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93488-4">https://doi.org/10.1007/978-3-319-93488-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Comprehensive Healthcare Simulation: Operations, Technology, and Innovative Practice
ent://SD_ILS/0/SD_ILS:486979
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Crawford, Scott B. editor. Baily, Lance W. editor. Monks, Stormy M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15378-6">https://doi.org/10.1007/978-3-030-15378-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering
ent://SD_ILS/0/SD_ILS:487028
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Tavares, João Manuel R. S. editor. Fernandes, Paulo Rui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23073-9">https://doi.org/10.1007/978-3-030-23073-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:483515
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Han, Shuai. editor. Ye, Liang. editor. Meng, Weixiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22968-9">https://doi.org/10.1007/978-3-030-22968-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:483476
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19156-6">https://doi.org/10.1007/978-3-030-19156-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:483584
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27529-7">https://doi.org/10.1007/978-3-030-27529-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483667
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23597-0">https://doi.org/10.1007/978-3-030-23597-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483746
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483829
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29007-8">https://doi.org/10.1007/978-3-030-29007-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483843
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Shokin, Yuri. editor. (orcid)0000-0002-5178-8294 Shaimardanov, Zhassulan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12203-4">https://doi.org/10.1007/978-3-030-12203-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483898
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483867
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484028
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:484045
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:484082
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Li, Bo. editor. Yang, Mao. editor. (orcid)0000-0001-6081-1006 Yuan, Hui. editor. (orcid)0000-0001-5212-3393 Yan, Zhongjiang. editor. (orcid)0000-0003-2806-5343 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14657-3">https://doi.org/10.1007/978-3-030-14657-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science
ent://SD_ILS/0/SD_ILS:484149
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Geshi, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-9802-5">https://doi.org/10.1007/978-981-13-9802-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:484329
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Gui, Guan. editor. (orcid)0000-0003-3888-2881 Yun, Lin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-36405-2">https://doi.org/10.1007/978-3-030-36405-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484889
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20652-9">https://doi.org/10.1007/978-3-030-20652-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Model Predictive Control
ent://SD_ILS/0/SD_ILS:485160
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Raković, Saša V. editor. Levine, William S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77489-3">https://doi.org/10.1007/978-3-319-77489-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:485282
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485315
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Fotakis, Dimitris. editor. Markakis, Evangelos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30473-7">https://doi.org/10.1007/978-3-030-30473-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling and Simulation in Science, Technology and Engineering Mathematics Proceedings of the International Conference on Modelling and Simulation (MS-17)
ent://SD_ILS/0/SD_ILS:485861
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Chattopadhyay, Surajit. editor. Roy, Tamal. editor. Sengupta, Samarjit. editor. Berger-Vachon, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74808-5">https://doi.org/10.1007/978-3-319-74808-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Signal and Image Processing Proceedings of ISSIP 2018
ent://SD_ILS/0/SD_ILS:486002
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Bhattacharyya, Siddhartha. editor. Pal, Sankar K. editor. Pan, Indrajit. editor. Das, Abhijit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-6783-0">https://doi.org/10.1007/978-981-13-6783-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:486031
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Modeling of Speech Processing and Speech Learning An Introduction
ent://SD_ILS/0/SD_ILS:486198
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Kröger, Bernd J. author. Bekolay, Trevor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15853-8">https://doi.org/10.1007/978-3-030-15853-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers
ent://SD_ILS/0/SD_ILS:486272
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14984-0">https://doi.org/10.1007/978-3-030-14984-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486274
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties
ent://SD_ILS/0/SD_ILS:486491
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Cacuci, Dan Gabriel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-58395-1">https://doi.org/10.1007/978-3-662-58395-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486589
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Tan, Gary. editor. Lehmann, Axel. editor. Teo, Yong Meng. editor. Cai, Wentong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-1078-6">https://doi.org/10.1007/978-981-15-1078-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486626
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23703-5">https://doi.org/10.1007/978-3-030-23703-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Insights into Advanced Computer Graphics Techniques
ent://SD_ILS/0/SD_ILS:486778
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Dobashi, Yoshinori. editor. Kaji, Shizuo. editor. Iwasaki, Kei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2850-3">https://doi.org/10.1007/978-981-13-2850-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Manufacturing, Production Management and Process Control Joint proceedings of the AHFE 2018 International Conference on Advanced Production Management and Process Control, the AHFE International Conference on Human Aspects of Advanced Manufacturing, and the AHFE International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA
ent://SD_ILS/0/SD_ILS:486834
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Karwowski, Waldemar. editor. Trzcielinski, Stefan. editor. Mrugalska, Beata. editor. Di Nicolantonio, Massimo. editor. Rossi, Emilio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94196-7">https://doi.org/10.1007/978-3-319-94196-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486937
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30923-7">https://doi.org/10.1007/978-3-030-30923-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:486949
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27541-9">https://doi.org/10.1007/978-3-030-27541-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transient Effects in Simulations of Hybrid Electric Drivetrains
ent://SD_ILS/0/SD_ILS:487189
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Winke, Florian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-22554-4">https://doi.org/10.1007/978-3-658-22554-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulating Urban Traffic Scenarios 3rd SUMO Conference 2015 Berlin, Germany
ent://SD_ILS/0/SD_ILS:487820
2024-07-16T23:58:21Z
2024-07-16T23:58:21Z
Author Behrisch, Michael. editor. Weber, Melanie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33616-9">https://doi.org/10.1007/978-3-319-33616-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>