Search Results for - Narrowed by: Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300$0026isd$003dtrue? 2024-12-05T04:05:13Z Computer Engineering and Technology 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15&ndash;17, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483833 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Li, Jinwen. editor.&#160;Zhu, Zhenzhen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-5919-4">https://doi.org/10.1007/978-981-13-5919-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach ent://SD_ILS/0/SD_ILS:484175 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Izadian, Afshin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02484-0">https://doi.org/10.1007/978-3-030-02484-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stochastic Computing: Techniques and Applications ent://SD_ILS/0/SD_ILS:484484 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gross, Warren J. editor.&#160;Gaudet, Vincent C. 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-03730-7">https://doi.org/10.1007/978-3-030-03730-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8&ndash;12, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484525 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Pesado, Patricia. editor. (orcid)0000-0003-0000-3482&#160;Aciti, Claudio. 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-20787-8">https://doi.org/10.1007/978-3-030-20787-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Variant Construction from Theoretical Foundation to Applications ent://SD_ILS/0/SD_ILS:484902 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Zheng, Jeffrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2282-2">https://doi.org/10.1007/978-981-13-2282-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Logic Circuits &amp; Logic Design with Verilog ent://SD_ILS/0/SD_ILS:484915 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;LaMeres, Brock J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-13605-5">https://doi.org/10.1007/978-3-030-13605-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20&ndash;23, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486313 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Schoeberl, Martin. editor.&#160;Hochberger, Christian. editor.&#160;Uhrig, Sascha. editor.&#160;Brehm, J&uuml;rgen. editor.&#160;Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-18656-2">https://doi.org/10.1007/978-3-030-18656-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Cryptology &ndash; LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20&ndash;22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486418 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Lange, Tanja. editor.&#160;Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-25283-0">https://doi.org/10.1007/978-3-030-25283-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21&ndash;23, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486502 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367&#160;Imam, Neena. editor. (orcid)0000-0001-8860-4738&#160;Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493&#160;Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04918-8">https://doi.org/10.1007/978-3-030-04918-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482895 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Figueroa-Garc&iacute;a, Juan Carlos. editor. (orcid)0000-0001-5544-5937&#160;Duarte-Gonz&aacute;lez, Mario. editor.&#160;Jaramillo-Isaza, Sebasti&aacute;n. editor. (orcid)0000-0002-2134-772X&#160;Orjuela-Ca&ntilde;on, Alvaro David. editor. (orcid)0000-0002-2057-7603&#160;D&iacute;az-Gutierrez, Yesid. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31019-6">https://doi.org/10.1007/978-3-030-31019-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483956 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Hu, Changjun. editor.&#160;Yang, Wen. editor.&#160;Jiang, Congfeng. editor.&#160;Dai, Dong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-32-9987-0">https://doi.org/10.1007/978-981-32-9987-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quick Start Guide to Verilog ent://SD_ILS/0/SD_ILS:485097 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;LaMeres, Brock J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-10552-5">https://doi.org/10.1007/978-3-030-10552-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24&ndash;25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485164 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106&#160;Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05807-4">https://doi.org/10.1007/978-3-030-05807-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485728 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bures, Tomas. editor.&#160;Duchien, Laurence. editor. (orcid)0000-0002-4517-5862&#160;Inverardi, Paola. 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-29983-5">https://doi.org/10.1007/978-3-030-29983-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning in VLSI Computer-Aided Design ent://SD_ILS/0/SD_ILS:485735 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Elfadel, Ibrahim (Abe) M. editor.&#160;Boning, Duane S. editor.&#160;Li, Xin. 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-04666-8">https://doi.org/10.1007/978-3-030-04666-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Logic Circuits &amp; Logic Design with VHDL ent://SD_ILS/0/SD_ILS:485818 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;LaMeres, Brock J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12489-2">https://doi.org/10.1007/978-3-030-12489-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet ent://SD_ILS/0/SD_ILS:485874 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Ko&#322;odziej, Joanna. editor. (orcid)0000-0002-5181-8713&#160;Gonz&aacute;lez-V&eacute;lez, Horacio. editor. (orcid)0000-0003-0241-6053&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16272-6">https://doi.org/10.1007/978-3-030-16272-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23&ndash;25, 2017, Revised and Extended Selected Papers ent://SD_ILS/0/SD_ILS:486867 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651&#160;Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987&#160;Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669&#160;Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850&#160;Monteiro, Jos&eacute;. editor. (orcid)0000-0003-0603-2268<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-15663-3">https://doi.org/10.1007/978-3-030-15663-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482657 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Mencagli, Gabriele. editor.&#160;B. Heras, Dora. editor.&#160;Cardellini, Valeria. editor.&#160;Casalicchio, Emiliano. editor.&#160;Jeannot, Emmanuel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-10549-5">https://doi.org/10.1007/978-3-030-10549-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483433 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912&#160;Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026&#160;Mura, Anna. editor.&#160;Mangan, Michael. editor. (orcid)0000-0002-0293-8874&#160;Asada, Minoru. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24741-6">https://doi.org/10.1007/978-3-030-24741-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:483484 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428&#160;Juckeland, Guido. editor. (orcid)0000-0002-9935-4428&#160;Wienke, Sandra. editor. (orcid)0000-0002-5794-3662&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12274-4">https://doi.org/10.1007/978-3-030-12274-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Functions and Equations Binary Models for Computer Science ent://SD_ILS/0/SD_ILS:483633 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Posthoff, Christian. author.&#160;Steinbach, Bernd. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02420-8">https://doi.org/10.1007/978-3-030-02420-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analog Circuit Theory and Filter Design in the Digital World With an Introduction to the Morphological Method for Creative Solutions and Design ent://SD_ILS/0/SD_ILS:483673 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Moschytz, George S. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00096-7">https://doi.org/10.1007/978-3-030-00096-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beyond-CMOS Technologies for Next Generation Computer Design ent://SD_ILS/0/SD_ILS:484013 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Topaloglu, Rasit O. editor.&#160;Wong, H.-S. 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-319-90385-9">https://doi.org/10.1007/978-3-319-90385-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Digital Systems Design ent://SD_ILS/0/SD_ILS:484014 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Donzellini, Giuliano. author.&#160;Oneto, Luca. author.&#160;Ponta, Domenico. author.&#160;Anguita, Davide. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92804-3">https://doi.org/10.1007/978-3-319-92804-3</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 II ent://SD_ILS/0/SD_ILS:484033 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z 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-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, G&ouml;ttingen, Germany, August 26&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483847 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29400-7">https://doi.org/10.1007/978-3-030-29400-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach ent://SD_ILS/0/SD_ILS:484081 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Fornaciari, William. editor.&#160;Soudris, Dimitrios. 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-91962-1">https://doi.org/10.1007/978-3-319-91962-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on High-Performance Embedded Architectures and Compilers V ent://SD_ILS/0/SD_ILS:484586 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Silvano, Cristina. editor. (orcid)0000-0003-1668-0883&#160;Bertels, Koen. editor. (orcid)0000-0001-9310-4885&#160;Schulte, Michael. editor. (orcid)0000-0002-0213-4155&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58834-5">https://doi.org/10.1007/978-3-662-58834-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484537 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Fan, Xing. editor.&#160;de Supinski, Bronis R. editor.&#160;Sinnen, Oliver. editor.&#160;Giacaman, Nasser. 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-28596-8">https://doi.org/10.1007/978-3-030-28596-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog ent://SD_ILS/0/SD_ILS:484875 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Taraate, Vaibbhav. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8776-9">https://doi.org/10.1007/978-981-10-8776-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII ent://SD_ILS/0/SD_ILS:485990 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Hameurlain, Abdelkader. editor.&#160;Wagner, Roland. 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-60531-8">https://doi.org/10.1007/978-3-662-60531-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quick Start Guide to VHDL ent://SD_ILS/0/SD_ILS:482945 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;LaMeres, Brock J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04516-6">https://doi.org/10.1007/978-3-030-04516-6</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-12-05T04:05:13Z 2024-12-05T04:05:13Z 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/> Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486324 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609&#160;Soeken, Mathias. editor. (orcid)0000-0002-0229-8766&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11&ndash;13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486680 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Rauchwerger, Lawrence. 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-35225-7">https://doi.org/10.1007/978-3-030-35225-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486836 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701&#160;Boehme, David. editor.&#160;Levine, Joshua A. editor.&#160;Malony, Allen D. editor.&#160;Schulz, Martin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17872-7">https://doi.org/10.1007/978-3-030-17872-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8&ndash;10, 2018, Revised and Extended Selected Papers ent://SD_ILS/0/SD_ILS:486756 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bombieri, Nicola. editor.&#160;Pravadelli, Graziano. editor.&#160;Fujita, Masahiro. editor.&#160;Austin, Todd. editor.&#160;Reis, Ricardo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23425-6">https://doi.org/10.1007/978-3-030-23425-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 &ndash; August 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399051 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;C&acirc;mpeanu, Cezar. editor. (orcid)0000-0002-9777-3012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94812-6">https://doi.org/10.1007/978-3-319-94812-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399296 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849&#160;Palmirani, Monica. editor. (orcid)0000-0002-8557-8084&#160;Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371&#160;Sartor, Giovanni. editor. (orcid)0000-0003-2210-0398&#160;Villata, Serena. editor. (orcid)0000-0003-3495-493X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00178-0">https://doi.org/10.1007/978-3-030-00178-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399353 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Lahiri, Shuvendu K. editor.&#160;Wang, Chao. 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-01090-4">https://doi.org/10.1007/978-3-030-01090-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399356 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Sun, Jing. editor.&#160;Sun, Meng. 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-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399406 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Massoni, Tiago. editor. (orcid)0000-0002-9423-7556&#160;Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, C&aacute;diz, Spain, October 1-3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399422 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Medina-Bulo, Inmaculada. editor.&#160;Merayo, Mercedes G. editor.&#160;Hierons, Robert. 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-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2&ndash;4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399476 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703&#160;Bellodi, Elena. editor. (orcid)0000-0002-3717-3779&#160;Zese, Riccardo. editor. (orcid)0000-0001-8352-6304&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99960-9">https://doi.org/10.1007/978-3-319-99960-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399485 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Feng, Xinyu. editor.&#160;M&uuml;ller-Olm, Markus. editor.&#160;Yang, Zijiang. 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-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399486 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Hoshi, Mizuho. editor.&#160;Seki, Shinnosuke. 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-98654-8">https://doi.org/10.1007/978-3-319-98654-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399515 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Jansen, David N. editor. (orcid)0000-0002-6636-3301&#160;Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:399569 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Dongarra, Jack. editor. (orcid)0000-0003-3247-1782&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Karczewski, Konrad. 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-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications ent://SD_ILS/0/SD_ILS:399577 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Hameurlain, Abdelkader. editor.&#160;Wagner, Roland. editor.&#160;Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060&#160;Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496&#160;Grosky, William I. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58415-6">https://doi.org/10.1007/978-3-662-58415-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399578 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Lange, Tanja. editor.&#160;Steinwandt, Rainer. 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-79063-3">https://doi.org/10.1007/978-3-319-79063-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18&ndash;19, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399597 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Piskac, Ruzica. editor.&#160;R&uuml;mmer, Philipp. editor. (orcid)0000-0002-2733-7098&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399611 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829&#160;Gallagher, John P. editor. (orcid)0000-0001-6984-7419&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics for Computer Science Classical and Non-Classical ent://SD_ILS/0/SD_ILS:399616 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Wasilewska, Anita. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92591-2">https://doi.org/10.1007/978-3-319-92591-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, V&auml;ster&aring;s, Sweden, September 18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399783 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053&#160;Skavhaug, Amund. editor.&#160;Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99229-7">https://doi.org/10.1007/978-3-319-99229-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399794 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Kari, Jarkko. editor. (orcid)0000-0003-0670-6138&#160;Ulidowski, Irek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99498-7">https://doi.org/10.1007/978-3-319-99498-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2&ndash;6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399802 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918&#160;Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99673-8">https://doi.org/10.1007/978-3-319-99673-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399809 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Benzm&uuml;ller, Christoph. editor. (orcid)0000-0002-3392-3093&#160;Ricca, Francesco. editor.&#160;Parent, Xavier. editor.&#160;Roman, Dumitru. 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-99906-7">https://doi.org/10.1007/978-3-319-99906-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399812 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Rusu, Vlad. 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-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A First Introduction to Quantum Computing and Information ent://SD_ILS/0/SD_ILS:399815 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Zygelman, Bernard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91629-3">https://doi.org/10.1007/978-3-319-91629-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399822 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Ciucci, Davide. editor. (orcid)0000-0002-8083-7809&#160;Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170&#160;Vantaggi, Barbara. editor. (orcid)0000-0002-3651-3743&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00461-3">https://doi.org/10.1007/978-3-030-00461-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, W&uuml;rzburg, Germany, September 19&ndash;22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399852 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Seipel, Dietmar. editor.&#160;Hanus, Michael. editor. (orcid)0000-0002-4953-8202&#160;Abreu, Salvador. editor. (orcid)0000-0002-1613-4631&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400194 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Chen, Liqun. editor. (orcid)0000-0003-2680-4907&#160;Manulis, Mark. editor. (orcid)0000-0002-1512-9670&#160;Schneider, Steve. editor. (orcid)0000-0001-8365-6993&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99136-8">https://doi.org/10.1007/978-3-319-99136-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Refinement Semantics, Languages and Applications ent://SD_ILS/0/SD_ILS:400372 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Derrick, John. author.&#160;Boiten, Eerke. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92711-4">https://doi.org/10.1007/978-3-319-92711-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400340 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Durand-Lose, J&eacute;r&ocirc;me. editor. (orcid)0000-0001-6506-074X&#160;Verlan, Sergey. editor. (orcid)0000-0001-7800-1618&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92402-1">https://doi.org/10.1007/978-3-319-92402-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400343 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;McIver, Annabelle. editor. (orcid)0000-0002-2405-9838&#160;Horvath, Andras. editor. (orcid)0000-0002-8210-545X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99154-2">https://doi.org/10.1007/978-3-319-99154-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, V&auml;ster&aring;s, Sweden, September 19-21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400344 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053&#160;Skavhaug, Amund. editor.&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99130-6">https://doi.org/10.1007/978-3-319-99130-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400716 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Tian, Cong. editor.&#160;Nagoya, Fumiko. editor.&#160;Liu, Shaoying. editor.&#160;Duan, Zhenhua. 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-90104-6">https://doi.org/10.1007/978-3-319-90104-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies ent://SD_ILS/0/SD_ILS:401372 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Mehta, Ashok B. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-59418-7">https://doi.org/10.1007/978-3-319-59418-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401670 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Heras, Dora B. editor.&#160;Boug&eacute;, Luc. editor.&#160;Mencagli, Gabriele. editor.&#160;Jeannot, Emmanuel. editor.&#160;Sakellariou, Rizos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75178-8">https://doi.org/10.1007/978-3-319-75178-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401698 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Dubois, Catherine. editor.&#160;Wolff, Burkhart. 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-92994-1">https://doi.org/10.1007/978-3-319-92994-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design of FPGA-Based Computing Systems with OpenCL ent://SD_ILS/0/SD_ILS:401920 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Waidyasooriya, Hasitha Muthumala. author.&#160;Hariyama, Masanori. author.&#160;Uchiyama, Kunio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68161-0">https://doi.org/10.1007/978-3-319-68161-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401932 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682&#160;Imam, Neena. editor. (orcid)0000-0001-8860-4738&#160;Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73814-7">https://doi.org/10.1007/978-3-319-73814-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401949 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831&#160;Voronkov, Andrei. 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-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402084 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gheorghe, Marian. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Zandron, Claudio. 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-73359-3">https://doi.org/10.1007/978-3-319-73359-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402536 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Galmiche, Didier. editor.&#160;Schulz, Stephan. editor.&#160;Sebastiani, Roberto. 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-94205-6">https://doi.org/10.1007/978-3-319-94205-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402686 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bi, Yuanguo. editor.&#160;Chen, Gang. editor.&#160;Deng, Qingxu. editor.&#160;Wang, Yi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1026-3">https://doi.org/10.1007/978-981-13-1026-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25&ndash;27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402724 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Konstantinidis, Stavros. editor.&#160;Pighizzini, Giovanni. 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-94631-3">https://doi.org/10.1007/978-3-319-94631-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399024 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Qiu, Meikang. editor. (orcid)0000-0002-1004-0140&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05764-0">https://doi.org/10.1007/978-3-030-05764-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399167 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;de Supinski, Bronis R. editor.&#160;Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310&#160;Martorell, Xavier. editor.&#160;Mateo Bellido, Sergi. editor.&#160;Labarta, Jesus. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98521-3">https://doi.org/10.1007/978-3-319-98521-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399102 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;C&icirc;rstea, Corina. editor. (orcid)0000-0003-3165-5678&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00389-0">https://doi.org/10.1007/978-3-030-00389-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399146 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Yokota, Rio. editor. (orcid)0000-0001-7573-7873&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Shalf, John. editor.&#160;Alam, Sadaf. editor. (orcid)0000-0002-2534-5078&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02465-9">https://doi.org/10.1007/978-3-030-02465-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399155 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Li, Chao. editor.&#160;Wu, Junjie. editor. (orcid)0000-0001-5951-8988&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2423-9">https://doi.org/10.1007/978-981-13-2423-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399265 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;&#268;e&scaron;ka, Milan. editor. (orcid)0000-0002-0300-9727&#160;&Scaron;afr&aacute;nek, David. 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-99429-1">https://doi.org/10.1007/978-3-319-99429-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399530 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038&#160;Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X&#160;Fill, Hans-Georg. editor.&#160;Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591&#160;Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-76168-8">https://doi.org/10.1007/978-3-319-76168-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399871 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Doty, David. editor. (orcid)0000-0002-3922-172X&#160;Dietz, Hendrik. 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-00030-1">https://doi.org/10.1007/978-3-030-00030-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399903 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948&#160;Ober, Iulian. 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-04771-9">https://doi.org/10.1007/978-3-030-04771-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8&ndash;11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399949 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. 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-72056-2">https://doi.org/10.1007/978-3-319-72056-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5&ndash;8, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399958 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Butler, Michael. editor.&#160;Raschke, Alexander. editor.&#160;Hoang, Thai Son. editor.&#160;Reichl, 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-91271-4">https://doi.org/10.1007/978-3-319-91271-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17&ndash;22, 2017, Tutorial Lectures ent://SD_ILS/0/SD_ILS:400263 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. 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-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400302 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. 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-05051-1">https://doi.org/10.1007/978-3-030-05051-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 &ndash; December 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400307 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Zhang, Feng. editor. (orcid)0000-0003-1983-7321&#160;Zhai, Jidong. editor.&#160;Snir, Marc. editor.&#160;Jin, Hai. editor.&#160;Kasahara, Hironori. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05677-3">https://doi.org/10.1007/978-3-030-05677-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8&ndash;9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400560 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834&#160;Hamlen, Kevin. editor.&#160;Leone, Nicola. 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-73305-0">https://doi.org/10.1007/978-3-319-73305-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400563 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Topics in Cryptology &ndash; CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400594 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Smart, Nigel P. editor. (orcid)0000-0003-3567-3304&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-76953-0">https://doi.org/10.1007/978-3-319-76953-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400605 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. 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-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14&ndash;20, 2018. Proceedings ent://SD_ILS/0/SD_ILS:400607 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Baier, Christel. editor. (orcid)0000-0002-5321-9343&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400641 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. 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-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduzione al Progetto di Sistemi Digitali ent://SD_ILS/0/SD_ILS:401180 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Donzellini, Giuliano. author.&#160;Oneto, Luca. author.&#160;Ponta, Domenico. author.&#160;Anguita, Davide. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-88-470-3963-6">https://doi.org/10.1007/978-88-470-3963-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401195 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Fomin, Fedor V. editor.&#160;Podolskii, Vladimir 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-90530-3">https://doi.org/10.1007/978-3-319-90530-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401564 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gallardo, Mar&iacute;a del Mar. editor.&#160;Merino, Pedro. 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-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401639 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Yokota, Rio. editor. (orcid)0000-0001-7573-7873&#160;Wu, Weigang. editor. (orcid)0000-0002-4714-7021&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69953-0">https://doi.org/10.1007/978-3-319-69953-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401731 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Yokota, Rio. editor. (orcid)0000-0001-7573-7873&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Keyes, David. editor.&#160;Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92040-5">https://doi.org/10.1007/978-3-319-92040-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:401746 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Dongarra, Jack. editor. (orcid)0000-0003-3247-1782&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Karczewski, Konrad. 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-78024-5">https://doi.org/10.1007/978-3-319-78024-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 27th International Conference, ILP 2017, Orl&eacute;ans, France, September 4-6, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401981 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Lachiche, Nicolas. editor.&#160;Vrain, Christel. 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-78090-0">https://doi.org/10.1007/978-3-319-78090-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401984 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Klus&aacute;&#269;ek, Dalibor. editor.&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. 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-77398-8">https://doi.org/10.1007/978-3-319-77398-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2018 18th International Conference, Wuxi, China, June 11&ndash;13, 2018 Proceedings, Part III ent://SD_ILS/0/SD_ILS:401990 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Shi, Yong. editor.&#160;Fu, Haohuan. editor.&#160;Tian, Yingjie. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Lees, Michael Harold. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93713-7">https://doi.org/10.1007/978-3-319-93713-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:402313 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Jarvis, Stephen. editor.&#160;Wright, Steven. editor.&#160;Hammond, Simon. 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-72971-8">https://doi.org/10.1007/978-3-319-72971-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Structures of FPGAs ent://SD_ILS/0/SD_ILS:399651 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Amano, Hideharu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-0824-6">https://doi.org/10.1007/978-981-13-0824-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399961 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Knoll, Florian. editor. (orcid)0000-0001-5357-8656&#160;Maier, Andreas. editor. (orcid)0000-0002-9550-5284&#160;Rueckert, Daniel. editor. (orcid)0000-0002-5683-5889&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00129-2">https://doi.org/10.1007/978-3-030-00129-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399964 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175&#160;&Ouml;lveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02146-7">https://doi.org/10.1007/978-3-030-02146-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399967 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. 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-05057-3">https://doi.org/10.1007/978-3-030-05057-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399984 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Seiler, Werner M. editor. (orcid)0000-0002-0565-1334&#160;Vorozhtsov, Evgenii 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-99639-4">https://doi.org/10.1007/978-3-319-99639-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing &ndash; ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16&ndash;19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400253 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Fischer, Bernd. editor. (orcid)0000-0002-1815-218X&#160;Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02508-3">https://doi.org/10.1007/978-3-030-02508-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400495 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Pires, Lu&iacute;s Ferreira. editor.&#160;Hammoudi, Slimane. editor.&#160;Selic, Bran. 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-94764-8">https://doi.org/10.1007/978-3-319-94764-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6&ndash;7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400513 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683&#160;Alcaraz, Cristina. editor. (orcid)0000-0003-0545-3191&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01141-3">https://doi.org/10.1007/978-3-030-01141-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Lectures on Runtime Verification Introductory and Advanced Topics ent://SD_ILS/0/SD_ILS:400774 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601&#160;Falcone, Yli&egrave;s. 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-75632-5">https://doi.org/10.1007/978-3-319-75632-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:400823 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428&#160;Juckeland, Guido. 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-74896-2">https://doi.org/10.1007/978-3-319-74896-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2018 31st International Conference, Braunschweig, Germany, April 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400833 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Berekovic, Mladen. editor.&#160;Buchty, Rainer. editor.&#160;Hamann, Heiko. editor.&#160;Koch, Dirk. editor.&#160;Pionteck, Thilo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77610-1">https://doi.org/10.1007/978-3-319-77610-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures ent://SD_ILS/0/SD_ILS:400854 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917&#160;Stevens, Perdita. editor. (orcid)0000-0002-3975-7612&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-79108-1">https://doi.org/10.1007/978-3-319-79108-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401274 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Khomenko, Victor. editor.&#160;Roux, Olivier H. 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-91268-4">https://doi.org/10.1007/978-3-319-91268-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable and Energy Efficient Streaming Multiprocessor Systems ent://SD_ILS/0/SD_ILS:401431 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Das, Anup Kumar. author.&#160;Kumar, Akash. author.&#160;Veeravalli, Bharadwaj. author.&#160;Catthoor, Francky. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69374-3">https://doi.org/10.1007/978-3-319-69374-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:401495 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Shi, Yong. editor.&#160;Fu, Haohuan. editor.&#160;Tian, Yingjie. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Lees, Michael Harold. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93701-4">https://doi.org/10.1007/978-3-319-93701-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401446 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Black, Elizabeth. editor. (orcid)0000-0002-4295-449X&#160;Modgil, Sanjay. editor.&#160;Oren, Nir. 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-75553-3">https://doi.org/10.1007/978-3-319-75553-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401459 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Shapira, Dana. editor. (orcid)0000-0002-2320-9064&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77313-1">https://doi.org/10.1007/978-3-319-77313-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2018 18th International Conference, Wuxi, China, June 11&ndash;13, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:401521 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Shi, Yong. editor.&#160;Fu, Haohuan. editor.&#160;Tian, Yingjie. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Lees, Michael Harold. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93698-7">https://doi.org/10.1007/978-3-319-93698-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402196 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Stepney, Susan. editor. (orcid)0000-0003-3146-5401&#160;Verlan, Sergey. editor. (orcid)0000-0001-7800-1618&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92435-9">https://doi.org/10.1007/978-3-319-92435-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402375 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Avigad, Jeremy. editor.&#160;Mahboubi, Assia. 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-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402522 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Cerone, Antonio. editor. (orcid)0000-0003-2691-5279&#160;Roveri, Marco. editor. (orcid)0000-0001-9483-3940&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 &ndash; November 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400552 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Desharnais, Jules. editor. (orcid)0000-0002-4780-2698&#160;Guttmann, Walter. editor. (orcid)0000-0003-2969-1688&#160;Joosten, Stef. editor. (orcid)0000-0001-8308-0189&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4&ndash;7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400553 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Izumi, Taisuke. editor.&#160;Kuznetsov, Petr. 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-03232-6">https://doi.org/10.1007/978-3-030-03232-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10&ndash;13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400554 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Colombo, Christian. editor.&#160;Leucker, 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-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400528 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Dillig, Isil. editor.&#160;Palsberg, Jens. 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-73721-8">https://doi.org/10.1007/978-3-319-73721-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398931 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Zhang, Fa. editor.&#160;Cai, Zhipeng. editor.&#160;Skums, Pavel. editor.&#160;Zhang, Shihua. 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-94968-0">https://doi.org/10.1007/978-3-319-94968-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors ent://SD_ILS/0/SD_ILS:399090 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Melikyan, Vazgen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-71637-4">https://doi.org/10.1007/978-3-319-71637-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399721 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Potapov, Igor. editor.&#160;Reynier, Pierre-Alain. 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-00250-3">https://doi.org/10.1007/978-3-030-00250-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399729 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829&#160;Padovani, Luca. editor. (orcid)0000-0001-9097-1297&#160;Torquati, Massimo. editor. (orcid)0000-0001-6323-3459&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96983-1">https://doi.org/10.1007/978-3-319-96983-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XXXIII ent://SD_ILS/0/SD_ILS:399733 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C.J. Kenneth. 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-58039-4">https://doi.org/10.1007/978-3-662-58039-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13&ndash;14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400065 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Li, Lian. editor.&#160;Lu, Pinyan. editor.&#160;He, Kun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2712-4">https://doi.org/10.1007/978-981-13-2712-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400075 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481&#160;Bensalem, Saddek. editor.&#160;Bliudze, Simon. editor. (orcid)0000-0002-7900-5271&#160;Monsuez, Bruno. 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-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400131 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Podelski, Andreas. 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-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400146 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Casimiro, Ant&oacute;nio. editor. (orcid)0000-0002-5522-5739&#160;Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92432-8">https://doi.org/10.1007/978-3-319-92432-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400155 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Say&#305;sal tasar&#305;m ent://SD_ILS/0/SD_ILS:370964 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Mano, M. Morris.&#160;Bo&#287;osyan, Seta, &ccedil;ev.&#160;G&ouml;ka&#351;an, Metin, &ccedil;ev.&#160;Kurtulan, Salman, &ccedil;ev.<br/>Preferred Shelf Number&#160;TK7888.3 M35 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488939 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Yamashita, Shigeru. editor.&#160;Minato, Shin-ichi. 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-08494-7">https://doi.org/10.1007/978-3-319-08494-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XXIV Special Issue on Reversible Computing ent://SD_ILS/0/SD_ILS:489061 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C.J. Kenneth. editor.&#160;Thapliyal, Himanshu. editor.&#160;Ranganathan, Nagarajan. 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-45711-5">https://doi.org/10.1007/978-3-662-45711-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A General Framework for Reasoning On Inconsistency ent://SD_ILS/0/SD_ILS:332107 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Martinez, Maria Vanina. author.&#160;Molinaro, Cristian. author.&#160;Subrahmanian, V.S. author.&#160;Amgoud, Leila. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332107.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6750-2">http://dx.doi.org/10.1007/978-1-4614-6750-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332921 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Hung, Dang. editor.&#160;Ogawa, Mizuhito. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332921.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334077 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Beckert, Bernhard. editor.&#160;Damiani, Ferruccio. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334077.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334080 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Lu, Pingjing. editor.&#160;Li, Jinwen. editor.&#160;Zhang, Chengyi. editor.<br/>Preferred Shelf Number&#160;ONLINE(334080.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35898-2">http://dx.doi.org/10.1007/978-3-642-35898-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334136 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Ayala, Jos&eacute; L. editor.&#160;Shang, Delong. editor.&#160;Yakovlev, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334136.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36157-9">http://dx.doi.org/10.1007/978-3-642-36157-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 22nd European Symposium on Programming, ESOP 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:334348 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Felleisen, Matthias. editor.&#160;Gardner, Philippa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334348.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 16th International Conference, FASE 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:334354 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Cortellessa, Vittorio. editor.&#160;Varr&oacute;, D&aacute;niel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334354.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37057-1">http://dx.doi.org/10.1007/978-3-642-37057-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334355 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334355.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37064-9">http://dx.doi.org/10.1007/978-3-642-37064-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334494 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Baldoni, Matteo. editor.&#160;Dennis, Louise. editor.&#160;Mascardi, Viviana. editor.&#160;Vasconcelos, Wamberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334494.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37890-4">http://dx.doi.org/10.1007/978-3-642-37890-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334533 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Brat, Guillaume. editor.&#160;Rungta, Neha. editor.&#160;Venet, Arnaud. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334533.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures ent://SD_ILS/0/SD_ILS:334688 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bernardo, Marco. editor.&#160;Vink, Erik. editor.&#160;Pierro, Alessandra. editor.&#160;Wiklicky, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334688.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction &ndash; CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334626 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bonacina, Maria Paola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334626.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334691 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Duddy, Keith. editor.&#160;Kappel, Gerti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334691.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38883-5">http://dx.doi.org/10.1007/978-3-642-38883-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334630 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Beyer, Dirk. editor.&#160;Boreale, Michele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334630.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38592-6">http://dx.doi.org/10.1007/978-3-642-38592-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334634 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Johnsen, Einar Broch. editor.&#160;Petre, Luigia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334634.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38613-8">http://dx.doi.org/10.1007/978-3-642-38613-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334698 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Veanes, Margus. editor.&#160;Vigan&ograve;, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334698.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334708 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Dueck, Gerhard W. editor.&#160;Miller, D. Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334708.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38986-3">http://dx.doi.org/10.1007/978-3-642-38986-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334711 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gorp, Pieter. editor.&#160;Ritter, Tom. editor.&#160;Rose, Louis M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334711.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334714 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Drira, Khalil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334714.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39031-9">http://dx.doi.org/10.1007/978-3-642-39031-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2013 &ndash; Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334715 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Castagna, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334715.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39038-8">http://dx.doi.org/10.1007/978-3-642-39038-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bonizzoni, Paola. editor.&#160;Brattka, Vasco. editor.&#160;L&ouml;we, Benedikt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334718.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334724 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;J&auml;rvisalo, Matti. editor.&#160;Van Gelder, Allen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334724.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334728 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gaag, Linda C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334728.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39091-3">http://dx.doi.org/10.1007/978-3-642-39091-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334743 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bartocci, Ezio. editor.&#160;Ramakrishnan, C. R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334743.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39176-7">http://dx.doi.org/10.1007/978-3-642-39176-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335196 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;McMillan, Ken. editor.&#160;Middeldorp, Aart. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335196.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:335131 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Zhang, Chengyi. editor.&#160;Li, Jinwen. editor.&#160;Yu, Liyan. editor.<br/>Preferred Shelf Number&#160;ONLINE(335131.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41635-4">http://dx.doi.org/10.1007/978-3-642-41635-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman ent://SD_ILS/0/SD_ILS:335138 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Tannen, Val. editor.&#160;Wong, Limsoon. editor.&#160;Libkin, Leonid. editor.&#160;Fan, Wenfei. editor.&#160;Tan, Wang-Chiew. editor.<br/>Preferred Shelf Number&#160;ONLINE(335138.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41660-6">http://dx.doi.org/10.1007/978-3-642-41660-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335141 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Yenig&uuml;n, H&uuml;sn&uuml;. editor.&#160;Yilmaz, Cemal. editor.&#160;Ulrich, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335141.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Semantics The Search for Meaning on the Web ent://SD_ILS/0/SD_ILS:331289 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Halpin, Harry. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331289.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1885-6">http://dx.doi.org/10.1007/978-1-4614-1885-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Programming Theory and Practice ent://SD_ILS/0/SD_ILS:331611 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Shankar, A. Udaya. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331611.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4881-5">http://dx.doi.org/10.1007/978-1-4614-4881-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Computing Systems Mathematics for Computer Science ent://SD_ILS/0/SD_ILS:332574 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Moller, Faron. author.&#160;Struth, Georg. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332574.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-322-4">http://dx.doi.org/10.1007/978-1-84800-322-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332962 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bertacco, Valeria. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332964 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Higashino, Teruo. editor.&#160;Katayama, Yoshiaki. editor.&#160;Masuzawa, Toshimitsu. editor.&#160;Potop-Butucaru, Maria. editor.&#160;Yamashita, Masafumi. editor.<br/>Preferred Shelf Number&#160;ONLINE(332964.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03089-0">http://dx.doi.org/10.1007/978-3-319-03089-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332981 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Shan, Chung-chieh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332981.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03542-0">http://dx.doi.org/10.1007/978-3-319-03542-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332982 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gonthier, Georges. editor.&#160;Norrish, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332982.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03545-1">http://dx.doi.org/10.1007/978-3-319-03545-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333011 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor.&#160;Nikitchenko, Mykola. editor.&#160;Spivakovsky, Aleksander. editor.&#160;Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number&#160;ONLINE(333011.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03998-5">http://dx.doi.org/10.1007/978-3-319-03998-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, Analysis and Test of Logic Circuits Under Uncertainty ent://SD_ILS/0/SD_ILS:335669 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Krishnaswamy, Smita. author.&#160;Markov, Igor L. author.&#160;Hayes, John P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335669.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse ent://SD_ILS/0/SD_ILS:337578 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;B&ouml;ckenhauer, Hans-Joachim. author.&#160;Hromkovic, Juraj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337578.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-00725-6">http://dx.doi.org/10.1007/978-3-658-00725-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logikkalk&uuml;le in der Informatik Wie wird Logik vom Rechner genutzt? ent://SD_ILS/0/SD_ILS:338349 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Schenke, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(338349.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-2295-6">http://dx.doi.org/10.1007/978-3-8348-2295-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts ent://SD_ILS/0/SD_ILS:331002 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;O&rsquo;Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331002.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4534-9">http://dx.doi.org/10.1007/978-1-4471-4534-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:333558 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Maciaszek, Leszek A. editor.&#160;Zhang, Kang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333558.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334069 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;P&#259;s&#259;reanu, Corina S. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334069.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Assurances for Self-Adaptive Systems Principles, Models, and Techniques ent://SD_ILS/0/SD_ILS:334156 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;C&aacute;mara, Javier. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Ghezzi, Carlo. editor.&#160;Lopes, Ant&oacute;nia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334156.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36249-1">http://dx.doi.org/10.1007/978-3-642-36249-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334014 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Qadeer, Shaz. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334014.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334073 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Giacobazzi, Roberto. editor.&#160;Berdine, Josh. editor.&#160;Mastroeni, Isabella. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334073.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35873-9">http://dx.doi.org/10.1007/978-3-642-35873-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Wolff, Burkhart. editor.&#160;Gaudel, Marie-Claude. editor.&#160;Feliachi, Abderrahmane. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334034.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35705-3">http://dx.doi.org/10.1007/978-3-642-35705-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334038 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334038.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334041 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor.&#160;Nikitchenko, Mykola. editor.&#160;Spivakovsky, Aleksander. editor.&#160;Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number&#160;ONLINE(334041.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35737-4">http://dx.doi.org/10.1007/978-3-642-35737-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334105 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Lodaya, Kamal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334105.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Finite State Machine Logic Synthesis for Complex Programmable Logic Devices ent://SD_ILS/0/SD_ILS:334139 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Czerwinski, Robert. author.&#160;Kania, Dariusz. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334139.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36166-1">http://dx.doi.org/10.1007/978-3-642-36166-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Mart&iacute;-Oliet, Narciso. editor.&#160;Palomino, Miguel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334465.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334564 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Chan, T-H. Hubert. editor.&#160;Lau, Lap Chi. editor.&#160;Trevisan, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334564.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38236-9">http://dx.doi.org/10.1007/978-3-642-38236-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency VII ent://SD_ILS/0/SD_ILS:334545 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Jensen, Kurt. editor.&#160;Aalst, Wil M. P. editor.&#160;Balbo, Gianfranco. editor.&#160;Koutny, Maciej. editor.&#160;Wolf, Karsten. editor.<br/>Preferred Shelf Number&#160;ONLINE(334545.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38143-0">http://dx.doi.org/10.1007/978-3-642-38143-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:334547 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Coecke, Bob. editor.&#160;Ong, Luke. editor.&#160;Panangaden, Prakash. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334547.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334552 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Albert, Elvira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334552.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings ent://SD_ILS/0/SD_ILS:335433 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Nishizaki, Shin-ya. editor.&#160;Numao, Masayuki. editor.&#160;Caro, Jaime. editor.&#160;Suarez, Merlin Teodosia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335433.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-4-431-54436-4">http://dx.doi.org/10.1007/978-4-431-54436-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics ent://SD_ILS/0/SD_ILS:336496 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Mogavero, Fabio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336496.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-91216-95-4">http://dx.doi.org/10.2991/978-94-91216-95-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334174 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gl&uuml;ck, Robert. editor.&#160;Yokoyama, Tetsuo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334174.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36315-3">http://dx.doi.org/10.1007/978-3-642-36315-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:334096 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;L&auml;mmel, Ralf. editor.&#160;Saraiva, Jo&atilde;o. editor.&#160;Visser, Joost. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334096.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning and Mathematics Essays in Memory of William W. McCune ent://SD_ILS/0/SD_ILS:334264 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bonacina, Maria Paola. editor.&#160;Stickel, Mark E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334264.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36675-8">http://dx.doi.org/10.1007/978-3-642-36675-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 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:334278 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Piterman, Nir. editor.&#160;Smolka, Scott A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334278.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334358 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Pfenning, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334358.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Logics Essays in Memory of Harald Ganzinger ent://SD_ILS/0/SD_ILS:334468 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Voronkov, Andrei. editor.&#160;Weidenbach, Christoph. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334468.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37651-1">http://dx.doi.org/10.1007/978-3-642-37651-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334556 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Machado, Ricardo J. editor.&#160;Maciel, Rita Suzana P. editor.&#160;Rubin, Julia. editor.&#160;Botterweck, Goetz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334556.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334562 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Beek, Maurice H. editor.&#160;Lohmann, Niels. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334562.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38230-7">http://dx.doi.org/10.1007/978-3-642-38230-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334665 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Du, Ding-Zhu. editor.&#160;Zhang, Guochuan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334665.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38768-5">http://dx.doi.org/10.1007/978-3-642-38768-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Riguzzi, Fabrizio. editor.&#160;&#381;elezn&yacute;, Filip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334673.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334610 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Nicola, Rocco. editor.&#160;Julien, Christine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334610.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38493-6">http://dx.doi.org/10.1007/978-3-642-38493-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334683 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Logozzo, Francesco. editor.&#160;F&auml;hndrich, Manuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334683.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38856-9">http://dx.doi.org/10.1007/978-3-642-38856-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334617 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bulatov, Andrei A. editor.&#160;Shur, Arseny M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334617.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38536-0">http://dx.doi.org/10.1007/978-3-642-38536-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334631 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Keller, Hubert B. editor.&#160;Pl&ouml;dereder, Erhard. editor.&#160;Dencker, Peter. editor.&#160;Klenk, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334631.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38601-5">http://dx.doi.org/10.1007/978-3-642-38601-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334697 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Khendek, Ferhat. editor.&#160;Toeroe, Maria. editor.&#160;Gherbi, Abdelouahed. editor.&#160;Reed, Rick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334697.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38911-5">http://dx.doi.org/10.1007/978-3-642-38911-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334702 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Hasegawa, Masahito. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334702.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334651 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Colom, Jos&eacute;-Manuel. editor.&#160;Desel, J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334651.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334772 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Liu, Shaoying. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334772.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Jurgensen, Helmut. editor.&#160;Reis, Rog&eacute;rio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334778.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39310-5">http://dx.doi.org/10.1007/978-3-642-39310-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334820 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Biere, Armin. editor.&#160;Nahir, Amir. editor.&#160;Vos, Tanja. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334820.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334821 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Binder, Walter. editor.&#160;Bodden, Eric. editor.&#160;L&ouml;we, Welf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334821.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39614-4">http://dx.doi.org/10.1007/978-3-642-39614-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334822 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Morgenstern, Leora. editor.&#160;Stefaneas, Petros. editor.&#160;L&eacute;vy, Fran&ccedil;ois. editor.&#160;Wyner, Adam. editor.&#160;Paschke, Adrian. editor.<br/>Preferred Shelf Number&#160;ONLINE(334822.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39617-5">http://dx.doi.org/10.1007/978-3-642-39617-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334825 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Blazy, Sandrine. editor.&#160;Paulin-Mohring, Christine. editor.&#160;Pichardie, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334825.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334832 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Faber, Wolfgang. editor.&#160;Lembo, Domenico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334832.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39666-3">http://dx.doi.org/10.1007/978-3-642-39666-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing &ndash; ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334840 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Liu, Zhiming. editor.&#160;Woodcock, Jim. editor.&#160;Zhu, Huibiao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334840.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39718-9">http://dx.doi.org/10.1007/978-3-642-39718-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334851 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Sharygina, Natasha. editor.&#160;Veith, Helmut. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334851.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39799-8">http://dx.doi.org/10.1007/978-3-642-39799-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334904 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Daniel, Florian. editor.&#160;Wang, Jianmin. editor.&#160;Weber, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334904.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40176-3">http://dx.doi.org/10.1007/978-3-642-40176-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2013 &ndash; Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334905 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;D&rsquo;Argenio, Pedro R. editor.&#160;Melgratti, Hern&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334905.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40184-8">http://dx.doi.org/10.1007/978-3-642-40184-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334907 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Joshi, Kaustubh. editor.&#160;Siegle, Markus. editor.&#160;Stoelinga, Mari&euml;lle. editor.&#160;D&rsquo;Argenio, Pedro R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334907.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40196-1">http://dx.doi.org/10.1007/978-3-642-40196-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334911 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Arbab, Farhad. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334911.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40213-5">http://dx.doi.org/10.1007/978-3-642-40213-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334913 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Braberman, V&iacute;ctor. editor.&#160;Fribourg, Laurent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334913.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40229-6">http://dx.doi.org/10.1007/978-3-642-40229-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency VIII ent://SD_ILS/0/SD_ILS:334949 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Koutny, Maciej. editor.&#160;Aalst, Wil M. P. editor.&#160;Yakovlev, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334949.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40465-8">http://dx.doi.org/10.1007/978-3-642-40465-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings ent://SD_ILS/0/SD_ILS:334962 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Galmiche, Didier. editor.&#160;Larchey-Wendling, Dominique. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334968 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Hierons, Robert M. editor.&#160;Merayo, Mercedes G. editor.&#160;Bravetti, Mario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334968.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334969 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Cabalar, Pedro. editor.&#160;Son, Tran Cao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334969.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures ent://SD_ILS/0/SD_ILS:334978 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Giachino, Elena. editor.&#160;H&auml;hnle, Reiner. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334978.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40615-7">http://dx.doi.org/10.1007/978-3-642-40615-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334979 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Leite, Jo&atilde;o. editor.&#160;Son, Tran Cao. editor.&#160;Torroni, Paolo. editor.&#160;Torre, Leon. editor.&#160;Woltran, Stefan. editor.<br/>Preferred Shelf Number&#160;ONLINE(334979.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40624-9">http://dx.doi.org/10.1007/978-3-642-40624-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334980 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Schulte, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334980.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40627-0">http://dx.doi.org/10.1007/978-3-642-40627-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334985 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Muntean, Traian. editor.&#160;Poulakis, Dimitrios. editor.&#160;Rolland, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334985.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40663-8">http://dx.doi.org/10.1007/978-3-642-40663-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335003 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Legay, Axel. editor.&#160;Bensalem, Saddek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335003.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335023 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Fontaine, Pascal. editor.&#160;Ringeissen, Christophe. editor.&#160;Schmidt, Renate A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335023.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335024 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gorbenko, Anatoliy. editor.&#160;Romanovsky, Alexander. editor.&#160;Kharchenko, Vyacheslav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335024.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335030 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Jain, Sanjay. editor.&#160;Munos, R&eacute;mi. editor.&#160;Stephan, Frank. editor.&#160;Zeugmann, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335030.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40935-6">http://dx.doi.org/10.1007/978-3-642-40935-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335032 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Grossi, Davide. editor.&#160;Roy, Olivier. editor.&#160;Huang, Huaxin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335032.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335040 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Pecheur, Charles. editor.&#160;Dierkes, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335040.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41010-9">http://dx.doi.org/10.1007/978-3-642-41010-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings ent://SD_ILS/0/SD_ILS:335046 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Abdulla, Parosh Aziz. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335046.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 &ndash; October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335120 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Moreira, Ana. editor.&#160;Sch&auml;tz, Bernhard. editor.&#160;Gray, Jeff. editor.&#160;Vallecillo, Antonio. editor.&#160;Clarke, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE(335120.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orl&eacute;ans, France, September 13-14, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335125 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Duchier, Denys. editor.&#160;Parmentier, Yannick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335125.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41578-4">http://dx.doi.org/10.1007/978-3-642-41578-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335126 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Hinze, Ralf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335126.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41582-1">http://dx.doi.org/10.1007/978-3-642-41582-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335204 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Sagonas, Kostis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335204.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45284-0">http://dx.doi.org/10.1007/978-3-642-45284-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> User-Level Workflow Design A Bioinformatics Perspective ent://SD_ILS/0/SD_ILS:335213 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Lamprecht, Anna-Lena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335213.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45389-2">http://dx.doi.org/10.1007/978-3-642-45389-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335217 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Maciaszek, Leszek A. editor.&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335217.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45422-6">http://dx.doi.org/10.1007/978-3-642-45422-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335227 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Filipe, Joaquim. editor.&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335227.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-54092-9">http://dx.doi.org/10.1007/978-3-642-54092-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Digital Automata ent://SD_ILS/0/SD_ILS:335923 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Borowik, Bohdan. author.&#160;Karpinskyy, Mykola. author.&#160;Lahno, Valery. author.&#160;Petrov, Oleksandr. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335923.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5228-3">http://dx.doi.org/10.1007/978-94-007-5228-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335150 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Ng, Wilfred. editor.&#160;Storey, Veda C. editor.&#160;Trujillo, Juan C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335150.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41924-9">http://dx.doi.org/10.1007/978-3-642-41924-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital design and computer architecture ent://SD_ILS/0/SD_ILS:354125 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Harris, David Money&#160;Harris, Sarah L.<br/>Preferred Shelf Number&#160;TK7868.D5 H34 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Recht ex machina Formalisierung des Rechts im Internet der Dienste ent://SD_ILS/0/SD_ILS:193673 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Raabe, Oliver. author.&#160;Wacker, Richard. author.&#160;Oberle, Daniel. author.&#160;Baumann, Christian. author.&#160;Funk, Christian. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17671-5">http://dx.doi.org/10.1007/978-3-642-17671-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The NCL Natural Constraint Language ent://SD_ILS/0/SD_ILS:195465 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Zhou, Jianyang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23845-1">http://dx.doi.org/10.1007/978-3-642-23845-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196086 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Kot&aacute;sek, Zden&#283;k. editor.&#160;Bouda, Jan. editor.&#160;&#268;ern&aacute;, Ivana. editor.&#160;Sekanina, Luk&aacute;&scaron;. editor.&#160;Vojnar, Tom&aacute;&scaron;. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25929-6">http://dx.doi.org/10.1007/978-3-642-25929-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimar&atilde;es, Portugal, October 14-16, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196145 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Barbosa, Lu&iacute;s Soares. editor.&#160;Lumpe, Markus. 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-27269-1">http://dx.doi.org/10.1007/978-3-642-27269-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:196745 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Kienzle, J&ouml;rg. 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-29645-1">http://dx.doi.org/10.1007/978-3-642-29645-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196754 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Clarke, Edmund. editor.&#160;Virbitskaite, Irina. editor.&#160;Voronkov, Andrei. 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-29709-0">http://dx.doi.org/10.1007/978-3-642-29709-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196559 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Goodloe, Alwyn E. editor.&#160;Person, Suzette. 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-28891-3">http://dx.doi.org/10.1007/978-3-642-28891-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196803 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Agrawal, Manindra. editor.&#160;Cooper, S. Barry. editor.&#160;Li, Angsheng. 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-29952-0">http://dx.doi.org/10.1007/978-3-642-29952-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196668 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Arbab, Farhad. editor.&#160;Sirjani, Marjan. 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-29320-7">http://dx.doi.org/10.1007/978-3-642-29320-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes ent://SD_ILS/0/SD_ILS:197087 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Bezhanishvili, Nick. editor.&#160;Goranko, Valentin. 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-31485-8">http://dx.doi.org/10.1007/978-3-642-31485-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196917 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Furia, Carlo A. editor.&#160;Nanz, Sebastian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30561-0">http://dx.doi.org/10.1007/978-3-642-30561-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 &ndash; June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196918 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gschwind, Thomas. editor.&#160;Paoli, Flavio. editor.&#160;Gruhn, Volker. editor.&#160;Book, Matthias. 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-30564-1">http://dx.doi.org/10.1007/978-3-642-30564-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197090 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Rahaman, Hafizur. editor.&#160;Chattopadhyay, Sanatan. editor.&#160;Chattopadhyay, Santanu. 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-31494-0">http://dx.doi.org/10.1007/978-3-642-31494-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Entwurf integrierter 3D-Systeme der Elektronik ent://SD_ILS/0/SD_ILS:196921 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Lienig, Jens. editor.&#160;Dietrich, Manfred. 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-30572-6">http://dx.doi.org/10.1007/978-3-642-30572-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196925 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Brorsson, Mats. editor.&#160;Pinho, Lu&iacute;s Miguel. 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-30598-6">http://dx.doi.org/10.1007/978-3-642-30598-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics ent://SD_ILS/0/SD_ILS:197102 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Moot, Richard. author.&#160;Retor&eacute;, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31555-8">http://dx.doi.org/10.1007/978-3-642-31555-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197019 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Gibbons, Jeremy. editor.&#160;Nogueira, Pablo. 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-31113-0">http://dx.doi.org/10.1007/978-3-642-31113-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197023 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Haddad, Serge. editor.&#160;Pomello, Lucia. 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-31131-4">http://dx.doi.org/10.1007/978-3-642-31131-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frequency-Domain Control Design for High-Performance Systems ent://SD_ILS/0/SD_ILS:247731 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;O'Brien, J.&#160;O'Brien, J., ed.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1049/PBCE078E">http://dx.doi.org/10.1049/PBCE078E</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital logic design a rigorous approach ent://SD_ILS/0/SD_ILS:280400 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Even, Guy.&#160;Medina, Moti, 1979-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital circuit boards mach 1 ghz ent://SD_ILS/0/SD_ILS:299296 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Morrison, Ralph.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://lib.myilibrary.com?id=425373">Connect to MyiLibrary resource.</a> <a href="http://proquest.safaribooksonline.com/?fpi=9781118278116">Available by subscription from Safari Books Online</a> John Wiley <a href="http://dx.doi.org/10.1002/9781118278123">http://dx.doi.org/10.1002/9781118278123</a> Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=836591">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=836591</a> ebrary <a href="http://site.ebrary.com/id/10630495">http://site.ebrary.com/id/10630495</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:196402 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;D&uuml;sterh&ouml;ft, Antje. editor.&#160;Klettke, Meike. editor.&#160;Schewe, Klaus-Dieter. 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-28279-9">http://dx.doi.org/10.1007/978-3-642-28279-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coru&ntilde;a, Spain, March 5-9, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196418 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. 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-28332-1">http://dx.doi.org/10.1007/978-3-642-28332-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196438 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Mossakowski, Till. editor.&#160;Kreowski, Hans-J&ouml;rg. 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-28412-0">http://dx.doi.org/10.1007/978-3-642-28412-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:196616 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Sakama, Chiaki. editor.&#160;Sardina, Sebastian. editor.&#160;Vasconcelos, Wamberto. editor.&#160;Winikoff, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29113-5">http://dx.doi.org/10.1007/978-3-642-29113-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 &ndash; June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196896 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Brucker, Achim D. editor.&#160;Julliand, Jacques. 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-30473-6">http://dx.doi.org/10.1007/978-3-642-30473-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196897 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Hu, Zhenjiang. editor.&#160;Lara, Juan. 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-30476-7">http://dx.doi.org/10.1007/978-3-642-30476-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197089 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Vallecillo, Antonio. editor.&#160;Tolvanen, Juha-Pekka. editor.&#160;Kindler, Ekkart. editor.&#160;St&ouml;rrle, Harald. editor.&#160;Kolovos, Dimitris. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31491-9">http://dx.doi.org/10.1007/978-3-642-31491-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196934 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Hirsch, Edward A. editor.&#160;Karhum&auml;ki, Juhani. editor.&#160;Lepist&ouml;, Arto. editor.&#160;Prilutskii, Michail. 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-30642-6">http://dx.doi.org/10.1007/978-3-642-30642-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196948 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Derrick, John. editor.&#160;Gnesi, Stefania. editor.&#160;Latella, Diego. editor.&#160;Treharne, Helen. 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-30729-4">http://dx.doi.org/10.1007/978-3-642-30729-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz ent://SD_ILS/0/SD_ILS:196950 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Erdem, Esra. editor.&#160;Lee, Joohyung. editor.&#160;Lierler, Yuliya. editor.&#160;Pearce, David. 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-30743-0">http://dx.doi.org/10.1007/978-3-642-30743-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196962 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Giese, Holger. editor.&#160;Rosu, Grigore. 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-30793-5">http://dx.doi.org/10.1007/978-3-642-30793-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197115 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Cimatti, Alessandro. editor.&#160;Sebastiani, 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-31612-8">http://dx.doi.org/10.1007/978-3-642-31612-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197272 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Mir, Salvador. editor.&#160;Tsui, Chi-Ying. editor.&#160;Reis, Ricardo. editor.&#160;Choy, Oliver C. 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-32770-4">http://dx.doi.org/10.1007/978-3-642-32770-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 &ndash; August 3, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197160 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Muggleton, Stephen H. editor.&#160;Tamaddoni-Nezhad, Alireza. editor.&#160;Lisi, Francesca A. 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-31951-8">http://dx.doi.org/10.1007/978-3-642-31951-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197293 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Barros, Alistair. editor.&#160;Gal, Avigdor. editor.&#160;Kindler, Ekkart. 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-32885-5">http://dx.doi.org/10.1007/978-3-642-32885-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 11th International Conference, UCNC 2012, Orl&eacute;an, France, September 3-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197295 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Durand-Lose, J&eacute;r&ocirc;me. editor.&#160;Jonoska, Nata&scaron;a. 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-32894-7">http://dx.doi.org/10.1007/978-3-642-32894-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197296 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Fisher, Michael. editor.&#160;Torre, Leon. editor.&#160;Dastani, Mehdi. editor.&#160;Governatori, Guido. 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-32897-8">http://dx.doi.org/10.1007/978-3-642-32897-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2012 &ndash; Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197301 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Koutny, Maciej. editor.&#160;Ulidowski, Irek. 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-32940-1">http://dx.doi.org/10.1007/978-3-642-32940-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing &ndash; ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197302 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Roychoudhury, Abhik. editor.&#160;D&rsquo;Souza, Meenakshi. 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-32943-2">http://dx.doi.org/10.1007/978-3-642-32943-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197323 2024-12-05T04:05:13Z 2024-12-05T04:05:13Z Author&#160;Min&eacute;, Antoine. editor.&#160;Schmidt, David. 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-33125-1">http://dx.doi.org/10.1007/978-3-642-33125-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>