Search Results for - Narrowed by: Online Library - Electronic Library - 2010 - Computer science. - Computer simulation. - Computer software. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092010$0025092010$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026te$003dILS$0026rt$003dfalse$00257C$00257C$00257CISBN$00257C$00257C$00257CISBN$0026ps$003d300? 2024-08-30T00:02:45Z Graphs and Algorithms in Communication Networks Studies in Broadband, Optical, Wireless and Ad Hoc Networks ent://SD_ILS/0/SD_ILS:190264 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Koster, Arie. editor.&#160;Mu&ntilde;oz, Xavier. 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-02250-0">http://dx.doi.org/10.1007/978-3-642-02250-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part I ent://SD_ILS/0/SD_ILS:193106 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Li, Kang. editor.&#160;Li, Xin. editor.&#160;Ma, Shiwei. editor.&#160;Irwin, George W. 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-15853-7">http://dx.doi.org/10.1007/978-3-642-15853-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part II ent://SD_ILS/0/SD_ILS:193108 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Li, Kang. editor.&#160;Li, Xin. editor.&#160;Ma, Shiwei. editor.&#160;Irwin, George W. 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-15859-9">http://dx.doi.org/10.1007/978-3-642-15859-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computation and Intelligence 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193313 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Cai, Zhihua. editor.&#160;Hu, Chengyu. editor.&#160;Kang, Zhuo. editor.&#160;Liu, Yong. 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-16493-4">http://dx.doi.org/10.1007/978-3-642-16493-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database Theory and Application, Bio-Science and Bio-Technology International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193657 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Zhang, Yanchun. editor.&#160;Cuzzocrea, Alfredo. editor.&#160;Ma, Jianhua. editor.&#160;Chung, Kyo-il. editor.&#160;Arslan, Tughrul. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17622-7">http://dx.doi.org/10.1007/978-3-642-17622-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Systems Biology XII Special Issue on Modeling Methodologies ent://SD_ILS/0/SD_ILS:191777 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Priami, Corrado. editor.&#160;Breitling, Rainer. editor.&#160;Gilbert, David. editor.&#160;Heiner, Monika. editor.&#160;Uhrmacher, Adelinde M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11712-1">http://dx.doi.org/10.1007/978-3-642-11712-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptive and Learning Agents Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:191806 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Taylor, Matthew E. editor.&#160;Tuyls, Karl. 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-11814-2">http://dx.doi.org/10.1007/978-3-642-11814-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191898 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Sirisuk, Phaophak. editor.&#160;Morgan, Fearghal. editor.&#160;El-Ghazawi, Tarek. editor.&#160;Amano, Hideharu. 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-12133-3">http://dx.doi.org/10.1007/978-3-642-12133-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:191906 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Taniar, David. editor.&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Pardede, Eric. editor.&#160;Apduhan, Bernady O. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12156-2">http://dx.doi.org/10.1007/978-3-642-12156-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:191909 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Taniar, David. editor.&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Pardede, Eric. editor.&#160;Apduhan, Bernady O. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12165-4">http://dx.doi.org/10.1007/978-3-642-12165-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III ent://SD_ILS/0/SD_ILS:191914 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Taniar, David. editor.&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Pardede, Eric. editor.&#160;Apduhan, Bernady O. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12179-1">http://dx.doi.org/10.1007/978-3-642-12179-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:191917 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Taniar, David. editor.&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Pardede, Eric. editor.&#160;Apduhan, Bernady O. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12189-0">http://dx.doi.org/10.1007/978-3-642-12189-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:192025 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12535-5">http://dx.doi.org/10.1007/978-3-642-12535-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192691 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Hart, Emma. editor.&#160;McEwan, Chris. editor.&#160;Timmis, Jon. editor.&#160;Hone, Andy. 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-14547-6">http://dx.doi.org/10.1007/978-3-642-14547-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence Methods for Bioinformatics and Biostatistics 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192699 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Masulli, Francesco. editor.&#160;Peterson, Leif E. editor.&#160;Tagliaferri, Roberto. 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-14571-1">http://dx.doi.org/10.1007/978-3-642-14571-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice ent://SD_ILS/0/SD_ILS:192794 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;M&uuml;ller-Hannemann, Matthias. editor.&#160;Schirra, Stefan. 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-14866-8">http://dx.doi.org/10.1007/978-3-642-14866-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:193021 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Li, Kang. editor.&#160;Fei, Minrui. editor.&#160;Jia, Li. editor.&#160;Irwin, George W. 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-15597-0">http://dx.doi.org/10.1007/978-3-642-15597-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III ent://SD_ILS/0/SD_ILS:193027 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Li, Kang. editor.&#160;Jia, Li. editor.&#160;Sun, Xin. editor.&#160;Fei, Minrui. editor.&#160;Irwin, George W. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15615-1">http://dx.doi.org/10.1007/978-3-642-15615-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:193029 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Li, Kang. editor.&#160;Fei, Minrui. editor.&#160;Jia, Li. editor.&#160;Irwin, George W. 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-15621-2">http://dx.doi.org/10.1007/978-3-642-15621-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in the Message Passing Interface 17th European MPI Users&rsquo; Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193038 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Keller, Rainer. editor.&#160;Gabriel, Edgar. editor.&#160;Resch, Michael. editor.&#160;Dongarra, Jack. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15646-5">http://dx.doi.org/10.1007/978-3-642-15646-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Medical Imaging and Augmented Reality 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193056 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Liao, Hongen. editor.&#160;Edwards, P. J. &quot;Eddie&quot;. editor.&#160;Pan, Xiaochuan. editor.&#160;Fan, Yong. editor.&#160;Yang, Guang-Zhong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15699-1">http://dx.doi.org/10.1007/978-3-642-15699-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193146 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Bandini, Stefania. editor.&#160;Manzoni, Sara. editor.&#160;Umeo, Hiroshi. editor.&#160;Vizzari, Giuseppe. 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-15979-4">http://dx.doi.org/10.1007/978-3-642-15979-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193152 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Vigneron, Vincent. editor.&#160;Zarzoso, Vicente. editor.&#160;Moreau, Eric. editor.&#160;Gribonval, R&eacute;mi. editor.&#160;Vincent, Emmanuel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15995-4">http://dx.doi.org/10.1007/978-3-642-15995-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193317 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. 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-16505-4">http://dx.doi.org/10.1007/978-3-642-16505-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:193325 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Wang, Fu Lee. editor.&#160;Deng, Hepu. editor.&#160;Gao, Yang. editor.&#160;Lei, Jingsheng. 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-16527-6">http://dx.doi.org/10.1007/978-3-642-16527-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:193326 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Wang, Fu Lee. editor.&#160;Deng, Hepu. editor.&#160;Gao, Yang. editor.&#160;Lei, Jingsheng. 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-16530-6">http://dx.doi.org/10.1007/978-3-642-16530-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Motion in Games Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193475 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Boulic, Ronan. editor.&#160;Chrysanthou, Yiorgos. editor.&#160;Komura, Taku. 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-16958-8">http://dx.doi.org/10.1007/978-3-642-16958-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193365 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Chatzimisios, Periklis. editor.&#160;Verikoukis, Christos. editor.&#160;Santamar&iacute;a, Ignacio. editor.&#160;Laddomada, Massimiliano. editor.&#160;Hoffmann, Oliver. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16644-0">http://dx.doi.org/10.1007/978-3-642-16644-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ad Hoc Networks Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193771 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Zheng, Jun. editor.&#160;Simplot-Ryl, David. editor.&#160;Leung, Victor C. M. 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-17994-5">http://dx.doi.org/10.1007/978-3-642-17994-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency IV ent://SD_ILS/0/SD_ILS:193833 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Jensen, Kurt. editor.&#160;Donatelli, Susanna. editor.&#160;Koutny, Maciej. 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-18222-8">http://dx.doi.org/10.1007/978-3-642-18222-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 &ndash; July 4, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192505 2024-08-30T00:02:45Z 2024-08-30T00:02:45Z Author&#160;Ferreira, Fernando. editor.&#160;L&ouml;we, Benedikt. editor.&#160;Mayordomo, Elvira. editor.&#160;Mendes Gomes, Lu&iacute;s. 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-13962-8">http://dx.doi.org/10.1007/978-3-642-13962-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>