Search Results for Computer science. - Narrowed by: English - Computer science. - Operating Systems. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Operating$002bSystems.$002509Operating$002bSystems.$0026te$003dILS$0026ps$003d300?dt=list 2024-07-20T02:00:32Z Energy-Efficient High Performance Computing Measurement and Tuning ent://SD_ILS/0/SD_ILS:330991 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Laros III, James H. author.&#160;Pedretti, Kevin. author.&#160;Kelly, Suzanne M. author.&#160;Shu, Wei. author.&#160;Ferreira, Kurt. author.<br/>Preferred Shelf Number&#160;ONLINE(330991.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4492-2">http://dx.doi.org/10.1007/978-1-4471-4492-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332976 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Bloem, Roderick. editor.&#160;Lipp, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332976.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03491-1">http://dx.doi.org/10.1007/978-3-319-03491-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334077 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Beckert, Bernhard. editor.&#160;Damiani, Ferruccio. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334077.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334223 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Roughan, Matthew. editor.&#160;Chang, Rocky. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334223.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36516-4">http://dx.doi.org/10.1007/978-3-642-36516-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334469 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Kasahara, Hironori. editor.&#160;Kimura, Keiji. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334469.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37658-0">http://dx.doi.org/10.1007/978-3-642-37658-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334610 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Nicola, Rocco. editor.&#160;Julien, Christine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334610.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38493-6">http://dx.doi.org/10.1007/978-3-642-38493-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334517 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Park, James J. (Jong Hyuk). editor.&#160;Arabnia, Hamid R. editor.&#160;Kim, Cheonshik. editor.&#160;Shi, Weisong. editor.&#160;Gil, Joon-Min. editor.<br/>Preferred Shelf Number&#160;ONLINE(334517.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38027-3">http://dx.doi.org/10.1007/978-3-642-38027-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334518 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Cuellar, Jorge. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334518.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38030-3">http://dx.doi.org/10.1007/978-3-642-38030-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334960 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Pierson, Jean-Marc. editor.&#160;Da Costa, Georges. editor.&#160;Dittmann, Lars. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334960.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40517-4">http://dx.doi.org/10.1007/978-3-642-40517-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335013 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Hsu, Ching-Hsien. editor.&#160;Li, Xiaoming. editor.&#160;Shi, Xuanhua. editor.&#160;Zheng, Ran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335013.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40820-5">http://dx.doi.org/10.1007/978-3-642-40820-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335024 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Gorbenko, Anatoliy. editor.&#160;Romanovsky, Alexander. editor.&#160;Kharchenko, Vyacheslav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335024.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ada 2012 Rationale The Language, The Standard Libraries ent://SD_ILS/0/SD_ILS:335195 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Barnes, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335195.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45210-9">http://dx.doi.org/10.1007/978-3-642-45210-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335206 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Wu, Chenggang. editor.&#160;Cohen, Albert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335206.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45293-2">http://dx.doi.org/10.1007/978-3-642-45293-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) ent://SD_ILS/0/SD_ILS:335216 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Taft, S. Tucker. editor.&#160;Duff, Robert A. editor.&#160;Brukardt, Randall L. editor.&#160;Ploedereder, Erhard. editor.&#160;Leroy, Pascal. editor.<br/>Preferred Shelf Number&#160;ONLINE(335216.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45419-6">http://dx.doi.org/10.1007/978-3-642-45419-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Topics in Cryptology &ndash; CT-RSA 2013 The Cryptographers&rsquo; Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334122 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Dawson, Ed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334122.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36095-4">http://dx.doi.org/10.1007/978-3-642-36095-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Assurances for Self-Adaptive Systems Principles, Models, and Techniques ent://SD_ILS/0/SD_ILS:334156 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;C&aacute;mara, Javier. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Ghezzi, Carlo. editor.&#160;Lopes, Ant&oacute;nia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334156.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36249-1">http://dx.doi.org/10.1007/978-3-642-36249-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334071 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. editor.&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334071.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35867-8">http://dx.doi.org/10.1007/978-3-642-35867-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 &ndash; June 2, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334049 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Yuan, Yuyu. editor.&#160;Wu, Xu. editor.&#160;Lu, Yueming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334049.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35795-4">http://dx.doi.org/10.1007/978-3-642-35795-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334200 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Kub&aacute;tov&aacute;, Hana. editor.&#160;Hochberger, Christian. editor.&#160;Dan&#283;k, Martin. editor.&#160;Sick, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334200.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36424-2">http://dx.doi.org/10.1007/978-3-642-36424-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Aliasing in Object-Oriented Programming. Types, Analysis and Verification ent://SD_ILS/0/SD_ILS:334327 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Clarke, Dave. editor.&#160;Noble, James. editor.&#160;Wrigstad, Tobias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334327.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36946-9">http://dx.doi.org/10.1007/978-3-642-36946-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334353 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Jhala, Ranjit. editor.&#160;Bosschere, Koen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334353.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37051-9">http://dx.doi.org/10.1007/978-3-642-37051-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334594 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Tsaoussidis, Vassilis. editor.&#160;Kassler, Andreas J. editor.&#160;Koucheryavy, Yevgeni. editor.&#160;Mellouk, Abdelhamid. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334594.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38401-1">http://dx.doi.org/10.1007/978-3-642-38401-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334533 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Brat, Guillaume. editor.&#160;Rungta, Neha. editor.&#160;Venet, Arnaud. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334533.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334870 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Louren&ccedil;o, Jo&atilde;o M. editor.&#160;Farchi, Eitan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334870.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39955-8">http://dx.doi.org/10.1007/978-3-642-39955-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334882 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Wolf, Felix. editor.&#160;Mohr, Bernd. editor.&#160;Mey, Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334882.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40047-6">http://dx.doi.org/10.1007/978-3-642-40047-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering and Management for Software Development Projects ent://SD_ILS/0/SD_ILS:331756 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Chemuturi, Murali. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331756.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-5377-2">http://dx.doi.org/10.1007/978-1-4614-5377-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Dynpro ABAP for Practitioners ent://SD_ILS/0/SD_ILS:334566 2024-07-20T02:00:32Z 2024-07-20T02:00:32Z Author&#160;Gellert, Ulrich. author.&#160;Cristea, Ana Daniela. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334566.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38247-5">http://dx.doi.org/10.1007/978-3-642-38247-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>