Search Results for Computer science. - Narrowed by: E-Book - English - Computer simulation. - Computer system performance. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsystem$002bperformance.$002509Computer$002bsystem$002bperformance.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-08-19T22:27:47Z Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation ent://SD_ILS/0/SD_ILS:331089 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;ElAarag, Hala. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331089.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4893-7">http://dx.doi.org/10.1007/978-1-4471-4893-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:335179 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Bian, Fuling. editor.&#160;Xie, Yichun. editor.&#160;Cui, Xiaohui. editor.&#160;Zeng, Yixin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335179.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45025-9">http://dx.doi.org/10.1007/978-3-642-45025-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335181 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Tan, Gary. editor.&#160;Yeo, Gee Kin. editor.&#160;Turner, Stephen John. editor.&#160;Teo, Yong Meng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335181.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45037-2">http://dx.doi.org/10.1007/978-3-642-45037-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334995 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Balsamo, Maria Simonetta. editor.&#160;Knottenbelt, William J. editor.&#160;Marin, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334995.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40725-3">http://dx.doi.org/10.1007/978-3-642-40725-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334290 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Tribastone, Mirco. editor.&#160;Gilmore, Stephen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334290.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36781-6">http://dx.doi.org/10.1007/978-3-642-36781-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d&rsquo;Ascq, France, May 14-15, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334508 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Berbineau, Marion. editor.&#160;Jonsson, Magnus. editor.&#160;Bonnin, Jean-Marie. editor.&#160;Cherkaoui, Soumaya. editor.&#160;Aguado, Marina. editor.<br/>Preferred Shelf Number&#160;ONLINE(334508.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37974-1">http://dx.doi.org/10.1007/978-3-642-37974-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 &ndash; October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335120 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Moreira, Ana. editor.&#160;Sch&auml;tz, Bernhard. editor.&#160;Gray, Jeff. editor.&#160;Vallecillo, Antonio. editor.&#160;Clarke, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE(335120.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:335148 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Bian, Fuling. editor.&#160;Xie, Yichun. editor.&#160;Cui, Xiaohui. editor.&#160;Zeng, Yixin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335148.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41908-9">http://dx.doi.org/10.1007/978-3-642-41908-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334136 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Ayala, Jos&eacute; L. editor.&#160;Shang, Delong. editor.&#160;Yakovlev, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334136.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36157-9">http://dx.doi.org/10.1007/978-3-642-36157-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy Efficient Data Centers First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197414 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Huusko, Jyrki. editor.&#160;Meer, Hermann. editor.&#160;Klingert, Sonja. editor.&#160;Somov, Andrey. 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-33645-4">http://dx.doi.org/10.1007/978-3-642-33645-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30&ndash;October 5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197418 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;France, Robert B. editor.&#160;Kazmeier, J&uuml;rgen. editor.&#160;Breu, Ruth. editor.&#160;Atkinson, Colin. 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-33666-9">http://dx.doi.org/10.1007/978-3-642-33666-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Telematics in the Transport Environment 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustro&#324;, Poland, October 10&ndash;13, 2012. Selected Papers ent://SD_ILS/0/SD_ILS:197465 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Mikulski, Jerzy. 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-34050-5">http://dx.doi.org/10.1007/978-3-642-34050-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195562 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Ayala, Jos&eacute; L. editor.&#160;Garc&iacute;a-C&aacute;mara, Braulio. editor.&#160;Prieto, Manuel. editor.&#160;Ruggiero, Martino. editor.&#160;Sicard, Gilles. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24154-3">http://dx.doi.org/10.1007/978-3-642-24154-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193696 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Leuken, Ren&eacute;. editor.&#160;Sicard, Gilles. 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-17752-1">http://dx.doi.org/10.1007/978-3-642-17752-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193244 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Giese, Holger. editor.&#160;Karsai, Gabor. editor.&#160;Lee, Edward. editor.&#160;Rumpe, Bernhard. editor.&#160;Sch&auml;tz, Bernhard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16277-0">http://dx.doi.org/10.1007/978-3-642-16277-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development V ent://SD_ILS/0/SD_ILS:190203 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Rashid, Awais. editor.&#160;Ossher, Harold. 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-02059-9">http://dx.doi.org/10.1007/978-3-642-02059-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems ent://SD_ILS/0/SD_ILS:191279 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Ahuja, Ravindra K. editor.&#160;M&ouml;hring, Rolf H. editor.&#160;Zaroliagis, Christos D. 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-05465-5">http://dx.doi.org/10.1007/978-3-642-05465-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings ent://SD_ILS/0/SD_ILS:191462 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;&#346;l&#281;zak, Dominik. editor.&#160;Kim, Tai-hoon. editor.&#160;Stoica, Adrian. editor.&#160;Kang, Byeong-Ho. 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-10741-2">http://dx.doi.org/10.1007/978-3-642-10741-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190250 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Al-Begain, Khalid. editor.&#160;Fiems, Dieter. editor.&#160;Horv&aacute;th, G&aacute;bor. 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-02205-0">http://dx.doi.org/10.1007/978-3-642-02205-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189067 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. 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-88479-8">http://dx.doi.org/10.1007/978-3-540-88479-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185675 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Al-Begain, Khalid. editor.&#160;Heindl, Armin. editor.&#160;Telek, Mikl&oacute;s. 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-68982-9">http://dx.doi.org/10.1007/978-3-540-68982-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Common Component Modeling Example Comparing Software Component Models ent://SD_ILS/0/SD_ILS:188664 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Rausch, Andreas. editor.&#160;Reussner, Ralf. editor.&#160;Mirandola, Raffaela. editor.&#160;Pl&aacute;&scaron;il, Franti&scaron;ek. 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-85289-6">http://dx.doi.org/10.1007/978-3-540-85289-6</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-08-19T22:27:47Z 2024-08-19T22:27:47Z 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/> NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399551 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Dutle, Aaron. editor.&#160;Mu&ntilde;oz, C&eacute;sar. editor.&#160;Narkawicz, Anthony. 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-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399472 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Havelund, Klaus. editor. (orcid)0000-0001-7079-0472&#160;Peleska, Jan. editor. (orcid)0000-0003-3667-9775&#160;Roscoe, Bill. editor.&#160;de Vink, Erik. 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-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Modeling and Simulation of Systems of Systems ent://SD_ILS/0/SD_ILS:330586 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Zeigler, Bernard P. author.&#160;Sarjoughian, Hessam S. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330586.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-865-2">http://dx.doi.org/10.1007/978-0-85729-865-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334111 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;H&ouml;mberg, Dietmar. editor.&#160;Tr&ouml;ltzsch, Fredi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334111.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36062-6">http://dx.doi.org/10.1007/978-3-642-36062-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196611 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Simplot-Ryl, David. editor.&#160;Dias de Amorim, Marcelo. editor.&#160;Giordano, Silvia. editor.&#160;Helmy, Ahmed. 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-29096-1">http://dx.doi.org/10.1007/978-3-642-29096-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196661 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Korakis, Thanasis. editor.&#160;Li, Hongbin. editor.&#160;Tran-Gia, Phuoc. editor.&#160;Park, Hong-Shik. 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-29273-6">http://dx.doi.org/10.1007/978-3-642-29273-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings ent://SD_ILS/0/SD_ILS:203980 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Kim, Jong-Hyun. editor.&#160;Lee, Kangsun. editor.&#160;Tanaka, Satoshi. editor.&#160;Park, Soo-Hyun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-4-431-54216-2">http://dx.doi.org/10.1007/978-4-431-54216-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Mobile Ad Hoc Networks for Mobility Models ent://SD_ILS/0/SD_ILS:172496 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Roy, Radhika Ranjan. 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-4419-6050-4">http://dx.doi.org/10.1007/978-1-4419-6050-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Software Performance Analysis ent://SD_ILS/0/SD_ILS:192394 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z 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/> Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193730 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Magedanz, Thomas. editor.&#160;Gavras, Anastasius. editor.&#160;Thanh, Nguyen Huu. editor.&#160;Chase, Jeffry S. 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-17851-1">http://dx.doi.org/10.1007/978-3-642-17851-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stochastic Models for Fault Tolerance Restart, Rejuvenation and Checkpointing ent://SD_ILS/0/SD_ILS:191629 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Wolter, Katinka. 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-11257-7">http://dx.doi.org/10.1007/978-3-642-11257-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling and Tools for Network Simulation ent://SD_ILS/0/SD_ILS:191960 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Wehrle, Klaus. editor.&#160;G&uuml;ne&#351;, Mesut. editor.&#160;Gross, James. 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-12331-3">http://dx.doi.org/10.1007/978-3-642-12331-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System ent://SD_ILS/0/SD_ILS:172838 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Alfa, Attahiru Sule. 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-4419-7314-6">http://dx.doi.org/10.1007/978-1-4419-7314-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ad Hoc Networks Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193771 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Zheng, Jun. editor.&#160;Simplot-Ryl, David. editor.&#160;Leung, Victor C. M. 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-17994-5">http://dx.doi.org/10.1007/978-3-642-17994-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL&rsquo;08 ent://SD_ILS/0/SD_ILS:170626 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Radetzki, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9714-0">http://dx.doi.org/10.1007/978-1-4020-9714-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stochastic Discrete Event Systems Modeling, Evaluation, Applications ent://SD_ILS/0/SD_ILS:187076 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Zimmermann, Armin. 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-540-74173-2">http://dx.doi.org/10.1007/978-3-540-74173-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Performance Analysis of Network Architectures ent://SD_ILS/0/SD_ILS:184004 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Tutsch, Dietmar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Modeling ent://SD_ILS/0/SD_ILS:165037 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Acu&ntilde;a, Silvia T. editor.&#160;Juristo, Natalia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104986">http://dx.doi.org/10.1007/b104986</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Software Process Model Handbook for Incorporating People&rsquo;s Capabilities ent://SD_ILS/0/SD_ILS:165143 2024-08-19T22:27:47Z 2024-08-19T22:27:47Z Author&#160;Acu&ntilde;a, Silvia Teresita. author.&#160;Juristo, Natalia. author.&#160;Moreno, Ana Mar&iacute;a. author.&#160;Mon, Alicia. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106969">http://dx.doi.org/10.1007/b106969</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>