Search Results for Programming. - Narrowed by: Computer Communication Networks. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bCommunication$002bNetworks.$002509Computer$002bCommunication$002bNetworks.$0026ps$003d300? 2025-12-12T18:10:40Z Distributed Programming Theory and Practice ent://SD_ILS/0/SD_ILS:331611 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Shankar, A. Udaya. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331611.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4881-5">http://dx.doi.org/10.1007/978-1-4614-4881-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Reliable Distributed Programming ent://SD_ILS/0/SD_ILS:181867 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Guerraoui, Rachid. author.&#160;Rodrigues, Lu&iacute;s. 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-28846-5">http://dx.doi.org/10.1007/3-540-28846-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Programming for Multicore and Cluster Systems ent://SD_ILS/0/SD_ILS:334484 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Rauber, Thomas. author.&#160;R&uuml;nger, Gudula. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334484.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37801-0">http://dx.doi.org/10.1007/978-3-642-37801-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Reliable and Secure Distributed Programming ent://SD_ILS/0/SD_ILS:192912 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Cachin, Christian. author.&#160;Guerraoui, Rachid. author.&#160;Rodrigues, Lu&iacute;s. 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-15260-3">http://dx.doi.org/10.1007/978-3-642-15260-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Programming For Multicore and Cluster Systems ent://SD_ILS/0/SD_ILS:191067 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Rauber, Thomas. author.&#160;R&uuml;nger, Gudula. 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-04818-0">http://dx.doi.org/10.1007/978-3-642-04818-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Network Programming with Java ent://SD_ILS/0/SD_ILS:175482 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Graba, Jan. 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-630-8">http://dx.doi.org/10.1007/978-1-84628-630-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Topics in Parallel and Distributed Computing Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms ent://SD_ILS/0/SD_ILS:399477 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Prasad, Sushil K. editor.&#160;Gupta, Anshul. editor.&#160;Rosenberg, Arnold. editor.&#160;Sussman, Alan. editor.&#160;Weems, Charles. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93109-8">https://doi.org/10.1007/978-3-319-93109-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Network Programming &ndash; Principles and Techniques Network Application Programming with Java ent://SD_ILS/0/SD_ILS:331186 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Ciubotaru, Bogdan. author.&#160;Muntean, Gabriel-Miro. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331186.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5292-7">http://dx.doi.org/10.1007/978-1-4471-5292-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2013 &ndash; Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334715 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Castagna, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334715.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39038-8">http://dx.doi.org/10.1007/978-3-642-39038-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334751 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Fomin, Fedor V. editor.&#160;Freivalds, R&#363;si&#326;&scaron;. editor.&#160;Kwiatkowska, Marta. editor.&#160;Peleg, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334751.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39206-1">http://dx.doi.org/10.1007/978-3-642-39206-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334753 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Fomin, Fedor V. editor.&#160;Freivalds, R&#363;si&#326;&scaron;. editor.&#160;Kwiatkowska, Marta. editor.&#160;Peleg, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334753.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39212-2">http://dx.doi.org/10.1007/978-3-642-39212-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Network Programming with Java Java 7 Compatible ent://SD_ILS/0/SD_ILS:331180 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Graba, Jan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331180.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5254-5">http://dx.doi.org/10.1007/978-1-4471-5254-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196553 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Seidl, Helmut. 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-28869-2">http://dx.doi.org/10.1007/978-3-642-28869-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2012 &ndash; Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197011 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Noble, 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-31057-7">http://dx.doi.org/10.1007/978-3-642-31057-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197110 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Czumaj, Artur. editor.&#160;Mehlhorn, Kurt. editor.&#160;Pitts, Andrew. editor.&#160;Wattenhofer, Roger. 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-31585-5">http://dx.doi.org/10.1007/978-3-642-31585-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197112 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Czumaj, Artur. editor.&#160;Mehlhorn, Kurt. editor.&#160;Pitts, Andrew. editor.&#160;Wattenhofer, Roger. 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-31594-7">http://dx.doi.org/10.1007/978-3-642-31594-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197507 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Noda, Itsuki. editor.&#160;Ando, Noriaki. editor.&#160;Brugali, Davide. editor.&#160;Kuffner, James J. 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-34327-8">http://dx.doi.org/10.1007/978-3-642-34327-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196569 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Collier, Rem. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Nov&aacute;k, Peter. 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-28939-2">http://dx.doi.org/10.1007/978-3-642-28939-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scientific Workflows Programming, Optimization, and Synthesis with ASKALON and AWDL ent://SD_ILS/0/SD_ILS:196944 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Qin, Jun. author.&#160;Fahringer, Thomas. 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-30715-7">http://dx.doi.org/10.1007/978-3-642-30715-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr&uuml;cken, Germany, March 26&ndash;April 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194133 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Barthe, 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-19718-5">http://dx.doi.org/10.1007/978-3-642-19718-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2011 &ndash; Object-Oriented Programming 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings ent://SD_ILS/0/SD_ILS:195095 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Mezini, Mira. 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-22655-7">http://dx.doi.org/10.1007/978-3-642-22655-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:194888 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Aceto, Luca. editor.&#160;Henzinger, Monika. editor.&#160;Sgall, Ji&#345;&iacute;. 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-22006-7">http://dx.doi.org/10.1007/978-3-642-22006-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 &ndash; Europe, Barcelona, Spain, July 19-21, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195060 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Bassiliades, Nick. editor.&#160;Governatori, Guido. editor.&#160;Paschke, Adrian. 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-22546-8">http://dx.doi.org/10.1007/978-3-642-22546-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integer Programming and Combinatoral Optimization 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194493 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;G&uuml;nl&uuml;k, Oktay. editor.&#160;Woeginger, Gerhard J. 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-20807-2">http://dx.doi.org/10.1007/978-3-642-20807-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:194889 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Aceto, Luca. editor.&#160;Henzinger, Monika. editor.&#160;Sgall, Ji&#345;&iacute;. 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-22012-8">http://dx.doi.org/10.1007/978-3-642-22012-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191903 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Esparcia-Alc&aacute;zar, Anna Isabel. editor.&#160;Ek&aacute;rt, Anik&oacute;. editor.&#160;Silva, Sara. editor.&#160;Dignum, Stephen. editor.&#160;Uyar, A. &#350;ima. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12148-7">http://dx.doi.org/10.1007/978-3-642-12148-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:192787 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Braubach, Lars. editor.&#160;Briot, Jean-Pierre. editor.&#160;Thangarajah, John. 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-14843-9">http://dx.doi.org/10.1007/978-3-642-14843-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191847 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Gordon, Andrew 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-11957-6">http://dx.doi.org/10.1007/978-3-642-11957-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integer Programming and Combinatorial Optimization 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192196 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Eisenbrand, Friedrich. editor.&#160;Shepherd, F. Bruce. 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-13036-6">http://dx.doi.org/10.1007/978-3-642-13036-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2010 &ndash; Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192552 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;D&rsquo;Hondt, Theo. 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-14107-2">http://dx.doi.org/10.1007/978-3-642-14107-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:192566 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Abramsky, Samson. editor.&#160;Gavoille, Cyril. editor.&#160;Kirchner, Claude. editor.&#160;Meyer auf der Heide, Friedhelm. editor.&#160;Spirakis, Paul G. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14162-1">http://dx.doi.org/10.1007/978-3-642-14162-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:192567 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Abramsky, Samson. editor.&#160;Gavoille, Cyril. editor.&#160;Kirchner, Claude. editor.&#160;Meyer auf der Heide, Friedhelm. editor.&#160;Spirakis, Paul G. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14165-2">http://dx.doi.org/10.1007/978-3-642-14165-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193567 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Ando, Noriaki. editor.&#160;Balakirsky, Stephen. editor.&#160;Hemker, Thomas. editor.&#160;Reggiani, Monica. editor.&#160;Stryk, Oskar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17319-6">http://dx.doi.org/10.1007/978-3-642-17319-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Kom&aacute;rno, Slovakia, May 25-30, 2009, Revised Selected Lectures ent://SD_ILS/0/SD_ILS:193677 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;Plasmeijer, Rinus. editor.&#160;Zs&oacute;k, Vikt&oacute;ria. 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-17685-2">http://dx.doi.org/10.1007/978-3-642-17685-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Higher-Order Components for Grid Programming Making Grids More Usable ent://SD_ILS/0/SD_ILS:189809 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;D&uuml;nnweber, Jan. author.&#160;Gorlatch, Sergei. 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-00841-2">http://dx.doi.org/10.1007/978-3-642-00841-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2009 &ndash; Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190490 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Drossopoulou, Sophia. 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-03013-0">http://dx.doi.org/10.1007/978-3-642-03013-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers ent://SD_ILS/0/SD_ILS:190574 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Hindriks, Koen V. editor.&#160;Pokahr, Alexander. editor.&#160;Sardina, Sebastian. 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-03278-3">http://dx.doi.org/10.1007/978-3-642-03278-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Making Grids Work Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece ent://SD_ILS/0/SD_ILS:167586 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Danelutto, Marco. author.&#160;Fragopoulou, Paraskevi. author.&#160;Getov, Vladimir. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-78448-9">http://dx.doi.org/10.1007/978-0-387-78448-9</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 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z 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/> ECOOP 2008 &ndash; Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings ent://SD_ILS/0/SD_ILS:186002 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Vitek, Jan. 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-70592-5">http://dx.doi.org/10.1007/978-3-540-70592-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189195 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Carpin, Stefano. editor.&#160;Noda, Itsuki. editor.&#160;Pagello, Enrico. editor.&#160;Reggiani, Monica. editor.&#160;Stryk, Oskar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89076-8">http://dx.doi.org/10.1007/978-3-540-89076-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers ent://SD_ILS/0/SD_ILS:188320 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Dastani, Mehdi. editor.&#160;El Fallah Seghrouchni, Amal. editor.&#160;Ricci, Alessandro. editor.&#160;Winikoff, Michael. 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-79043-3">http://dx.doi.org/10.1007/978-3-540-79043-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers ent://SD_ILS/0/SD_ILS:186411 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Bordini, Rafael H. editor.&#160;Dastani, Mehdi. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Seghrouchni, Amal El Fallah. 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-71956-4">http://dx.doi.org/10.1007/978-3-540-71956-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2007 &ndash; Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186903 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Ernst, Erik. 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-73589-2">http://dx.doi.org/10.1007/978-3-540-73589-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers ent://SD_ILS/0/SD_ILS:183451 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Bordini, Rafael H. editor.&#160;Dastani, Mehdi M. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Fallah Seghrouchni, Amal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11678823">http://dx.doi.org/10.1007/11678823</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2006 &ndash; Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184297 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Thomas, Dave. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11785477">http://dx.doi.org/10.1007/11785477</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182853 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Black, Andrew P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11531142">http://dx.doi.org/10.1007/11531142</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers ent://SD_ILS/0/SD_ILS:183247 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Bordini, Rafael H. editor.&#160;Dastani, Mehdi. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Fallah Seghrouchni, Amal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105887">http://dx.doi.org/10.1007/b105887</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183251 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Bart&aacute;k, Roman. editor.&#160;Milano, Michela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136920">http://dx.doi.org/10.1007/b136920</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&amp;TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400053 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Debruyne, Christophe. editor.&#160;Proper, Henderik A. editor. (orcid)0000-0002-7318-2496&#160;Ardagna, Claudio Agostino. editor.&#160;Roman, Dumitru. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02610-3">https://doi.org/10.1007/978-3-030-02610-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399444 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Traore, Issa. editor. (orcid)0000-0003-2987-8047&#160;Woungang, Isaac. editor. (orcid)0000-0003-2484-4649&#160;Ahmed, Sherif Saad. editor.&#160;Malik, Yasir. 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-03712-3">https://doi.org/10.1007/978-3-030-03712-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399794 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Kari, Jarkko. editor. (orcid)0000-0003-0670-6138&#160;Ulidowski, Irek. 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-99498-7">https://doi.org/10.1007/978-3-319-99498-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, V&auml;ster&aring;s, Sweden, September 19-21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400344 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053&#160;Skavhaug, Amund. editor.&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99130-6">https://doi.org/10.1007/978-3-319-99130-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings ent://SD_ILS/0/SD_ILS:401247 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251&#160;Loreti, Michele. editor. (orcid)0000-0003-3061-863X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92408-3">https://doi.org/10.1007/978-3-319-92408-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401312 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Baier, Christel. editor.&#160;Caires, Lu&iacute;s. editor. (orcid)0000-0002-3215-6734&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92612-4">https://doi.org/10.1007/978-3-319-92612-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ARM Assembly Language with Hardware Experiments ent://SD_ILS/0/SD_ILS:529279 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Elahi, Ata. author.&#160;Arjeski, Trevor. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11704-1">https://doi.org/10.1007/978-3-319-11704-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Asynchronous Control for Networked Systems ent://SD_ILS/0/SD_ILS:530090 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Guinaldo Losada, Mar&iacute;a. editor.&#160;Rodr&iacute;guez Rubio, Francisco. editor.&#160;Dormido Bencomo, Sebasti&aacute;n. 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-21299-9">https://doi.org/10.1007/978-3-319-21299-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332962 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Bertacco, Valeria. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:333558 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Maciaszek, Leszek A. editor.&#160;Zhang, Kang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333558.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332921 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Hung, Dang. editor.&#160;Ogawa, Mizuhito. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332921.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334282 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Haugen, &Oslash;ystein. editor.&#160;Reed, Rick. editor.&#160;Gotzhein, Reinhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334282.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36757-1">http://dx.doi.org/10.1007/978-3-642-36757-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Algorithms for Message-Passing Systems ent://SD_ILS/0/SD_ILS:334542 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Raynal, Michel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334542.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38123-2">http://dx.doi.org/10.1007/978-3-642-38123-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334556 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Machado, Ricardo J. editor.&#160;Maciel, Rita Suzana P. editor.&#160;Rubin, Julia. editor.&#160;Botterweck, Goetz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334556.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334711 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Gorp, Pieter. editor.&#160;Ritter, Tom. editor.&#160;Rose, Louis M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334711.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334714 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Drira, Khalil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334714.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39031-9">http://dx.doi.org/10.1007/978-3-642-39031-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 &ndash; November 1, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335072 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Groves, Lindsay. editor.&#160;Sun, Jing. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335072.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41202-8">http://dx.doi.org/10.1007/978-3-642-41202-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334697 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Khendek, Ferhat. editor.&#160;Toeroe, Maria. editor.&#160;Gherbi, Abdelouahed. editor.&#160;Reed, Rick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334697.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38911-5">http://dx.doi.org/10.1007/978-3-642-38911-5</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 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z 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/> Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335124 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Perny, Patrice. editor.&#160;Pirlot, Marc. editor.&#160;Tsouki&agrave;s, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335124.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41575-3">http://dx.doi.org/10.1007/978-3-642-41575-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334968 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Hierons, Robert M. editor.&#160;Merayo, Mercedes G. editor.&#160;Bravetti, Mario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334968.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334772 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Liu, Shaoying. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334772.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</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 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z 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/> Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335141 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Yenig&uuml;n, H&uuml;sn&uuml;. editor.&#160;Yilmaz, Cemal. editor.&#160;Ulrich, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335141.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334025 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Frey, Davide. editor.&#160;Raynal, Michel. editor.&#160;Sarkar, Saswati. editor.&#160;Shyamasundar, Rudrapatna K. editor.&#160;Sinha, Prasun. editor.<br/>Preferred Shelf Number&#160;ONLINE(334025.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35668-1">http://dx.doi.org/10.1007/978-3-642-35668-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334041 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor.&#160;Nikitchenko, Mykola. editor.&#160;Spivakovsky, Aleksander. editor.&#160;Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number&#160;ONLINE(334041.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35737-4">http://dx.doi.org/10.1007/978-3-642-35737-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334104 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;Rajopadhye, Sanjay. editor.&#160;Mills Strout, Michelle. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334104.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36036-7">http://dx.doi.org/10.1007/978-3-642-36036-7</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 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z 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/> Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334236 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z Author&#160;J&uuml;rjens, Jan. editor.&#160;Livshits, Benjamin. editor.&#160;Scandariato, Riccardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334236.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36563-8">http://dx.doi.org/10.1007/978-3-642-36563-8</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 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z 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 2025-12-12T18:10:40Z 2025-12-12T18:10:40Z 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/>