Search Results for Logic design - Narrowed by: SpringerLink (Online service) - Electronic Library - Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bdesign$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?
2024-08-22T08:17:20Z
Logic Circuit Design Selected Methods
ent://SD_ILS/0/SD_ILS:196263
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Vingron, Shimon P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27657-6">http://dx.doi.org/10.1007/978-3-642-27657-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Logic Circuits & Logic Design with Verilog
ent://SD_ILS/0/SD_ILS:484915
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author LaMeres, Brock J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Logic Circuits & Logic Design with VHDL
ent://SD_ILS/0/SD_ILS:485818
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author LaMeres, Brock J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Design, Analysis and Test of Logic Circuits Under Uncertainty
ent://SD_ILS/0/SD_ILS:335669
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335669.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482895
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Quick Start Guide to VHDL
ent://SD_ILS/0/SD_ILS:482945
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author LaMeres, Brock J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483235
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Functions and Equations Binary Models for Computer Science
ent://SD_ILS/0/SD_ILS:483633
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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–11, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:484033
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII
ent://SD_ILS/0/SD_ILS:485990
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486313
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Schoeberl, Martin. editor. Hochberger, Christian. editor. Uhrig, Sascha. editor. Brehm, Jürgen. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486324
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486502
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493 Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Beyond-CMOS Technologies for Next Generation Computer Design
ent://SD_ILS/0/SD_ILS:484013
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Topaloglu, Rasit O. editor. Wong, H.-S. Philip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Hu, Changjun. editor. Yang, Wen. editor. Jiang, Congfeng. editor. Dai, Dong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Fornaciari, William. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Stochastic Computing: Techniques and Applications
ent://SD_ILS/0/SD_ILS:484484
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gross, Warren J. editor. Gaudet, Vincent C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484525
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484537
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog
ent://SD_ILS/0/SD_ILS:484875
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Taraate, Vaibbhav. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Quick Start Guide to Verilog
ent://SD_ILS/0/SD_ILS:485097
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author LaMeres, Brock J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485728
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bures, Tomas. editor. Duchien, Laurence. editor. (orcid)0000-0002-4517-5862 Inverardi, Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning in VLSI Computer-Aided Design
ent://SD_ILS/0/SD_ILS:485735
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Elfadel, Ibrahim (Abe) M. editor. Boning, Duane S. editor. Li, Xin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486680
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Rauchwerger, Lawrence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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–10, 2018, Revised and Extended Selected Papers
ent://SD_ILS/0/SD_ILS:486756
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bombieri, Nicola. editor. Pravadelli, Graziano. editor. Fujita, Masahiro. editor. Austin, Todd. editor. Reis, Ricardo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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–25, 2017, Revised and Extended Selected Papers
ent://SD_ILS/0/SD_ILS:486867
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483433
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912 Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Asada, Minoru. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Moschytz, George S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Engineering and Technology 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483833
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhu, Zhenzhen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483847
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Digital Systems Design
ent://SD_ILS/0/SD_ILS:484014
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Izadian, Afshin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on High-Performance Embedded Architectures and Compilers V
ent://SD_ILS/0/SD_ILS:484586
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Variant Construction from Theoretical Foundation to Applications
ent://SD_ILS/0/SD_ILS:484902
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Zheng, Jeffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486418
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485164
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713 González-Vélez, Horacio. editor. (orcid)0000-0003-0241-6053 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors
ent://SD_ILS/0/SD_ILS:399090
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Melikyan, Vazgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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–15, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399102
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Češka, Milan. editor. (orcid)0000-0002-0300-9727 Šafránek, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849 Palmirani, Monica. editor. (orcid)0000-0002-8557-8084 Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371 Sartor, Giovanni. editor. (orcid)0000-0003-2210-0398 Villata, Serena. editor. (orcid)0000-0003-3495-493X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399476
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Lange, Tanja. editor. Steinwandt, Rainer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Fill, Hans-Georg. editor. Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logics for Computer Science Classical and Non-Classical
ent://SD_ILS/0/SD_ILS:399616
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Wasilewska, Anita. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:400263
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Dillig, Isil. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Tian, Cong. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Introduzione al Progetto di Sistemi Digitali
ent://SD_ILS/0/SD_ILS:401180
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401195
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies
ent://SD_ILS/0/SD_ILS:401372
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Mehta, Ashok B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:401495
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:401521
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Dubois, Catherine. editor. Wolff, Burkhart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Stepney, Susan. editor. (orcid)0000-0003-3146-5401 Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Klusáček, Dalibor. editor. Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III
ent://SD_ILS/0/SD_ILS:401990
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399597
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Potapov, Igor. editor. Reynier, Pierre-Alain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXXIII
ent://SD_ILS/0/SD_ILS:399733
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399809
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Rusu, Vlad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A First Introduction to Quantum Computing and Information
ent://SD_ILS/0/SD_ILS:399815
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Zygelman, Bernard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Ciucci, Davide. editor. (orcid)0000-0002-8083-7809 Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Vantaggi, Barbara. editor. (orcid)0000-0002-3651-3743 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399852
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Knoll, Florian. editor. (orcid)0000-0001-5357-8656 Maier, Andreas. editor. (orcid)0000-0002-9550-5284 Rueckert, Daniel. editor. (orcid)0000-0002-5683-5889 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399964
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399984
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400065
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400075
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400131
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Refinement Semantics, Languages and Applications
ent://SD_ILS/0/SD_ILS:400372
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Derrick, John. author. Boiten, Eerke. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400552
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400553
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400554
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400560
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Cryptology – 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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–20, 2018. Proceedings
ent://SD_ILS/0/SD_ILS:400607
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Lectures on Runtime Verification Introductory and Advanced Topics
ent://SD_ILS/0/SD_ILS:400774
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Falcone, Yliès. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400833
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Stevens, Perdita. editor. (orcid)0000-0002-3975-7612 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable and Energy Efficient Streaming Multiprocessor Systems
ent://SD_ILS/0/SD_ILS:401431
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Das, Anup Kumar. author. Kumar, Akash. author. Veeravalli, Bharadwaj. author. Catthoor, Francky. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Black, Elizabeth. editor. (orcid)0000-0002-4295-449X Modgil, Sanjay. editor. Oren, Nir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Design of FPGA-Based Computing Systems with OpenCL
ent://SD_ILS/0/SD_ILS:401920
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Waidyasooriya, Hasitha Muthumala. author. Hariyama, Masanori. author. Uchiyama, Kunio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401981
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399024
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399051
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Shalf, John. editor. Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399167
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author de Supinski, Bronis R. editor. Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399406
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399422
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399515
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Structures of FPGAs
ent://SD_ILS/0/SD_ILS:399651
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Amano, Hideharu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399783
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399802
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399871
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399949
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399958
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400194
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Chen, Liqun. editor. (orcid)0000-0003-2680-4907 Manulis, Mark. editor. (orcid)0000-0002-1512-9670 Schneider, Steve. editor. (orcid)0000-0001-8365-6993 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400253
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Fischer, Bernd. editor. (orcid)0000-0002-1815-218X Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400307
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400340
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400344
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400513
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Alcaraz, Cristina. editor. (orcid)0000-0003-0545-3191 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bi, Yuanguo. editor. Chen, Gang. editor. Deng, Qingxu. editor. Wang, Yi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402724
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Konstantinidis, Stavros. editor. Pighizzini, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXIV Special Issue on Reversible Computing
ent://SD_ILS/0/SD_ILS:489061
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Thapliyal, Himanshu. editor. Ranganathan, Nagarajan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335003.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335227.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Mogavero, Fabio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336496.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Social Semantics The Search for Meaning on the Web
ent://SD_ILS/0/SD_ILS:331289
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Halpin, Harry. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331289.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332962.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.<br/>Preferred Shelf Number ONLINE(332964.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
ent://SD_ILS/0/SD_ILS:334156
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334156.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
ent://SD_ILS/0/SD_ILS:334174
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334174.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36315-3">http://dx.doi.org/10.1007/978-3-642-36315-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334278.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334465
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334465.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37635-1">http://dx.doi.org/10.1007/978-3-642-37635-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334494.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334533.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334665
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334665.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38768-5">http://dx.doi.org/10.1007/978-3-642-38768-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334673
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334673.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38812-5">http://dx.doi.org/10.1007/978-3-642-38812-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334697.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334778
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334778.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39310-5">http://dx.doi.org/10.1007/978-3-642-39310-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334634
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334634.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334698.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334708
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334708.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38986-3">http://dx.doi.org/10.1007/978-3-642-38986-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334711
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334711.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Drira, Khalil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334714.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334715
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334715.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334820.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334651
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334651.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334913.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334840
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334840.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334851.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335196.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.<br/>Preferred Shelf Number ONLINE(335138.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335433.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
ent://SD_ILS/0/SD_ILS:331002
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author O’Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331002.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A General Framework for Reasoning On Inconsistency
ent://SD_ILS/0/SD_ILS:332107
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332107.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number ONLINE(333011.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334014.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334034.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35705-3">http://dx.doi.org/10.1007/978-3-642-35705-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334038.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number ONLINE(334041.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Logics Essays in Memory of Harald Ganzinger
ent://SD_ILS/0/SD_ILS:334468
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334468.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334348.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334354.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334562.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334564.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334610
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334610.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38493-6">http://dx.doi.org/10.1007/978-3-642-38493-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334617
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334617.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38536-0">http://dx.doi.org/10.1007/978-3-642-38536-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bonacina, Maria Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334626.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334630
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334630.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38592-6">http://dx.doi.org/10.1007/978-3-642-38592-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334631.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334683.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
ent://SD_ILS/0/SD_ILS:334688
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334688.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334691.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Liu, Shaoying. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334772.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Hasegawa, Masahito. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334702.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334718
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334718.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334724
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334724.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gaag, Linda C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334728.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334743.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335120
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.<br/>Preferred Shelf Number ONLINE(335120.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335125
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335125.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Hinze, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335126.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.<br/>Preferred Shelf Number ONLINE(335131.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse
ent://SD_ILS/0/SD_ILS:337578
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Böckenhauer, Hans-Joachim. author. Hromkovic, Juraj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337578.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?
ent://SD_ILS/0/SD_ILS:338349
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Schenke, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338349.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Programming Theory and Practice
ent://SD_ILS/0/SD_ILS:331611
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Shankar, A. Udaya. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331611.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Computing Systems Mathematics for Computer Science
ent://SD_ILS/0/SD_ILS:332574
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332574.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332921.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Shan, Chung-chieh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332981.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332982.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333558.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334069.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334073
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334073.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35873-9">http://dx.doi.org/10.1007/978-3-642-35873-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334077.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.<br/>Preferred Shelf Number ONLINE(334080.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334096.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334105
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Lodaya, Kamal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334105.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36039-8">http://dx.doi.org/10.1007/978-3-642-36039-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334136.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
ent://SD_ILS/0/SD_ILS:334139
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Czerwinski, Robert. author. Kania, Dariusz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334139.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
ent://SD_ILS/0/SD_ILS:334264
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334264.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334355
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334355.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37064-9">http://dx.doi.org/10.1007/978-3-642-37064-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334358
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency VII
ent://SD_ILS/0/SD_ILS:334545
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.<br/>Preferred Shelf Number ONLINE(334545.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38143-0">http://dx.doi.org/10.1007/978-3-642-38143-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:334547
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334547.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334556.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Albert, Elvira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334552.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Daniel, Florian. editor. Wang, Jianmin. editor. Weber, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334904.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334905
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334905.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334821.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Joshi, Kaustubh. editor. Siegle, Markus. editor. Stoelinga, Mariëlle. editor. D’Argenio, Pedro R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334907.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334911.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.<br/>Preferred Shelf Number ONLINE(334822.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334825.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334832.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency VIII
ent://SD_ILS/0/SD_ILS:334949
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334949.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334962.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334968.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334969.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334978.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.<br/>Preferred Shelf Number ONLINE(334979.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Schulte, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334980.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334985.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Sagonas, Kostis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335204.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
User-Level Workflow Design A Bioinformatics Perspective
ent://SD_ILS/0/SD_ILS:335213
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335213.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335217.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335023.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335024.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335030
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335030.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40935-6">http://dx.doi.org/10.1007/978-3-642-40935-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335032
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335032.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335040
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335040.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41010-9">http://dx.doi.org/10.1007/978-3-642-41010-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
ent://SD_ILS/0/SD_ILS:335046
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335046.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335141.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335150.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Digital Automata
ent://SD_ILS/0/SD_ILS:335923
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Borowik, Bohdan. author. Karpinskyy, Mykola. author. Lahno, Valery. author. Petrov, Oleksandr. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335923.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Recht ex machina Formalisierung des Rechts im Internet der Dienste
ent://SD_ILS/0/SD_ILS:193673
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The NCL Natural Constraint Language
ent://SD_ILS/0/SD_ILS:195465
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Zhou, Jianyang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196145
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Barbosa, Luís Soares. editor. Lumpe, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196275
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27705-4">http://dx.doi.org/10.1007/978-3-642-27705-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196286
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Kannan, Rajkumar. editor. Andres, Frederic. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27872-3">http://dx.doi.org/10.1007/978-3-642-27872-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196294
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27901-0">http://dx.doi.org/10.1007/978-3-642-27901-0</a><br/>Format: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196418
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196452
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Lukasiewicz, Thomas. editor. Sali, Attila. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28472-4">http://dx.doi.org/10.1007/978-3-642-28472-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
ent://SD_ILS/0/SD_ILS:196468
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28525-7">http://dx.doi.org/10.1007/978-3-642-28525-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196693
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29414-3">http://dx.doi.org/10.1007/978-3-642-29414-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196702
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29449-5">http://dx.doi.org/10.1007/978-3-642-29449-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196711
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29485-3">http://dx.doi.org/10.1007/978-3-642-29485-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
ent://SD_ILS/0/SD_ILS:196717
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Vos, Alexis. editor. Wille, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29517-1">http://dx.doi.org/10.1007/978-3-642-29517-1</a><br/>Format: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Kienzle, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Clarke, Edmund. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
ent://SD_ILS/0/SD_ILS:197076
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31424-7">http://dx.doi.org/10.1007/978-3-642-31424-7</a><br/>Format: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197106
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31570-1">http://dx.doi.org/10.1007/978-3-642-31570-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197048
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Béchet, Denis. editor. Dikovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31262-5">http://dx.doi.org/10.1007/978-3-642-31262-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197117
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Kutrib, Martin. editor. Moreira, Nelma. editor. Reis, Rogério. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31623-4">http://dx.doi.org/10.1007/978-3-642-31623-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197063
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197066
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31374-5">http://dx.doi.org/10.1007/978-3-642-31374-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197160
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Muggleton, Stephen H. editor. Tamaddoni-Nezhad, Alireza. editor. Lisi, Francesca A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
ent://SD_ILS/0/SD_ILS:197188
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gibbons, Jeremy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32202-0">http://dx.doi.org/10.1007/978-3-642-32202-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197191
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Vidal, Germán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32211-2">http://dx.doi.org/10.1007/978-3-642-32211-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197211
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32347-8">http://dx.doi.org/10.1007/978-3-642-32347-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197223
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32469-7">http://dx.doi.org/10.1007/978-3-642-32469-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197226
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32495-6">http://dx.doi.org/10.1007/978-3-642-32495-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197246
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Ong, Luke. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32621-9">http://dx.doi.org/10.1007/978-3-642-32621-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197270
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Giannakopoulou, Dimitra. editor. Méry, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32759-9">http://dx.doi.org/10.1007/978-3-642-32759-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197437
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33826-7">http://dx.doi.org/10.1007/978-3-642-33826-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197455
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34002-4">http://dx.doi.org/10.1007/978-3-642-34002-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197456
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Durán, Franciso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34005-5">http://dx.doi.org/10.1007/978-3-642-34005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197459
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34026-0">http://dx.doi.org/10.1007/978-3-642-34026-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197460
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197514
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Gill, Andy. editor. Hage, Jurriaan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34407-7">http://dx.doi.org/10.1007/978-3-642-34407-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197540
2024-08-22T08:17:20Z
2024-08-22T08:17:20Z
Author Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34691-0">http://dx.doi.org/10.1007/978-3-642-34691-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>