Search Results for - Narrowed by: English - Springer E-Book Collection - Computer system failures. - Simulation and Modeling.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsystem$002bfailures.$002509Computer$002bsystem$002bfailures.$0026qf$003dSUBJECT$002509Konu$002509Simulation$002band$002bModeling.$002509Simulation$002band$002bModeling.$0026ps$003d300$0026isd$003dtrue?2024-09-21T16:01:29ZTools 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 IIIent://SD_ILS/0/SD_ILS:4286422024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662<br/><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/>Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282092024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Ölveczky, Peter Csaba. editor.<br/><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/>Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289502024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Biondi, Fabrizio. editor.<br/><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/>Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectivesent://SD_ILS/0/SD_ILS:4277802024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Beisbart, Claus. editor.<br/><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/>Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4287292024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Duan, Zhenhua. editor.<br/><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/>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, Proceedingsent://SD_ILS/0/SD_ILS:4288492024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613<br/><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/>Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183832024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Fiems, Dieter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46433-6">http://dx.doi.org/10.1007/978-3-319-46433-6</a><br/>Format: Electronic Resources<br/>Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182382024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Agha, Gul. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43425-4">http://dx.doi.org/10.1007/978-3-319-43425-4</a><br/>Format: Electronic Resources<br/>Communication Technologies for Vehicles 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179452024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Mendizabal, Jaizki. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-38921-9">http://dx.doi.org/10.1007/978-3-319-38921-9</a><br/>Format: Electronic Resources<br/>Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182332024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Blanchette, Jasmin Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43144-4">http://dx.doi.org/10.1007/978-3-319-43144-4</a><br/>Format: Electronic Resources<br/>Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:175612024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Vishnevsky, Vladimir. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30843-2">http://dx.doi.org/10.1007/978-3-319-30843-2</a><br/>Format: Electronic Resources<br/>Information Technologies and Mathematical Modelling - Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedingsent://SD_ILS/0/SD_ILS:182872024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Dudin, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44615-8">http://dx.doi.org/10.1007/978-3-319-44615-8</a><br/>Format: Electronic Resources<br/>Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:183962024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar van Eekelen, Marko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46559-3">http://dx.doi.org/10.1007/978-3-319-46559-3</a><br/>Format: Electronic Resources<br/>Geo-Informatics in Resource Management and Sustainable Ecosystem Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:186222024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Bian, Fuling. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49155-3">http://dx.doi.org/10.1007/978-3-662-49155-3</a><br/>Format: Electronic Resources<br/>Isochronous Wireless Network for Real-time Communication in Industrial Automationent://SD_ILS/0/SD_ILS:186232024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Trsek, Henning. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49158-4">http://dx.doi.org/10.1007/978-3-662-49158-4</a><br/>Format: Electronic Resources<br/>Energy Efficient Data Centers Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:224382024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Klingert, Sonja. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15786-3">http://dx.doi.org/10.1007/978-3-319-15786-3</a><br/>Format: Electronic Resources<br/>Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232012024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Campos, Javier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22264-6">http://dx.doi.org/10.1007/978-3-319-22264-6</a><br/>Format: Electronic Resources<br/>High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:226582024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Jarvis, Stephen A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17248-4">http://dx.doi.org/10.1007/978-3-319-17248-4</a><br/>Format: Electronic Resources<br/>High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:226732024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Daydé, Michel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17353-5">http://dx.doi.org/10.1007/978-3-319-17353-5</a><br/>Format: Electronic Resources<br/>Parallel Scientific Computing Theory, Algorithms, and Applications of Mesh Based and Meshless Methodsent://SD_ILS/0/SD_ILS:226342024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Trobec, Roman. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17073-2">http://dx.doi.org/10.1007/978-3-319-17073-2</a><br/>Format: Electronic Resources<br/>Supercomputing for Molecular Dynamics Simulations Handling Multi-Trillion Particles in Nanofluidicsent://SD_ILS/0/SD_ILS:226452024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Heinecke, Alexander. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17148-7">http://dx.doi.org/10.1007/978-3-319-17148-7</a><br/>Format: Electronic Resources<br/>Information Technologies and Mathematical Modelling - Queueing Theory and Applications 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234912024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Dudin, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25861-4">http://dx.doi.org/10.1007/978-3-319-25861-4</a><br/>Format: Electronic Resources<br/>Geo-Informatics in Resource Management and Sustainable Ecosystem Second International Conference, GRMSE 2014, Ypsilanti, MI, USA, October 3-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:246752024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Bian, Fuling. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45737-5">http://dx.doi.org/10.1007/978-3-662-45737-5</a><br/>Format: Electronic Resources<br/>Benchmarking Transaction and Analytical Processing Systems The Creation of a Mixed Workload Benchmark and its Applicationent://SD_ILS/0/SD_ILS:237162024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Bog, Anja. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-38070-9">http://dx.doi.org/10.1007/978-3-642-38070-9</a><br/>Format: Electronic Resources<br/>Computational Intelligence, Networked Systems and Their Applications International Conference of Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 20-23, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:246142024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Fei, Minrui. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45261-5">http://dx.doi.org/10.1007/978-3-662-45261-5</a><br/>Format: Electronic Resources<br/>AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:246182024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Tanaka, Satoshi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45289-9">http://dx.doi.org/10.1007/978-3-662-45289-9</a><br/>Format: Electronic Resources<br/>Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217542024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Dingel, Juergen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11653-2">http://dx.doi.org/10.1007/978-3-319-11653-2</a><br/>Format: Electronic Resources<br/>High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:214702024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Jarvis, Stephen A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10214-6">http://dx.doi.org/10.1007/978-3-319-10214-6</a><br/>Format: Electronic Resources<br/>Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216002024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Horváth, András. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10885-8">http://dx.doi.org/10.1007/978-3-319-10885-8</a><br/>Format: Electronic Resources<br/>Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:241002024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Klingert, Sonja. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-55149-9">http://dx.doi.org/10.1007/978-3-642-55149-9</a><br/>Format: Electronic Resources<br/>Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:239402024-09-21T16:01:29Z2024-09-21T16:01:29ZYazar Li, Kenli. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-53962-6">http://dx.doi.org/10.1007/978-3-642-53962-6</a><br/>Format: Electronic Resources<br/>