Search Results for Software. - Narrowed by: SpringerLink (Online service) - English - Computation by Abstract Devices. - Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Computation$002bby$002bAbstract$002bDevices.$002509Computation$002bby$002bAbstract$002bDevices.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-09-12T10:56:12Z Model-Driven Dependability Assessment of Software Systems ent://SD_ILS/0/SD_ILS:334812 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Bernardi, Simona. author.&#160;Merseguer, Jos&eacute;. author.&#160;Petriu, Dorina Corina. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334812.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39512-3">http://dx.doi.org/10.1007/978-3-642-39512-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 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:334358 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Pfenning, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334358.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334844 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Ruhe, G&uuml;nther. editor.&#160;Zhang, Yuanyuan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334844.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39742-4">http://dx.doi.org/10.1007/978-3-642-39742-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures ent://SD_ILS/0/SD_ILS:334688 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Bernardo, Marco. editor.&#160;Vink, Erik. editor.&#160;Pierro, Alessandra. editor.&#160;Wiklicky, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334688.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334355 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334355.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37064-9">http://dx.doi.org/10.1007/978-3-642-37064-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334380 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Vanneschi, Leonardo. editor.&#160;Bush, William S. editor.&#160;Giacobini, Mario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334380.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37189-9">http://dx.doi.org/10.1007/978-3-642-37189-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334381 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Esparcia-Alc&aacute;zar, Anna I. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334381.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37192-9">http://dx.doi.org/10.1007/978-3-642-37192-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334383 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Middendorf, Martin. editor.&#160;Blum, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334383.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37198-1">http://dx.doi.org/10.1007/978-3-642-37198-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334384 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Krawiec, Krzysztof. editor.&#160;Moraglio, Alberto. editor.&#160;Hu, Ting. editor.&#160;Etaner-Uyar, A. &#350;ima. editor.&#160;Hu, Bin. editor.<br/>Preferred Shelf Number&#160;ONLINE(334384.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37207-0">http://dx.doi.org/10.1007/978-3-642-37207-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334386 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Tomassini, Marco. editor.&#160;Antonioni, Alberto. editor.&#160;Daolio, Fabio. editor.&#160;Buesser, Pierre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334386.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37213-1">http://dx.doi.org/10.1007/978-3-642-37213-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334572 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Kuijper, Arjan. editor.&#160;Bredies, Kristian. editor.&#160;Pock, Thomas. editor.&#160;Bischof, Horst. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334572.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38267-3">http://dx.doi.org/10.1007/978-3-642-38267-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency VII ent://SD_ILS/0/SD_ILS:334545 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Jensen, Kurt. editor.&#160;Aalst, Wil M. P. editor.&#160;Balbo, Gianfranco. editor.&#160;Koutny, Maciej. editor.&#160;Wolf, Karsten. editor.<br/>Preferred Shelf Number&#160;ONLINE(334545.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38143-0">http://dx.doi.org/10.1007/978-3-642-38143-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:334547 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Coecke, Bob. editor.&#160;Ong, Luke. editor.&#160;Panangaden, Prakash. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334547.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II ent://SD_ILS/0/SD_ILS:334636 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Ferr&aacute;ndez Vicente, Jos&eacute; Manuel. editor.&#160;&Aacute;lvarez S&aacute;nchez, Jos&eacute; Ram&oacute;n. editor.&#160;Paz L&oacute;pez, F&eacute;lix. editor.&#160;Toledo Moreo, Fco. Javier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334636.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38622-0">http://dx.doi.org/10.1007/978-3-642-38622-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I ent://SD_ILS/0/SD_ILS:334640 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Ferr&aacute;ndez Vicente, Jos&eacute; Manuel. editor.&#160;&Aacute;lvarez S&aacute;nchez, Jos&eacute; Ram&oacute;n. editor.&#160;Paz L&oacute;pez, F&eacute;lix. editor.&#160;Toledo Moreo, Fco. Javier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334640.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38637-4">http://dx.doi.org/10.1007/978-3-642-38637-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334651 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Colom, Jos&eacute;-Manuel. editor.&#160;Desel, J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334651.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334722 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Guo, Chengan. editor.&#160;Hou, Zeng-Guang. editor.&#160;Zeng, Zhigang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334722.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39065-4">http://dx.doi.org/10.1007/978-3-642-39065-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334771 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Konstantinidis, Stavros. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334771.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39274-0">http://dx.doi.org/10.1007/978-3-642-39274-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334778 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Jurgensen, Helmut. editor.&#160;Reis, Rog&eacute;rio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334778.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39310-5">http://dx.doi.org/10.1007/978-3-642-39310-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334929 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Raghavendra, Prasad. editor.&#160;Raskhodnikova, Sofya. editor.&#160;Jansen, Klaus. editor.&#160;Rolim, Jos&eacute; D. P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334929.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40328-6">http://dx.doi.org/10.1007/978-3-642-40328-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334948 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Darling, Aaron. editor.&#160;Stoye, Jens. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334948.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40453-5">http://dx.doi.org/10.1007/978-3-642-40453-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Time and Petri Nets ent://SD_ILS/0/SD_ILS:335059 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Popova-Zeugmann, Louchka. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335059.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41115-1">http://dx.doi.org/10.1007/978-3-642-41115-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Data Engineering and Automated Learning &ndash; IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335084 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Yin, Hujun. editor.&#160;Tang, Ke. editor.&#160;Gao, Yang. editor.&#160;Klawonn, Frank. editor.&#160;Lee, Minho. editor.<br/>Preferred Shelf Number&#160;ONLINE(335084.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41278-3">http://dx.doi.org/10.1007/978-3-642-41278-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335176 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Nicosia, Giuseppe. editor.&#160;Pardalos, Panos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335176.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-44973-4">http://dx.doi.org/10.1007/978-3-642-44973-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:332994 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;Dash, Shubhransu Sekhar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332994.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03756-1">http://dx.doi.org/10.1007/978-3-319-03756-1</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-09-12T10:56:12Z 2024-09-12T10:56:12Z 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/> Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334022 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Iwama, Kazuo. editor.&#160;Kawano, Yasuhito. editor.&#160;Murao, Mio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334022.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35656-8">http://dx.doi.org/10.1007/978-3-642-35656-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334242 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Sahai, Amit. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334242.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36594-2">http://dx.doi.org/10.1007/978-3-642-36594-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334280 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Csuhaj-Varj&uacute;, Erzs&eacute;bet. editor.&#160;Gheorghe, Marian. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Vaszil, Gy&ouml;rgy. editor.<br/>Preferred Shelf Number&#160;ONLINE(334280.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36751-9">http://dx.doi.org/10.1007/978-3-642-36751-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence Methods for Bioinformatics and Biostatistics 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers ent://SD_ILS/0/SD_ILS:334585 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Peterson, Leif E. editor.&#160;Masulli, Francesco. editor.&#160;Russo, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334585.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38342-7">http://dx.doi.org/10.1007/978-3-642-38342-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334612 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Blesa, Mar&iacute;a J. editor.&#160;Blum, Christian. editor.&#160;Festa, Paola. editor.&#160;Roli, Andrea. editor.&#160;Sampels, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE(334612.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38516-2">http://dx.doi.org/10.1007/978-3-642-38516-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334617 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Bulatov, Andrei A. editor.&#160;Shur, Arseny M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334617.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38536-0">http://dx.doi.org/10.1007/978-3-642-38536-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 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:334630 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Beyer, Dirk. editor.&#160;Boreale, Michele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334630.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38592-6">http://dx.doi.org/10.1007/978-3-642-38592-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334708 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Dueck, Gerhard W. editor.&#160;Miller, D. Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334708.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38986-3">http://dx.doi.org/10.1007/978-3-642-38986-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334718 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Bonizzoni, Paola. editor.&#160;Brattka, Vasco. editor.&#160;L&ouml;we, Benedikt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334718.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334723 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Guo, Chengan. editor.&#160;Hou, Zeng-Guang. editor.&#160;Zeng, Zhigang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334723.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39068-5">http://dx.doi.org/10.1007/978-3-642-39068-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334724 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;J&auml;rvisalo, Matti. editor.&#160;Van Gelder, Allen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334724.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334725 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Mauri, Giancarlo. editor.&#160;Dennunzio, Alberto. editor.&#160;Manzoni, Luca. editor.&#160;Porreca, Antonio E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334725.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39074-6">http://dx.doi.org/10.1007/978-3-642-39074-6</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 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z 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 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z 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/> Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings ent://SD_ILS/0/SD_ILS:334973 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Karhum&auml;ki, Juhani. editor.&#160;Lepist&ouml;, Arto. editor.&#160;Zamboni, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334973.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334981 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Bielza, Concha. editor.&#160;Salmer&oacute;n, Antonio. editor.&#160;Alonso-Betanzos, Amparo. editor.&#160;Hidalgo, J. Ignacio. editor.&#160;Mart&iacute;nez, Luis. editor.<br/>Preferred Shelf Number&#160;ONLINE(334981.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40643-0">http://dx.doi.org/10.1007/978-3-642-40643-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334990 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Rendell, Alistair P. editor.&#160;Chapman, Barbara M. editor.&#160;M&uuml;ller, Matthias S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334990.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40698-0">http://dx.doi.org/10.1007/978-3-642-40698-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334992 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Gupta, Ashutosh. editor.&#160;Henzinger, Thomas A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334992.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40708-6">http://dx.doi.org/10.1007/978-3-642-40708-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334996 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Mladenov, Valeri. editor.&#160;Koprinkova-Hristova, Petia. editor.&#160;Palm, G&uuml;nther. editor.&#160;Villa, Alessandro E. P. editor.&#160;Appollini, Bruno. editor.<br/>Preferred Shelf Number&#160;ONLINE(334996.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40728-4">http://dx.doi.org/10.1007/978-3-642-40728-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335017 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Pan, Jeng-Shyang. editor.&#160;Polycarpou, Marios M. editor.&#160;Wo&#378;niak, Micha&#322;. editor.&#160;Carvalho, Andr&eacute; C. P. L. F. editor.&#160;Quinti&aacute;n, H&eacute;ctor. editor.<br/>Preferred Shelf Number&#160;ONLINE(335017.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40846-5">http://dx.doi.org/10.1007/978-3-642-40846-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gie&szlig;en, Germany, September 17-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335022 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Kari, Jarkko. editor.&#160;Kutrib, Martin. editor.&#160;Malcher, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335022.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40867-0">http://dx.doi.org/10.1007/978-3-642-40867-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335030 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Jain, Sanjay. editor.&#160;Munos, R&eacute;mi. editor.&#160;Stephan, Frank. editor.&#160;Zeugmann, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335030.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40935-6">http://dx.doi.org/10.1007/978-3-642-40935-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335040 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Pecheur, Charles. editor.&#160;Dierkes, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335040.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41010-9">http://dx.doi.org/10.1007/978-3-642-41010-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings ent://SD_ILS/0/SD_ILS:335046 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Abdulla, Parosh Aziz. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335046.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing Second International Conference, TPNC 2013, C&aacute;ceres, Spain, December 3-5, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335178 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;Vega-Rodr&iacute;guez, Miguel A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335178.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45008-2">http://dx.doi.org/10.1007/978-3-642-45008-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334073 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Giacobazzi, Roberto. editor.&#160;Berdine, Josh. editor.&#160;Mastroeni, Isabella. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334073.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35873-9">http://dx.doi.org/10.1007/978-3-642-35873-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334174 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Gl&uuml;ck, Robert. editor.&#160;Yokoyama, Tetsuo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334174.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36315-3">http://dx.doi.org/10.1007/978-3-642-36315-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334034 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Wolff, Burkhart. editor.&#160;Gaudel, Marie-Claude. editor.&#160;Feliachi, Abderrahmane. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334034.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35705-3">http://dx.doi.org/10.1007/978-3-642-35705-3</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-09-12T10:56:12Z 2024-09-12T10:56:12Z 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/> Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334665 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Du, Ding-Zhu. editor.&#160;Zhang, Guochuan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334665.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38768-5">http://dx.doi.org/10.1007/978-3-642-38768-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vall&eacute;e, France, June 18-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334666 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;B&eacute;al, Marie-Pierre. editor.&#160;Carton, Olivier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334666.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38771-5">http://dx.doi.org/10.1007/978-3-642-38771-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332892 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Soloveichik, David. editor.&#160;Yurke, Bernard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332892.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-01928-4">http://dx.doi.org/10.1007/978-3-319-01928-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332987 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Cranefield, Stephen. editor.&#160;Nayak, Abhaya. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332987.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03680-9">http://dx.doi.org/10.1007/978-3-319-03680-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:332993 2024-09-12T10:56:12Z 2024-09-12T10:56:12Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;Dash, Shubhransu Sekhar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332993.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03753-0">http://dx.doi.org/10.1007/978-3-319-03753-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>