Search Results for - Narrowed by: SpringerLink (Online service) - Online Library - Computation by Abstract Devices.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computation$002bby$002bAbstract$002bDevices.$002509Computation$002bby$002bAbstract$002bDevices.$0026te$003dILS$0026rt$003dfalse$00257C$00257C$00257CISBN$00257C$00257C$00257CISBN$0026ps$003d300$0026isd$003dtrue?
2024-08-25T21:05:32Z
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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334034.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency VII
ent://SD_ILS/0/SD_ILS:334545
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.<br/>Preferred Shelf Number ONLINE(334545.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334547.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334665.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334666
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334666.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Brain Inspired Cognitive Systems 6th International Conference, BICS 2013, Beijing, China, June 9-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334668
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Liu, Derong. editor. Alippi, Cesare. editor. Zhao, Dongbin. editor. Hussain, Amir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334668.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38786-9">http://dx.doi.org/10.1007/978-3-642-38786-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334673
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334673.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38812-5">http://dx.doi.org/10.1007/978-3-642-38812-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334684
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Giardini, Francesca. editor. Amblard, Frédéric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334684.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38859-0">http://dx.doi.org/10.1007/978-3-642-38859-0</a><br/>Format: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334688.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334708.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334718.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks – 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334722.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks – 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334723.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334852
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Lepora, Nathan F. editor. Mura, Anna. editor. Krapp, Holger G. editor. Verschure, Paul F. M. J. editor. Prescott, Tony J. editor.<br/>Preferred Shelf Number ONLINE(334852.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39802-5">http://dx.doi.org/10.1007/978-3-642-39802-5</a><br/>Format: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334973.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Bielza, Concha. editor. Salmerón, Antonio. editor. Alonso-Betanzos, Amparo. editor. Hidalgo, J. Ignacio. editor. Martínez, Luis. editor.<br/>Preferred Shelf Number ONLINE(334981.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334990.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334992.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334996
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Mladenov, Valeri. editor. Koprinkova-Hristova, Petia. editor. Palm, Günther. editor. Villa, Alessandro E. P. editor. Appollini, Bruno. editor.<br/>Preferred Shelf Number ONLINE(334996.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Pan, Jeng-Shyang. editor. Polycarpou, Marios M. editor. Woźniak, Michał. editor. Carvalho, André C. P. L. F. editor. Quintián, Héctor. editor.<br/>Preferred Shelf Number ONLINE(335017.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335022
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335022.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335030.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335040.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Applications of Neural Networks 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part I
ent://SD_ILS/0/SD_ILS:335041
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Iliadis, Lazaros. editor. Papadopoulos, Harris. editor. Jayne, Chrisina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335041.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41013-0">http://dx.doi.org/10.1007/978-3-642-41013-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Applications of Neural Networks 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335042
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Iliadis, Lazaros. editor. Papadopoulos, Harris. editor. Jayne, Chrisina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335042.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41016-1">http://dx.doi.org/10.1007/978-3-642-41016-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335159
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Lee, Minho. editor. Hirose, Akira. editor. Hou, Zeng-Guang. editor. Kil, Rhee Man. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335159.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-42042-9">http://dx.doi.org/10.1007/978-3-642-42042-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:335162
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Lee, Minho. editor. Hirose, Akira. editor. Hou, Zeng-Guang. editor. Kil, Rhee Man. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335162.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-42051-1">http://dx.doi.org/10.1007/978-3-642-42051-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:335163
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Lee, Minho. editor. Hirose, Akira. editor. Hou, Zeng-Guang. editor. Kil, Rhee Man. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335163.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-42054-2">http://dx.doi.org/10.1007/978-3-642-42054-2</a><br/>Format: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335176.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335046.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334022.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334105
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Lodaya, Kamal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334105.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36039-8">http://dx.doi.org/10.1007/978-3-642-36039-8</a><br/>Format: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Sahai, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334242.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.<br/>Preferred Shelf Number ONLINE(334280.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Collective Intelligence IX
ent://SD_ILS/0/SD_ILS:334300
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334300.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36815-8">http://dx.doi.org/10.1007/978-3-642-36815-8</a><br/>Format: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334358.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Vanneschi, Leonardo. editor. Bush, William S. editor. Giacobini, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334380.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Esparcia-Alcázar, Anna I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334381.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Middendorf, Martin. editor. Blum, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334383.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Kuijper, Arjan. editor. Bredies, Kristian. editor. Pock, Thomas. editor. Bischof, Horst. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334572.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Peterson, Leif E. editor. Masulli, Francesco. editor. Russo, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334585.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334602
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Zaïane, Osmar R. editor. Zilles, Sandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334602.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38457-8">http://dx.doi.org/10.1007/978-3-642-38457-8</a><br/>Format: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334610.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Collective Intelligence X
ent://SD_ILS/0/SD_ILS:334611
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Nguyen, Ngoc-Thanh. editor. Kołodziej, Joanna. editor. Burczyński, Tadeusz. editor. Biba, Marenglen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334611.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38496-7">http://dx.doi.org/10.1007/978-3-642-38496-7</a><br/>Format: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Blesa, María J. editor. Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. Sampels, Michael. editor.<br/>Preferred Shelf Number ONLINE(334612.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334617.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334620
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Youssef, Amr. editor. Nitaj, Abderrahmane. editor. Hassanien, Aboul Ella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334620.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38553-7">http://dx.doi.org/10.1007/978-3-642-38553-7</a><br/>Format: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334630.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334633
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number ONLINE(334633.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38610-7">http://dx.doi.org/10.1007/978-3-642-38610-7</a><br/>Format: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334636.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334640.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334644
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number ONLINE(334644.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38658-9">http://dx.doi.org/10.1007/978-3-642-38658-9</a><br/>Format: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334651.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Konstantinidis, Stavros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334771.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334778.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334724
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334724.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Raghavendra, Prasad. editor. Raskhodnikova, Sofya. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334929.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334844.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Darling, Aaron. editor. Stoye, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334948.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335055
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Yoshida, Hiroyuki. editor. Warfield, Simon. editor. Vannier, Michael W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335055.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41083-3">http://dx.doi.org/10.1007/978-3-642-41083-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Time and Petri Nets
ent://SD_ILS/0/SD_ILS:335059
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Popova-Zeugmann, Louchka. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335059.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335074
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Ciucci, Davide. editor. Inuiguchi, Masahiro. editor. Yao, Yiyu. editor. Ślęzak, Dominik. editor. Wang, Guoyin. editor.<br/>Preferred Shelf Number ONLINE(335074.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41218-9">http://dx.doi.org/10.1007/978-3-642-41218-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Data Engineering and Automated Learning – IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335084
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Yin, Hujun. editor. Tang, Ke. editor. Gao, Yang. editor. Klawonn, Frank. editor. Lee, Minho. editor.<br/>Preferred Shelf Number ONLINE(335084.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334073.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334174.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334355.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.<br/>Preferred Shelf Number ONLINE(334384.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Tomassini, Marco. editor. Antonioni, Alberto. editor. Daolio, Fabio. editor. Buesser, Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334386.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334465
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334465.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37635-1">http://dx.doi.org/10.1007/978-3-642-37635-1</a><br/>Format: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334725.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computing Theories 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334807
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Figueroa, Juan Carlos. editor. Premaratne, Prashan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334807.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39479-9">http://dx.doi.org/10.1007/978-3-642-39479-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Dependability Assessment of Software Systems
ent://SD_ILS/0/SD_ILS:334812
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334812.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334751.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334753.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335178
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335178.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Machine Intelligence 5th International Conference, PReMI 2013, Kolkata, India, December 10-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335185
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Maji, Pradipta. editor. Ghosh, Ashish. editor. Murty, M. Narasimha. editor. Ghosh, Kuntal. editor. Pal, Sankar K. editor.<br/>Preferred Shelf Number ONLINE(335185.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45062-4">http://dx.doi.org/10.1007/978-3-642-45062-4</a><br/>Format: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332892.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332970
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332970.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03200-9">http://dx.doi.org/10.1007/978-3-319-03200-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332979
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332979.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03524-6">http://dx.doi.org/10.1007/978-3-319-03524-6</a><br/>Format: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Cranefield, Stephen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332987.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332993.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332994.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332999.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Collective Intelligence XI
ent://SD_ILS/0/SD_ILS:335144
2024-08-25T21:05:32Z
2024-08-25T21:05:32Z
Author Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335144.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41776-4">http://dx.doi.org/10.1007/978-3-642-41776-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>