Search Results for Analysis. - Narrowed by: SpringerLink (Online service) - Online Library - Computer system performance. - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAnalysis.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsystem$002bperformance.$002509Computer$002bsystem$002bperformance.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-05T22:37:27Z Model-Based Software Performance Analysis ent://SD_ILS/0/SD_ILS:192394 2024-09-05T22:37:27Z 2024-09-05T22:37:27Z Author&#160;Cortellessa, Vittorio. author.&#160;Di Marco, Antinisca. author.&#160;Inverardi, Paola. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13621-4">http://dx.doi.org/10.1007/978-3-642-13621-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Test and Analysis of Web Services ent://SD_ILS/0/SD_ILS:186686 2024-09-05T22:37:27Z 2024-09-05T22:37:27Z Author&#160;Baresi, Luciano. editor.&#160;Nitto, Elisabetta Di. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72912-9">http://dx.doi.org/10.1007/978-3-540-72912-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400605 2024-09-05T22:37:27Z 2024-09-05T22:37:27Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400131 2024-09-05T22:37:27Z 2024-09-05T22:37:27Z Author&#160;Podelski, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400459 2024-09-05T22:37:27Z 2024-09-05T22:37:27Z Author&#160;Itsykson, Vladimir. editor.&#160;Scedrov, Andre. editor.&#160;Zakharov, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334682 2024-09-05T22:37:27Z 2024-09-05T22:37:27Z Author&#160;Schirner, Gunar. editor.&#160;G&ouml;tz, Marcelo. editor.&#160;Rettberg, Achim. editor.&#160;Zanella, Mauro C. editor.&#160;Rammig, Franz J. editor.<br/>Preferred Shelf Number&#160;ONLINE(334682.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38853-8">http://dx.doi.org/10.1007/978-3-642-38853-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197226 2024-09-05T22:37:27Z 2024-09-05T22:37:27Z Author&#160;Pe&ntilde;a, Ricardo. editor.&#160;Eekelen, Marko. editor.&#160;Shkaravska, Olha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32495-6">http://dx.doi.org/10.1007/978-3-642-32495-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190898 2024-09-05T22:37:27Z 2024-09-05T22:37:27Z Author&#160;Rettberg, Achim. editor.&#160;Zanella, Mauro C. editor.&#160;Amann, Michael. editor.&#160;Keckeisen, Michael. editor.&#160;Rammig, Franz J. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04284-3">http://dx.doi.org/10.1007/978-3-642-04284-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network Performance Analysis Using the J Programming Language ent://SD_ILS/0/SD_ILS:175583 2024-09-05T22:37:27Z 2024-09-05T22:37:27Z Author&#160;Holt, Alan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-823-4">http://dx.doi.org/10.1007/978-1-84628-823-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188772 2024-09-05T22:37:27Z 2024-09-05T22:37:27Z Author&#160;Cassez, Franck. editor.&#160;Jard, Claude. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85778-5">http://dx.doi.org/10.1007/978-3-540-85778-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334263 2024-09-05T22:37:27Z 2024-09-05T22:37:27Z Author&#160;Demeester, Piet. editor.&#160;Moerman, Ingrid. editor.&#160;Terzis, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334263.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36672-7">http://dx.doi.org/10.1007/978-3-642-36672-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334797 2024-09-05T22:37:27Z 2024-09-05T22:37:27Z Author&#160;Dudin, Alexander. editor.&#160;Turck, Koen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334797.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39408-9">http://dx.doi.org/10.1007/978-3-642-39408-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334328 2024-09-05T22:37:27Z 2024-09-05T22:37:27Z Author&#160;Caragiannis, Ioannis. editor.&#160;Alexander, Michael. editor.&#160;Badia, Rosa Maria. editor.&#160;Cannataro, Mario. editor.&#160;Costan, Alexandru. editor.<br/>Preferred Shelf Number&#160;ONLINE(334328.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36949-0">http://dx.doi.org/10.1007/978-3-642-36949-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>