Search Results for Science -- Mathematics. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bMathematics.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue? 2024-12-01T11:21:10Z Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift ent://SD_ILS/0/SD_ILS:332822 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Paule, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332822.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6&ndash;9 September 2004 ent://SD_ILS/0/SD_ILS:168883 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Kowalik, Janusz S. editor.&#160;Gorski, Janusz. editor.&#160;Sachenko, Anatoly. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-3381-8">http://dx.doi.org/10.1007/1-4020-3381-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3&ndash;15 August 2004 ent://SD_ILS/0/SD_ILS:168920 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Broy, Manfred. editor.&#160;Gr&uuml;nbauer, Johannes. editor.&#160;Harel, David. editor.&#160;Hoare, Tony. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-3532-2">http://dx.doi.org/10.1007/1-4020-3532-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nov&yacute; Smokovec, Slovakia, January 27-30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484191 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Catania, Barbara. editor. (orcid)0000-0002-6443-169X&#160;Kr&aacute;lovi&#269;, Rastislav. editor. (orcid)0000-0003-1121-1009&#160;Nawrocki, Jerzy. editor.&#160;Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-10801-4">https://doi.org/10.1007/978-3-030-10801-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbr&uuml;cken, Germany, July 8-10, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486342 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201&#160;Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X&#160;Naegel, Beno&icirc;t. editor. (orcid)0000-0002-7695-1473&#160;Passat, Nicolas. editor. (orcid)0000-0002-0320-4581&#160;Perret, Benjamin. editor. (orcid)0000-0003-0933-8342<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20867-7">https://doi.org/10.1007/978-3-030-20867-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486559 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Hutton, Graham. editor. (orcid)0000-0001-9584-5150&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-33636-3">https://doi.org/10.1007/978-3-030-33636-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483296 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Thachuk, Chris. editor.&#160;Liu, Yan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26807-7">https://doi.org/10.1007/978-3-030-26807-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483738 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;England, Matthew. editor. (orcid)0000-0001-5729-3420&#160;Koepf, Wolfram. editor.&#160;Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318&#160;Seiler, Werner M. editor. (orcid)0000-0002-0565-1334&#160;Vorozhtsov, Evgenii V. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26831-2">https://doi.org/10.1007/978-3-030-26831-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483907 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Filiot, Emmanuel. editor.&#160;Jungers, Rapha&euml;l. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30806-3">https://doi.org/10.1007/978-3-030-30806-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482979 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Khan, Md. Aquil. editor.&#160;Manuel, Amaldev. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58771-3">https://doi.org/10.1007/978-3-662-58771-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19&ndash;23, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484657 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-25636-4">https://doi.org/10.1007/978-3-030-25636-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Processing and Information Retrieval 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484790 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048&#160;Puglisi, Simon J. editor. (orcid)0000-0001-7668-7636&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32686-9">https://doi.org/10.1007/978-3-030-32686-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484866 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457&#160;Haar, Stefan. editor. (orcid)0000-0002-1892-2703&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21571-2">https://doi.org/10.1007/978-3-030-21571-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485418 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001&#160;Sanguinetti, Guido. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31304-3">https://doi.org/10.1007/978-3-030-31304-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489079 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Hong, Hoon. editor.&#160;Yap, Chee. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44199-2">https://doi.org/10.1007/978-3-662-44199-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automatic Generation of Combinatorial Test Data ent://SD_ILS/0/SD_ILS:489313 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Zhang, Jian. author.&#160;Zhang, Zhiqiang. author.&#160;Ma, Feifei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43429-1">https://doi.org/10.1007/978-3-662-43429-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489579 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Gupta, Gopal. editor.&#160;Pe&ntilde;a, Ricardo. 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-14125-1">https://doi.org/10.1007/978-3-319-14125-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485473 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;J&uuml;rjens, Jan. editor.&#160;Piessens, Frank. editor.&#160;Bielova, Nataliia. 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-04897-0">https://doi.org/10.1007/978-3-319-04897-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487471 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Giese, Holger. editor.&#160;K&ouml;nig, Barbara. 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-09108-2">https://doi.org/10.1007/978-3-319-09108-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:487767 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55224-3">https://doi.org/10.1007/978-3-642-55224-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487033 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Mendes, Pedro. editor.&#160;Dada, Joseph O. editor.&#160;Smallbone, Kieran. 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-12982-2">https://doi.org/10.1007/978-3-319-12982-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332999 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Baldoni, Roberto. editor.&#160;Nisse, Nicolas. editor.&#160;Steen, Maarten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332999.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03850-6">http://dx.doi.org/10.1007/978-3-319-03850-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, &Scaron;pindler&#367;v Ml&yacute;n, Czech Republic, January 26-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334064 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Emde Boas, Peter. editor.&#160;Groen, Frans C. A. editor.&#160;Italiano, Giuseppe F. editor.&#160;Nawrocki, Jerzy. editor.&#160;Sack, Harald. editor.<br/>Preferred Shelf Number&#160;ONLINE(334064.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings ent://SD_ILS/0/SD_ILS:334962 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Galmiche, Didier. editor.&#160;Larchey-Wendling, Dominique. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334969 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Cabalar, Pedro. editor.&#160;Son, Tran Cao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334969.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334985 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Muntean, Traian. editor.&#160;Poulakis, Dimitrios. editor.&#160;Rolland, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334985.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40663-8">http://dx.doi.org/10.1007/978-3-642-40663-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334987 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Ida, Tetsuo. editor.&#160;Fleuriot, Jacques. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334987.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40672-0">http://dx.doi.org/10.1007/978-3-642-40672-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334552 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Albert, Elvira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334552.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjav&iacute;k, Iceland, June 6-9, 2010, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:196364 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;J&oacute;nasson, Kristj&aacute;n. 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-28145-7">http://dx.doi.org/10.1007/978-3-642-28145-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjav&iacute;k, Iceland, June 6-9, 2010, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:196366 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;J&oacute;nasson, Kristj&aacute;n. 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-28151-8">http://dx.doi.org/10.1007/978-3-642-28151-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing ent://SD_ILS/0/SD_ILS:196875 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Keller, Rainer. editor.&#160;Kramer, David. editor.&#160;Weiss, Jan-Philipp. 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-30397-5">http://dx.doi.org/10.1007/978-3-642-30397-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Facing the Multicore-Challenge Aspects of New Paradigms and Technologies in Parallel Computing ent://SD_ILS/0/SD_ILS:193229 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Keller, Rainer. editor.&#160;Kramer, David. editor.&#160;Weiss, Jan-Philipp. 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-16233-6">http://dx.doi.org/10.1007/978-3-642-16233-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simula Research Laboratory by Thinking Constantly about it ent://SD_ILS/0/SD_ILS:189903 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Tveito, Aslak. editor.&#160;Bruaset, Are Magnus. editor.&#160;Lysne, Olav. 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-01156-6">http://dx.doi.org/10.1007/978-3-642-01156-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185507 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Mueller, Matthias S. editor.&#160;Chapman, Barbara M. editor.&#160;Supinski, Bronis R. editor.&#160;Malony, Allen D. editor.&#160;Voss, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68555-5">http://dx.doi.org/10.1007/978-3-540-68555-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings ent://SD_ILS/0/SD_ILS:185774 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Chapman, Barbara. editor.&#160;Zheng, Weiming. editor.&#160;Gao, Guang R. editor.&#160;Sato, Mitsuhisa. editor.&#160;Ayguad&eacute;, Eduard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69303-1">http://dx.doi.org/10.1007/978-3-540-69303-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188479 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Eigenmann, Rudolf. editor.&#160;Supinski, Bronis R. 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-79561-2">http://dx.doi.org/10.1007/978-3-540-79561-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:187955 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Labarta, Jes&uacute;s. editor.&#160;Joe, Kazuki. editor.&#160;Sato, Toshinori. 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-77704-5">http://dx.doi.org/10.1007/978-3-540-77704-5</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-12-01T11:21:10Z 2024-12-01T11:21:10Z 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/> Parallel Processing and Applied Mathematics 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers ent://SD_ILS/0/SD_ILS:185356 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Wyrzykowski, Roman. editor.&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Wasniewski, 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-540-68111-3">http://dx.doi.org/10.1007/978-3-540-68111-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics and Computation, a Contemporary View The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25&ndash;27, 2006 ent://SD_ILS/0/SD_ILS:185613 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Munthe-Kaas, Hans. editor.&#160;Owren, Brynjulf. 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-68850-1">http://dx.doi.org/10.1007/978-3-540-68850-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Ume&aring;, Sweden, June 18-21, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:187493 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;K&aring;gstr&ouml;m, Bo. editor.&#160;Elmroth, Erik. editor.&#160;Dongarra, Jack. editor.&#160;Wa&#347;niewski, 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-540-75755-9">http://dx.doi.org/10.1007/978-3-540-75755-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187419 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Perrott, Ronald. editor.&#160;Chapman, Barbara M. editor.&#160;Subhlok, Jaspal. editor.&#160;Mello, Rodrigo Fernandes. editor.&#160;Yang, Laurence T. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75444-2">http://dx.doi.org/10.1007/978-3-540-75444-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions ent://SD_ILS/0/SD_ILS:165765 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Nguyen, Duc Thai. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-30851-2">http://dx.doi.org/10.1007/0-387-30851-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Pozna&#324;, Poland, September 11-14, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183950 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Wyrzykowski, Roman. editor.&#160;Dongarra, Jack. editor.&#160;Meyer, Norbert. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11752578">http://dx.doi.org/10.1007/11752578</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184722 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Gerndt, Michael. editor.&#160;Kranzlm&uuml;ller, Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11847366">http://dx.doi.org/10.1007/11847366</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:183762 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Dongarra, Jack. editor.&#160;Madsen, Kaj. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11558958">http://dx.doi.org/10.1007/11558958</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183142 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Yang, Laurence T. editor.&#160;Rana, Omer F. editor.&#160;Martino, Beniamino. editor.&#160;Dongarra, Jack. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11557654">http://dx.doi.org/10.1007/11557654</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Domain Decomposition Methods &mdash; Algorithms and Theory ent://SD_ILS/0/SD_ILS:180874 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Toselli, Andrea. author.&#160;Widlund, Olof B. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137868">http://dx.doi.org/10.1007/b137868</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings ent://SD_ILS/0/SD_ILS:182329 2024-12-01T11:21:10Z 2024-12-01T11:21:10Z Author&#160;Zhang, Jun. editor.&#160;He, Ji-Huan. editor.&#160;Fu, Yuxi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104566">http://dx.doi.org/10.1007/b104566</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>