Search Results for Science, general. - Narrowed by: Computers. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$00252C$002bgeneral.$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-11-14T12:32:46Z Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24&ndash;26, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483667 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Biagioni, Edoardo S. editor.&#160;Zheng, Yao. editor.&#160;Cheng, Siyao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23597-0">https://doi.org/10.1007/978-3-030-23597-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:483688 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Dillig, Isil. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-25543-5">https://doi.org/10.1007/978-3-030-25543-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:484045 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Dillig, Isil. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484905 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Rousseau, Louis-Martin. editor.&#160;Stergiou, Kostas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19212-9">https://doi.org/10.1007/978-3-030-19212-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:485087 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22747-0">https://doi.org/10.1007/978-3-030-22747-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Green, Pervasive, and Cloud Computing 14th International Conference, GPC 2019, Uberl&acirc;ndia, Brazil, May 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486048 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Miani, Rodrigo. editor. (orcid)0000-0002-8176-8040&#160;Camargos, Lasaro. editor. (orcid)0000-0002-4162-6160&#160;Zarpel&atilde;o, Bruno. editor. (orcid)0000-0001-9172-3578&#160;Rosas, Erika. editor. (orcid)0000-0003-0377-0193&#160;Pasquini, Rafael. editor. (orcid)0000-0002-8781-3914<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19223-5">https://doi.org/10.1007/978-3-030-19223-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Bioinspired Systems and Biomedical Applications to Machine Learning 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almer&iacute;a, Spain, June 3&ndash;7, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:486103 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Ferr&aacute;ndez Vicente, Jos&eacute; Manuel. editor.&#160;&Aacute;lvarez-S&aacute;nchez, Jos&eacute; Ram&oacute;n. editor.&#160;de la Paz L&oacute;pez, F&eacute;lix. editor.&#160;Toledo Moreo, Javier. editor.&#160;Adeli, Hojjat. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19651-6">https://doi.org/10.1007/978-3-030-19651-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:486113 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22744-9">https://doi.org/10.1007/978-3-030-22744-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486304 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792&#160;Zhang, Lijun. editor. (orcid)0000-0002-3692-2088&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486307 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699&#160;de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20981-0">https://doi.org/10.1007/978-3-030-20981-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday ent://SD_ILS/0/SD_ILS:486859 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Alvim, M&aacute;rio S. editor.&#160;Chatzikokolakis, Kostas. editor.&#160;Olarte, Carlos. editor.&#160;Valencia, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31175-9">https://doi.org/10.1007/978-3-030-31175-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483549 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Coecke, Bob. editor. (orcid)0000-0002-5310-8723&#160;Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35895-2">https://doi.org/10.1007/978-3-030-35895-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483898 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483907 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Filiot, Emmanuel. editor.&#160;Jungers, Rapha&euml;l. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30806-3">https://doi.org/10.1007/978-3-030-30806-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484655 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Janota, Mikol&aacute;&scaron;. editor. (orcid)0000-0003-3487-784X&#160;Lynce, In&ecirc;s. editor. (orcid)0000-0003-4868-415X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24258-9">https://doi.org/10.1007/978-3-030-24258-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part V ent://SD_ILS/0/SD_ILS:485088 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22750-0">https://doi.org/10.1007/978-3-030-22750-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:483257 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Lutz, Carsten. editor.&#160;Sattler, Uli. editor.&#160;Tinelli, Cesare. editor.&#160;Turhan, Anni-Yasmin. editor.&#160;Wolter, Frank. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22102-7">https://doi.org/10.1007/978-3-030-22102-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485820 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Ganty, Pierre. editor. (orcid)0000-0002-3625-6003&#160;Ka&acirc;niche, Mohamed. editor. (orcid)0000-0002-2647-5472&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35092-5">https://doi.org/10.1007/978-3-030-35092-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486236 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22734-0">https://doi.org/10.1007/978-3-030-22734-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding the Brain Function and Emotions 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almer&iacute;a, Spain, June 3&ndash;7, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486602 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Ferr&aacute;ndez Vicente, Jos&eacute; Manuel. editor.&#160;&Aacute;lvarez-S&aacute;nchez, Jos&eacute; Ram&oacute;n. editor.&#160;de la Paz L&oacute;pez, F&eacute;lix. editor.&#160;Toledo Moreo, Javier. editor.&#160;Adeli, Hojjat. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19591-5">https://doi.org/10.1007/978-3-030-19591-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486575 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Hinze, Thomas. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Zandron, Claudio. editor. (orcid)0000-0002-2163-7639&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12797-8">https://doi.org/10.1007/978-3-030-12797-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:482916 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Graf, Susanne. editor.&#160;Larsen, Kim G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Multi-Criterion Optimization 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482993 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939&#160;Goodman, Erik. editor.&#160;Coello Coello, Carlos A. editor. (orcid)0000-0002-8435-680X&#160;Klamroth, Kathrin. editor.&#160;Miettinen, Kaisa. editor. (orcid)0000-0003-1013-4689<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12598-1">https://doi.org/10.1007/978-3-030-12598-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483235 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Juckeland, Guido. editor. (orcid)0000-0002-9935-4428&#160;Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652&#160;Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20656-7">https://doi.org/10.1007/978-3-030-20656-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:483514 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22741-8">https://doi.org/10.1007/978-3-030-22741-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485515 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Gopal, T V. editor.&#160;Agrawal, Manindra. editor.&#160;Li, Angsheng. editor.&#160;Cooper, S. Barry. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06089-7">https://doi.org/10.1007/978-3-319-06089-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485525 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Hirsch, Edward. editor.&#160;Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001&#160;Pin, Jean-&Eacute;ric. editor.&#160;Vereshchagin, Nikolay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06686-8">https://doi.org/10.1007/978-3-319-06686-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485622 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Sinz, Carsten. editor.&#160;Egly, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09284-3">https://doi.org/10.1007/978-3-319-09284-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485634 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Legay, Axel. editor.&#160;Bozga, Marius. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10512-3">https://doi.org/10.1007/978-3-319-10512-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485637 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;J&uuml;rgensen, Helmut. editor.&#160;Karhum&auml;ki, Juhani. editor.&#160;Okhotin, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09704-6">https://doi.org/10.1007/978-3-319-09704-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings ent://SD_ILS/0/SD_ILS:485687 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Bartz-Beielstein, Thomas. editor.&#160;Branke, Juergen. editor.&#160;Filipi&#269;, Bogdan. editor. (orcid)0000-0003-4428-4255&#160;Smith, James. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10762-2">https://doi.org/10.1007/978-3-319-10762-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning -- ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485694 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Wermter, Stefan. editor.&#160;Weber, Cornelius. editor.&#160;Duch, Wlodzislaw. editor.&#160;Honkela, Timo. editor.&#160;Koprinkova-Hristova, Petia. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11179-7">https://doi.org/10.1007/978-3-319-11179-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485696 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Murata, Satoshi. editor.&#160;Kobayashi, Satoshi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11295-4">https://doi.org/10.1007/978-3-319-11295-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485712 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Was, Jaroslaw. editor.&#160;Sirakoulis, Georgios. editor.&#160;Bandini, Stefania. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11520-7">https://doi.org/10.1007/978-3-319-11520-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:486911 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Legrand, Pierrick. editor.&#160;Corsini, Marc-Michel. editor.&#160;Hao, Jin-Kao. editor.&#160;Monmarch&eacute;, Nicolas. editor.&#160;Lutton, Evelyne. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11683-9">https://doi.org/10.1007/978-3-319-11683-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487418 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;McMillan, Kenneth. editor.&#160;Rival, Xavier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54013-4">https://doi.org/10.1007/978-3-642-54013-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487501 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Esparza, Javier. editor.&#160;Fraigniaud, Pierre. editor.&#160;Husfeldt, Thore. editor.&#160;Koutsoupias, Elias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43948-7">https://doi.org/10.1007/978-3-662-43948-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487519 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Lozano, Manuel. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13749-0">https://doi.org/10.1007/978-3-319-13749-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:488980 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489012 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Holzer, Markus. editor.&#160;Kutrib, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08846-4">https://doi.org/10.1007/978-3-319-08846-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489045 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Beckmann, Arnold. editor.&#160;Csuhaj-Varj&uacute;, Ers&eacute;bet. editor.&#160;Meer, Klaus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08019-2">https://doi.org/10.1007/978-3-319-08019-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487680 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44124-4">https://doi.org/10.1007/978-3-662-44124-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488937 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Aguilera, Marcos K. editor.&#160;Querzoni, Leonardo. editor.&#160;Shapiro, Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14472-6">https://doi.org/10.1007/978-3-319-14472-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488949 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Muscholl, Anca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489079 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Hong, Hoon. editor.&#160;Yap, Chee. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44199-2">https://doi.org/10.1007/978-3-662-44199-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives ent://SD_ILS/0/SD_ILS:489092 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Anderson, Neal G. editor.&#160;Bhanja, Sanjukta. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43722-3">https://doi.org/10.1007/978-3-662-43722-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489095 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Shur, Arseny M. editor.&#160;Volkov, Mikhail V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09698-8">https://doi.org/10.1007/978-3-319-09698-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489063 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Bacon, Dave. editor.&#160;Martin-Delgado, Miguel. editor.&#160;Roetteler, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54429-3">https://doi.org/10.1007/978-3-642-54429-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers ent://SD_ILS/0/SD_ILS:489067 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Atmanspacher, Harald. editor.&#160;Haven, Emmanuel. editor.&#160;Kitto, Kirsty. editor.&#160;Raine, Derek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54943-4">https://doi.org/10.1007/978-3-642-54943-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489069 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Gheorghe, Marian. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Sos&iacute;k, Petr. editor.&#160;Zandron, Claudio. editor. (orcid)0000-0002-2163-7639<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14370-5">https://doi.org/10.1007/978-3-319-14370-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday ent://SD_ILS/0/SD_ILS:489074 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Calude, Cristian S. editor.&#160;Freivalds, R&#363;si&#326;&scaron;. editor.&#160;Kazuo, Iwama. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13350-8">https://doi.org/10.1007/978-3-319-13350-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485472 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Sierra-Rodr&iacute;guez, Jos&eacute;-Luis. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04921-2">https://doi.org/10.1007/978-3-319-04921-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485783 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Escobar, Santiago. editor. (orcid)0000-0002-3550-4781&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings ent://SD_ILS/0/SD_ILS:485812 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Dick, Grant. editor.&#160;Browne, Will N. editor.&#160;Whigham, Peter. editor.&#160;Zhang, Mengjie. editor.&#160;Bui, Lam Thu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13563-2">https://doi.org/10.1007/978-3-319-13563-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485756 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Grandinetti, Lucio. editor.&#160;Lippert, Thomas. editor.&#160;Petkov, Nicolai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12084-3">https://doi.org/10.1007/978-3-319-12084-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487246 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487329 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Diaz, Josep. editor.&#160;Lanese, Ivan. editor. (orcid)0000-0003-2527-9995&#160;Sangiorgi, Davide. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44602-7">https://doi.org/10.1007/978-3-662-44602-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:487641 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Siarry, Patrick. editor.&#160;Idoumghar, Lhassane. editor.&#160;Lepagnot, Julien. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12970-9">https://doi.org/10.1007/978-3-319-12970-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487725 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Nicolau, Miguel. editor.&#160;Krawiec, Krzysztof. editor.&#160;Heywood, Malcolm I. editor.&#160;Castelli, Mauro. editor.&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44303-3">https://doi.org/10.1007/978-3-662-44303-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:489053 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Esparza, Javier. editor.&#160;Fraigniaud, Pierre. editor.&#160;Husfeldt, Thore. editor.&#160;Koutsoupias, Elias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43951-7">https://doi.org/10.1007/978-3-662-43951-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489206 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Pardo, Alberto. editor.&#160;Viola, Alfredo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54423-1">https://doi.org/10.1007/978-3-642-54423-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487785 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Ibarra, Oscar H. editor.&#160;Kari, Lila. editor.&#160;Kopecki, Steffen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08123-6">https://doi.org/10.1007/978-3-319-08123-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:487787 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X&#160;Resende, Mauricio G.C. editor.&#160;Vogiatzis, Chrysafis. editor.&#160;Walteros, Jose L. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09584-4">https://doi.org/10.1007/978-3-319-09584-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 14th International Conference, CMC 2013, Chi&#351;in&#259;u, Republic of Moldova, August 20-23, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487795 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Alhazov, Artiom. editor.&#160;Cojocaru, Svetlana. editor.&#160;Gheorghe, Marian. editor.&#160;Rogozhin, Yurii. editor.&#160;Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54239-8">https://doi.org/10.1007/978-3-642-54239-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489310 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Ouaknine, Joel. editor.&#160;Potapov, Igor. editor.&#160;Worrell, James. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11439-2">https://doi.org/10.1007/978-3-319-11439-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday ent://SD_ILS/0/SD_ILS:489515 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Casadio, Claudia. editor.&#160;Coecke, Bob. editor.&#160;Moortgat, Michael. editor.&#160;Scott, Philip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54789-8">https://doi.org/10.1007/978-3-642-54789-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488965 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Bensalem, Saddek. editor.&#160;Lakhnech, Yassine. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54848-2">https://doi.org/10.1007/978-3-642-54848-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488966 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Ait Ameur, Yamine. editor.&#160;Schewe, Klaus-Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43652-3">https://doi.org/10.1007/978-3-662-43652-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488970 2024-11-14T12:32:46Z 2024-11-14T12:32:46Z Author&#160;Esparcia-Alc&aacute;zar, Anna I. editor.&#160;Mora, Antonio M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45523-4">https://doi.org/10.1007/978-3-662-45523-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>