Search Results for - Narrowed by: Springer Collection - Computer system performance. - Simulation and Modeling.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AONLINESPR$002509Springer$002bCollection$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsystem$002bperformance.$002509Computer$002bsystem$002bperformance.$0026qf$003dSUBJECT$002509Subject$002509Simulation$002band$002bModeling.$002509Simulation$002band$002bModeling.$0026ps$003d300?2024-09-24T17:56:24ZCommunications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20848072024-09-24T17:56:24Z2024-09-24T17:56:24Zby Li, Bo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-78130-3">https://doi.org/10.1007/978-3-319-78130-3</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852762024-09-24T17:56:24Z2024-09-24T17:56:24Zby Dutle, Aaron. editor.<br/><a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Electronic Resources<br/>Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20848502024-09-24T17:56:24Z2024-09-24T17:56:24Zby Chen, Qianbin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-66625-9">https://doi.org/10.1007/978-3-319-66625-9</a><br/>Format: Electronic Resources<br/>Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20848512024-09-24T17:56:24Z2024-09-24T17:56:24Zby Chen, Qianbin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-66628-0">https://doi.org/10.1007/978-3-319-66628-0</a><br/>Format: Electronic Resources<br/>Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20844802024-09-24T17:56:24Z2024-09-24T17:56:24Zby Li, Bo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-78139-6">https://doi.org/10.1007/978-3-319-78139-6</a><br/>Format: Electronic Resources<br/>5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedingsent://SD_ILS/0/SD_ILS:20844982024-09-24T17:56:24Z2024-09-24T17:56:24Zby Long, Keping. editor.<br/><a href="https://doi.org/10.1007/978-3-319-72823-0">https://doi.org/10.1007/978-3-319-72823-0</a><br/>Format: Electronic Resources<br/>Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854682024-09-24T17:56:24Z2024-09-24T17:56:24Zby Havelund, Klaus. editor. (orcid)0000-0001-7079-0472<br/><a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:20841272024-09-24T17:56:24Z2024-09-24T17:56:24Zby Li, Cheng. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90802-1">https://doi.org/10.1007/978-3-319-90802-1</a><br/>Format: Electronic Resources<br/>Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20844282024-09-24T17:56:24Z2024-09-24T17:56:24Zby Itsykson, Vladimir. editor.<br/><a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format: Electronic Resources<br/>Isochronous Wireless Network for Real-time Communication in Industrial Automationent://SD_ILS/0/SD_ILS:20876492024-09-24T17:56:24Z2024-09-24T17:56:24Zby Trsek, Henning. author.<br/><a href="https://doi.org/10.1007/978-3-662-49158-4">https://doi.org/10.1007/978-3-662-49158-4</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:20859262024-09-24T17:56:24Z2024-09-24T17:56:24Zby Agha, Gul. editor.<br/><a href="https://doi.org/10.1007/978-3-319-43425-4">https://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:20861652024-09-24T17:56:24Z2024-09-24T17:56:24Zby Mendizabal, Jaizki. editor.<br/><a href="https://doi.org/10.1007/978-3-319-38921-9">https://doi.org/10.1007/978-3-319-38921-9</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:20858372024-09-24T17:56:24Z2024-09-24T17:56:24Zby Fiems, Dieter. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46433-6">https://doi.org/10.1007/978-3-319-46433-6</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:20849872024-09-24T17:56:24Z2024-09-24T17:56:24Zby Dudin, Alexander. editor.<br/><a href="https://doi.org/10.1007/978-3-319-44615-8">https://doi.org/10.1007/978-3-319-44615-8</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:20848542024-09-24T17:56:24Z2024-09-24T17:56:24Zby Vishnevsky, Vladimir. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30843-2">https://doi.org/10.1007/978-3-319-30843-2</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:20859782024-09-24T17:56:24Z2024-09-24T17:56:24Zby Blanchette, Jasmin Christian. editor.<br/><a href="https://doi.org/10.1007/978-3-319-43144-4">https://doi.org/10.1007/978-3-319-43144-4</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:20856092024-09-24T17:56:24Z2024-09-24T17:56:24Zby van Eekelen, Marko. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46559-3">https://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:20848352024-09-24T17:56:24Z2024-09-24T17:56:24Zby Bian, Fuling. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49155-3">https://doi.org/10.1007/978-3-662-49155-3</a><br/>Format: Electronic Resources<br/>Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20849252024-09-24T17:56:24Z2024-09-24T17:56:24Zby Vishnevskiy, Vladimir M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-51917-3">https://doi.org/10.1007/978-3-319-51917-3</a><br/>Format: Electronic Resources<br/>Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5026952024-09-24T17:56:24Z2024-09-24T17:56:24Zby Al-Begain, Khalid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68982-9">http://dx.doi.org/10.1007/978-3-540-68982-9</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037592024-09-24T17:56:24Z2024-09-24T17:56:24Zby Margaria, Tiziana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88479-8">http://dx.doi.org/10.1007/978-3-540-88479-8</a><br/>Format: Electronic Resources<br/>Stochastic Discrete Event Systems Modeling, Evaluation, Applicationsent://SD_ILS/0/SD_ILS:5029962024-09-24T17:56:24Z2024-09-24T17:56:24Zby Zimmermann, Armin. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74173-2">http://dx.doi.org/10.1007/978-3-540-74173-2</a><br/>Format: Electronic Resources<br/>The Common Component Modeling Example Comparing Software Component Modelsent://SD_ILS/0/SD_ILS:5036172024-09-24T17:56:24Z2024-09-24T17:56:24Zby Rausch, Andreas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85289-6">http://dx.doi.org/10.1007/978-3-540-85289-6</a><br/>Format: Electronic Resources<br/>Performance Analysis of Network Architecturesent://SD_ILS/0/SD_ILS:5110932024-09-24T17:56:24Z2024-09-24T17:56:24Zby Tutsch, Dietmar. author.<br/><a href="http://dx.doi.org/10.1007/3-540-34310-5">http://dx.doi.org/10.1007/3-540-34310-5</a><br/>Format: Electronic Resources<br/>Software Process Modelingent://SD_ILS/0/SD_ILS:5042922024-09-24T17:56:24Z2024-09-24T17:56:24Zby Acuña, Silvia T. editor.<br/><a href="http://dx.doi.org/10.1007/b104986">http://dx.doi.org/10.1007/b104986</a><br/>Format: Electronic Resources<br/>A Software Process Model Handbook for Incorporating People’s Capabilitiesent://SD_ILS/0/SD_ILS:5044032024-09-24T17:56:24Z2024-09-24T17:56:24Zby Acuña, Silvia Teresita. author.<br/><a href="http://dx.doi.org/10.1007/b106969">http://dx.doi.org/10.1007/b106969</a><br/>Format: Electronic Resources<br/>