Search Results for Computer logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002blogic.$0026pe$003dd$00253A$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-11-09T06:45:15Z Computer logic design ent://SD_ILS/0/SD_ILS:58709 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Mano, M. Morris, 1927-<br/>Preferred Shelf Number&#160;TK 7868.S9 M275 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~3<br/> Logic for Computer Scientists ent://SD_ILS/0/SD_ILS:168282 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Sch&ouml;ning, Uwe. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-8176-4763-6">http://dx.doi.org/10.1007/978-0-8176-4763-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of computer logic ent://SD_ILS/0/SD_ILS:71244 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Hutchison, David.<br/>Preferred Shelf Number&#160;TK 7888.4 H97 1981<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Linear Logic in Computer Science ent://SD_ILS/0/SD_ILS:237736 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Ehrhard, Thomas.&#160;Girard, Jean-Yves.&#160;Ruet, Paul.&#160;Scott, Philip.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511550850">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Logic for Computer Science ent://SD_ILS/0/SD_ILS:173540 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Ben-Ari, Mordechai. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4129-7">http://dx.doi.org/10.1007/978-1-4471-4129-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and computer design fundamentals ent://SD_ILS/0/SD_ILS:109876 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Mano, M. Morris&#160;Kime, Charles R., ort. yaz.<br/>Preferred Shelf Number&#160;TK7888.4 M36 2008<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~3<br/> Logic and computer design fundamentals ent://SD_ILS/0/SD_ILS:97715 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Mano, M. Morris&#160;Kime, Charles R., ort. yaz.<br/>Preferred Shelf Number&#160;TK 7888.4 M36 2004<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Arithmetic and logic in computer systems ent://SD_ILS/0/SD_ILS:301753 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Lu, Mi.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.contentreserve.com/TitleInfo.asp?ID={3FE4CD1A-E6BB-4517-8B84-19A40188F47F}&Format=50">Click for information</a> <a href="http://catdir.loc.gov/catdir/bios/wiley046/2003062036.html">Full text available from Wiley InterScience</a> <a href="http://dx.doi.org/10.1002/0471728519">Authentication may be required</a> <a href="http://proquest.safaribooksonline.com/?fpi=9780471469452">Available by subscription from Safari Books Online</a> Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer architecture and logic design ent://SD_ILS/0/SD_ILS:32380 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bartee, Thomas C.<br/>Preferred Shelf Number&#160;QA 76.9.A73 B374 1991<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Digital logic and computer design ent://SD_ILS/0/SD_ILS:71246 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Mano, M. Morris.<br/>Preferred Shelf Number&#160;TK 7888.3 M345 1979<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Analog/logic computer programming and simulation ent://SD_ILS/0/SD_ILS:34615 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Ricci, Fred J.<br/>Preferred Shelf Number&#160;QA 76.4 R53 1973<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Representation Theorems in Computer Science A Treatment in Logic Engineering ent://SD_ILS/0/SD_ILS:486368 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;&Ouml;z&ccedil;ep, &Ouml;zg&uuml;r L&uuml;tf&uuml;. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-25785-9">https://doi.org/10.1007/978-3-030-25785-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Functions and Equations Binary Models for Computer Science ent://SD_ILS/0/SD_ILS:483633 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Posthoff, Christian. author.&#160;Steinbach, Bernd. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02420-8">https://doi.org/10.1007/978-3-030-02420-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489075 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Biere, Armin. editor. (orcid)0000-0001-7170-9242&#160;Bloem, Roderick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08867-9">https://doi.org/10.1007/978-3-319-08867-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift ent://SD_ILS/0/SD_ILS:332822 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Paule, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332822.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;&Aring;gotnes, Thomas. editor.&#160;Broersen, Jan. editor.&#160;Elgesem, Dag. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31570-1">http://dx.doi.org/10.1007/978-3-642-31570-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192571 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Governatori, Guido. editor.&#160;Sartor, Giovanni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14183-6">http://dx.doi.org/10.1007/978-3-642-14183-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192894 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Dawar, Anuj. editor.&#160;Veith, Helmut. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15205-4">http://dx.doi.org/10.1007/978-3-642-15205-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190814 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Gr&auml;del, Erich. editor.&#160;Kahle, Reinhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04027-6">http://dx.doi.org/10.1007/978-3-642-04027-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185974 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Meyden, Ron. editor.&#160;Torre, Leendert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70525-3">http://dx.doi.org/10.1007/978-3-540-70525-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188863 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Kaminski, Michael. editor.&#160;Martini, Simone. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87531-4">http://dx.doi.org/10.1007/978-3-540-87531-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187306 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Duparc, Jacques. editor.&#160;Henzinger, Thomas A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74915-8">http://dx.doi.org/10.1007/978-3-540-74915-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184312 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Goble, Lou. editor.&#160;Meyer, John-Jules Ch. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11786849">http://dx.doi.org/10.1007/11786849</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition) ent://SD_ILS/0/SD_ILS:184462 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Mazzola, Guerino. author.&#160;Milmeister, G&eacute;rard. author.&#160;Weissmann, Jody. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-36874-8">http://dx.doi.org/10.1007/978-3-540-36874-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184845 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;&Eacute;sik, Zolt&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11874683">http://dx.doi.org/10.1007/11874683</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182983 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Ong, Luke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11538363">http://dx.doi.org/10.1007/11538363</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of logic and proof techniques for computer science ent://SD_ILS/0/SD_ILS:75778 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Krantz, Steven George, 1951-<br/>Preferred Shelf Number&#160;QA 76 K723 2002<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Engines of logic : mathematicians and the origin of the computer ent://SD_ILS/0/SD_ILS:132674 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Davis, Martin.<br/>Preferred Shelf Number&#160;QA76.5 D38 2000<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logic and algorithms : with applications to the computer and information sciences ent://SD_ILS/0/SD_ILS:46047 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Korfhage, Robert R.<br/>Preferred Shelf Number&#160;QA 9 K678 1966<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logic Pro 9 audio and music production ent://SD_ILS/0/SD_ILS:147910 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Cousins, Mark, 1972-&#160;Hepworth-Sawyer, Russ.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240521930">http://www.sciencedirect.com/science/book/9780240521930</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Pro 8 audio and music production ent://SD_ILS/0/SD_ILS:147931 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Cousins, Mark.&#160;Hepworth-Sawyer, Russ.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240520476">http://www.sciencedirect.com/science/book/9780240520476</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms for Constructing Computably Enumerable Sets ent://SD_ILS/0/SD_ILS:520324 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Supowit, Kenneth J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520324.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-26904-2">https://doi.org/10.1007/978-3-031-26904-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas ent://SD_ILS/0/SD_ILS:520259 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Farmer, William M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520259.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-21112-6">https://doi.org/10.1007/978-3-031-21112-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubase ent://SD_ILS/0/SD_ILS:147517 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Pejrolo, Andrea.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240522166">http://www.sciencedirect.com/science/book/9780240522166</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Logic Foundations for Information Science ent://SD_ILS/0/SD_ILS:198215 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Li, Wei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-7643-9977-1">http://dx.doi.org/10.1007/978-3-7643-9977-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Graph-Theoretic Approach to Enterprise Network Dynamics ent://SD_ILS/0/SD_ILS:168175 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bunke, Horst. author.&#160;Dickinson, Peter J. author.&#160;Kraetzl, Miro. author.&#160;Wallis, Walter D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-8176-4519-9">http://dx.doi.org/10.1007/978-0-8176-4519-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. B&ouml;rger, H. K. B&uuml;ning and M. M. Richter. ent://SD_ILS/0/SD_ILS:69040 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Workshop on computer science logic (2nd : 1988 : Duisburg Germany)&#160;B&uuml;ning, H. K., ort. yaz.&#160;Richter, M. M., ort. yaz.<br/>Preferred Shelf Number&#160;QA 76.9.M35 W67 1988<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Formal Methods 25th International Symposium, FM 2023, L&uuml;beck, Germany, March 6-10, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520889 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Chechik, Marsha. editor.&#160;Katoen, Joost-Pieter. editor.&#160;Leucker, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520889.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-27481-7">https://doi.org/10.1007/978-3-031-27481-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:520518 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Chandran K R, Sarath. editor.&#160;N, Sujaudeen. editor.&#160;A, Beulah. editor.&#160;Hamead H, Shahul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520518.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-38296-3">https://doi.org/10.1007/978-3-031-38296-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings ent://SD_ILS/0/SD_ILS:520898 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Dovier, Agostino. editor.&#160;Montanari, Angelo. editor.&#160;Orlandini, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520898.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-27181-6">https://doi.org/10.1007/978-3-031-27181-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Higher Education Computer Science A Manual of Practical Approaches ent://SD_ILS/0/SD_ILS:520416 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Carter, Jenny. editor.&#160;O'Grady, Michael. editor.&#160;Rosen, Clive. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520416.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-29386-3">https://doi.org/10.1007/978-3-031-29386-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Konrad Zuse's Early Computers The Quest for the Computer in Germany ent://SD_ILS/0/SD_ILS:520704 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Rojas, Ra&uacute;l. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520704.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-39876-6">https://doi.org/10.1007/978-3-031-39876-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday ent://SD_ILS/0/SD_ILS:482889 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367&#160;Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667&#160;Semini, Laura. editor. (orcid)0000-0001-8774-2346&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484046 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Saeed, Khalid. editor. (orcid)0000-0002-7741-7045&#160;Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778&#160;Janev, Valentina. editor. (orcid)0000-0002-9794-8505&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28957-7">https://doi.org/10.1007/978-3-030-28957-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484655 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Janota, Mikol&aacute;&scaron;. editor. (orcid)0000-0003-3487-784X&#160;Lynce, In&ecirc;s. editor. (orcid)0000-0003-4868-415X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24258-9">https://doi.org/10.1007/978-3-030-24258-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484866 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457&#160;Haar, Stefan. editor. (orcid)0000-0002-1892-2703&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21571-2">https://doi.org/10.1007/978-3-030-21571-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484899 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391&#160;Ognjanovi&#263;, Zoran. editor. (orcid)0000-0003-2508-6480&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29765-7">https://doi.org/10.1007/978-3-030-29765-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485199 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Iemhoff, Rosalie. editor.&#160;Moortgat, Michael. editor.&#160;de Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-59533-6">https://doi.org/10.1007/978-3-662-59533-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485288 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;McQuillan, Ian. editor.&#160;Seki, Shinnosuke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19311-9">https://doi.org/10.1007/978-3-030-19311-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rough Sets International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485305 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Mih&aacute;lyde&aacute;k, Tam&aacute;s. editor. (orcid)0000-0002-4382-5921&#160;Min, Fan. editor. (orcid)0000-0002-3290-1036&#160;Wang, Guoyin. editor. (orcid)0000-0002-8521-5232&#160;Banerjee, Mohua. editor. (orcid)0000-0002-7517-0923&#160;D&uuml;ntsch, Ivo. editor. (orcid)0000-0001-8907-2382<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22815-6">https://doi.org/10.1007/978-3-030-22815-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485559 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725&#160;Shapira, Dana. editor. (orcid)0000-0002-2320-9064&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-13435-8">https://doi.org/10.1007/978-3-030-13435-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:485699 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601&#160;Cleaveland, Rance. editor.&#160;Grosu, Radu. editor. (orcid)0000-0001-5715-2142&#160;Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31514-6">https://doi.org/10.1007/978-3-030-31514-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485700 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507&#160;Petre, Luigia. editor.&#160;Smith, Graeme. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32441-4">https://doi.org/10.1007/978-3-030-32441-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485789 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Silva, Josep. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16202-3">https://doi.org/10.1007/978-3-030-16202-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows ent://SD_ILS/0/SD_ILS:486057 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Guttman, Joshua D. editor.&#160;Landwehr, Carl E. editor.&#160;Meseguer, Jos&eacute;. editor.&#160;Pavlovic, Dusko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19052-1">https://doi.org/10.1007/978-3-030-19052-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27&ndash;29, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486080 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Huang, Shujian. editor.&#160;Knight, Kevin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-1721-1">https://doi.org/10.1007/978-981-15-1721-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15&ndash;17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486130 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Gaston, Christophe. editor. (orcid)0000-0001-6865-5108&#160;Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813&#160;Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31280-0">https://doi.org/10.1007/978-3-030-31280-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486169 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Blackburn, Patrick. editor.&#160;Lorini, Emiliano. editor.&#160;Guo, Meiyun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-60292-8">https://doi.org/10.1007/978-3-662-60292-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Extraction Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486179 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Holzinger, Andreas. editor. (orcid)0000-0002-6786-5194&#160;Kieseberg, Peter. editor. (orcid)0000-0002-2847-2152&#160;Tjoa, A Min. editor.&#160;Weippl, Edgar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29726-8">https://doi.org/10.1007/978-3-030-29726-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486683 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Artho, Cyrille. editor.&#160;&Ouml;lveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486937 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Biondi, Fabrizio. editor.&#160;Given-Wilson, Thomas. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30923-7">https://doi.org/10.1007/978-3-030-30923-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482984 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14174-5">https://doi.org/10.1007/978-3-030-14174-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20&ndash;21, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483105 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Disser, Yann. editor. (orcid)0000-0002-2085-0454&#160;Verykios, Vassilios S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19759-9">https://doi.org/10.1007/978-3-030-19759-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483131 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834&#160;Leone, Nicola. editor.&#160;Manna, Marco. editor. (orcid)0000-0003-3323-9328&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing &ndash; ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 &ndash; November 4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483155 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446&#160;Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32505-3">https://doi.org/10.1007/978-3-030-32505-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483418 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Chang, Bor-Yuh Evan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32304-2">https://doi.org/10.1007/978-3-030-32304-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483463 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Cowen, Lenore J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17083-7">https://doi.org/10.1007/978-3-030-17083-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483471 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Chamberlain, Roger. editor.&#160;Taha, Walid. editor. (orcid)0000-0003-3160-9188&#160;T&ouml;rngren, Martin. editor. (orcid)0000-0002-4300-885X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17910-6">https://doi.org/10.1007/978-3-030-17910-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:483506 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Boreale, Michele. editor. (orcid)0000-0002-1972-7491&#160;Corradini, Flavio. editor.&#160;Loreti, Michele. editor. (orcid)0000-0003-3061-863X&#160;Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21485-2">https://doi.org/10.1007/978-3-030-21485-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483547 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34175-6">https://doi.org/10.1007/978-3-030-34175-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483548 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Guan, Nan. editor.&#160;Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926&#160;Sun, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35540-1">https://doi.org/10.1007/978-3-030-35540-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483886 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Parker, David. editor. (orcid)0000-0003-4137-8862&#160;Wolf, Verena. editor. (orcid)0000-0001-8460-6007&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30281-8">https://doi.org/10.1007/978-3-030-30281-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de N&uacute;ria, Spain, June 19&ndash;21, 2019, Revised Papers ent://SD_ILS/0/SD_ILS:483906 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Sau, Ignasi. editor. (orcid)0000-0002-8981-9287&#160;Thilikos, Dimitrios M. editor. (orcid)0000-0003-0470-1800&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30786-8">https://doi.org/10.1007/978-3-030-30786-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483907 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Filiot, Emmanuel. editor.&#160;Jungers, Rapha&euml;l. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30806-3">https://doi.org/10.1007/978-3-030-30806-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 24th International Conference, CIAA 2019, Ko&scaron;ice, Slovakia, July 22&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484027 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Hospod&aacute;r, Michal. editor.&#160;Jir&aacute;skov&aacute;, Galina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23679-3">https://doi.org/10.1007/978-3-030-23679-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:484033 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792&#160;Zhang, Lijun. editor. (orcid)0000-0002-3692-2088&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484198 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Merca&#351;, Robert. editor. (orcid)0000-0001-6034-433X&#160;Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28796-2">https://doi.org/10.1007/978-3-030-28796-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484225 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441&#160;Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Computing: A Networking Perspective and Future Directions ent://SD_ILS/0/SD_ILS:484434 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bhargava, Deepshikha. editor.&#160;Vyas, Sonali. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-3462-7">https://doi.org/10.1007/978-981-13-3462-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13&ndash;14, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484877 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Zamani, Majid. editor.&#160;Zufferey, Damien. editor. (orcid)0000-0002-3197-8736&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28423-7">https://doi.org/10.1007/978-3-030-28423-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485980 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750&#160;Massink, Mieke. editor. (orcid)0000-0001-5089-002X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486058 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Silva, Alexandra. editor.&#160;Staton, Sam. editor.&#160;Sutton, Peter. editor.&#160;Umbach, Carla. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-59565-7">https://doi.org/10.1007/978-3-662-59565-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics 8th International Conference, CAI 2019, Ni&scaron;, Serbia, June 30&ndash;July 4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486210 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;&#262;iri&#263;, Miroslav. editor. (orcid)0000-0001-8625-4682&#160;Droste, Manfred. editor. (orcid)0000-0001-9128-8844&#160;Pin, Jean-&Eacute;ric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21363-3">https://doi.org/10.1007/978-3-030-21363-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486230 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153&#160;Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177&#160;Katsaros, Panagiotis. editor.&#160;Bozzano, Marco. editor. (orcid)0000-0002-4135-103X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32872-6">https://doi.org/10.1007/978-3-030-32872-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486429 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Hofman, Piotrek. editor.&#160;Skrzypczak, Micha&#322;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24886-4">https://doi.org/10.1007/978-3-030-24886-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16&ndash;19, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486438 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Fodor, Paul. editor. (orcid)0000-0002-2978-676X&#160;Montali, Marco. editor. (orcid)0000-0002-8021-3430&#160;Calvanese, Diego. editor. (orcid)0000-0001-5174-9693&#160;Roman, Dumitru. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31095-0">https://doi.org/10.1007/978-3-030-31095-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486559 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Hutton, Graham. editor. (orcid)0000-0001-9584-5150&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-33636-3">https://doi.org/10.1007/978-3-030-33636-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Uncertainty Management 13th International Conference, SUM 2019, Compi&egrave;gne, France, December 16&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486570 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Ben Amor, Nahla. editor.&#160;Quost, Benjamin. editor.&#160;Theobald, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35514-2">https://doi.org/10.1007/978-3-030-35514-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486578 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336&#160;Cheng, Chih-Hong. editor.&#160;Esparza, Javier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:487004 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Holmes, Ian. editor. (orcid)0000-0001-7639-5369&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Vega-Rodr&iacute;guez, Miguel A. editor. (orcid)0000-0002-3003-758X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-18174-1">https://doi.org/10.1007/978-3-030-18174-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence in Health First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482665 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Koch, Fernando. editor. (orcid)0000-0001-7136-3253&#160;Koster, Andrew. editor. (orcid)0000-0001-5976-7183&#160;Ria&ntilde;o, David. editor. (orcid)0000-0002-1608-0215&#160;Montagna, Sara. editor. (orcid)0000-0001-5390-4319&#160;Schumacher, Michael. editor. (orcid)0000-0001-6522-4556<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12738-1">https://doi.org/10.1007/978-3-030-12738-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482773 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Fiadeiro, Jos&eacute; Luiz. editor.&#160;&#538;u&#539;u, Ionu&#539;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23220-7">https://doi.org/10.1007/978-3-030-23220-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13&ndash;15, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482913 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Enea, Constantin. editor.&#160;Piskac, Ruzica. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-11245-5">https://doi.org/10.1007/978-3-030-11245-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482979 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Khan, Md. Aquil. editor.&#160;Manuel, Amaldev. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58771-3">https://doi.org/10.1007/978-3-662-58771-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483241 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054&#160;Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X&#160;Woltran, Stefan. editor. (orcid)0000-0003-1594-8972&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20528-7">https://doi.org/10.1007/978-3-030-20528-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2&ndash;5, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483248 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bj&oslash;rner, Nikolaj. editor.&#160;Virbitskaite, Irina. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-37487-7">https://doi.org/10.1007/978-3-030-37487-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:483257 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Lutz, Carsten. editor.&#160;Sattler, Uli. editor.&#160;Tinelli, Cesare. editor.&#160;Turhan, Anni-Yasmin. editor.&#160;Wolter, Frank. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22102-7">https://doi.org/10.1007/978-3-030-22102-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483296 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Thachuk, Chris. editor.&#160;Liu, Yan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26807-7">https://doi.org/10.1007/978-3-030-26807-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483377 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bernardi, Raffaella. editor.&#160;Kobele, Greg. editor.&#160;Pogodalla, Sylvain. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-59648-7">https://doi.org/10.1007/978-3-662-59648-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Answer Set Programming ent://SD_ILS/0/SD_ILS:483668 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Lifschitz, Vladimir. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24658-7">https://doi.org/10.1007/978-3-030-24658-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:483688 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Dillig, Isil. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-25543-5">https://doi.org/10.1007/978-3-030-25543-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483746 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555&#160;Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483769 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Ordonez, Carlos. editor.&#160;Song, Il-Yeol. editor.&#160;Anderst-Kotsis, Gabriele. editor.&#160;Tjoa, A Min. editor. (orcid)0000-0002-8295-9252&#160;Khalil, Ismail. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-27520-4">https://doi.org/10.1007/978-3-030-27520-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483829 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Herzig, Andreas. editor. (orcid)0000-0003-0833-2782&#160;Popescu, Andrei. editor. (orcid)0000-0001-8747-0619&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29007-8">https://doi.org/10.1007/978-3-030-29007-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction &ndash; CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483848 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Fontaine, Pascal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29436-6">https://doi.org/10.1007/978-3-030-29436-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483867 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Andr&eacute;, &Eacute;tienne. editor. (orcid)0000-0001-8473-9555&#160;Stoelinga, Mari&euml;lle. editor. (orcid)0000-0001-6793-8165&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition 40th German Conference, GCPR 2018, Stuttgart, Germany, October 9-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:484106 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Brox, Thomas. editor. (orcid)0000-0002-6282-8861&#160;Bruhn, Andr&eacute;s. editor.&#160;Fritz, Mario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12939-2">https://doi.org/10.1007/978-3-030-12939-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15&ndash;19, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484438 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Manea, Florin. editor.&#160;Martin, Barnaby. editor.&#160;Paulusma, Dani&euml;l. editor.&#160;Primiero, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22996-2">https://doi.org/10.1007/978-3-030-22996-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on High-Performance Embedded Architectures and Compilers V ent://SD_ILS/0/SD_ILS:484586 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Silvano, Cristina. editor. (orcid)0000-0003-1668-0883&#160;Bertels, Koen. editor. (orcid)0000-0001-9310-4885&#160;Schulte, Michael. editor. (orcid)0000-0002-0213-4155&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58834-5">https://doi.org/10.1007/978-3-662-58834-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Joint Training for Neural Machine Translation ent://SD_ILS/0/SD_ILS:484670 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Cheng, Yong. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-32-9748-7">https://doi.org/10.1007/978-981-32-9748-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484893 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Battiti, Roberto. editor. (orcid)0000-0002-0259-8603&#160;Brunato, Mauro. editor. (orcid)0000-0002-7885-4255&#160;Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383&#160;Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05348-2">https://doi.org/10.1007/978-3-030-05348-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482859 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Keller, Chantal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1&ndash;5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482864 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;van Bevern, Ren&eacute;. editor. (orcid)0000-0002-4805-218X&#160;Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19955-5">https://doi.org/10.1007/978-3-030-19955-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods &ndash; The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482869 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367&#160;McIver, Annabelle. editor. (orcid)0000-0002-2405-9838&#160;Oliveira, Jos&eacute; N. editor. (orcid)0000-0002-0196-4229&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30942-8">https://doi.org/10.1007/978-3-030-30942-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:485282 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485265 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Mesnard, Fred. editor.&#160;Stuckey, Peter J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Ko&scaron;ice, Slovakia, July 17&ndash;19, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485306 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Hospod&aacute;r, Michal. editor.&#160;Jir&aacute;skov&aacute;, Galina. editor.&#160;Konstantinidis, Stavros. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23247-4">https://doi.org/10.1007/978-3-030-23247-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485680 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872&#160;Sampaio, Augusto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31038-7">https://doi.org/10.1007/978-3-030-31038-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486304 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792&#160;Zhang, Lijun. editor. (orcid)0000-0002-3692-2088&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24&ndash;26, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486305 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X&#160;Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16692-2">https://doi.org/10.1007/978-3-030-16692-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486307 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699&#160;de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20981-0">https://doi.org/10.1007/978-3-030-20981-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486322 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Lodi, Andrea. editor. (orcid)0000-0001-9269-633X&#160;Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17953-3">https://doi.org/10.1007/978-3-030-17953-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 &ndash; October 4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486336 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Schiex, Thomas. editor. (orcid)0000-0001-6049-3415&#160;de Givry, Simon. editor. (orcid)0000-0002-2242-0458&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30048-7">https://doi.org/10.1007/978-3-030-30048-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Proceedings of CSI 2015 ent://SD_ILS/0/SD_ILS:487359 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Hoda, M. N. editor.&#160;Chauhan, Naresh. editor.&#160;Quadri, S. M. K. editor.&#160;Srivastava, Praveen Ranjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8848-3">https://doi.org/10.1007/978-981-10-8848-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518878 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bieger, Jordi. editor.&#160;Goertzel, Ben. editor.&#160;Potapov, Alexey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518878.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21365-1">https://doi.org/10.1007/978-3-319-21365-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sn&#283;&#382;kou, Czech Republic, January 24-29, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518910 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Italiano, Giuseppe. editor.&#160;Margaria-Steffen, Tiziana. editor.&#160;Pokorn&yacute;, Jaroslav. editor.&#160;Quisquater, Jean-Jacques. editor.&#160;Wattenhofer, Roger. editor.<br/>Preferred Shelf Number&#160;XX(518910.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46078-8">https://doi.org/10.1007/978-3-662-46078-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III ent://SD_ILS/0/SD_ILS:519034 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Huang, De-Shuang. editor.&#160;Han, Kyungsook. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519034.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22053-6">https://doi.org/10.1007/978-3-319-22053-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II ent://SD_ILS/0/SD_ILS:519299 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Rutkowski, Leszek. editor.&#160;Korytkowski, Marcin. editor.&#160;Scherer, Rafal. editor.&#160;Tadeusiewicz, Ryszard. editor.&#160;Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number&#160;XX(519299.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19369-4">https://doi.org/10.1007/978-3-319-19369-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings ent://SD_ILS/0/SD_ILS:482656 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Horv&aacute;th, Andr&aacute;s. editor.&#160;Wolter, Katinka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10885-8">https://doi.org/10.1007/978-3-319-10885-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers ent://SD_ILS/0/SD_ILS:482733 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Colinet, Margot. editor.&#160;Katrenko, Sophia. editor.&#160;Rendsvig, Rasmus K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44116-9">https://doi.org/10.1007/978-3-662-44116-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Operational Semantics A Concise Overview ent://SD_ILS/0/SD_ILS:484561 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Fern&aacute;ndez, Maribel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485446 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Flatt, Matthew. editor.&#160;Guo, Hai-Feng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04132-2">https://doi.org/10.1007/978-3-319-04132-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485792 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091&#160;Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062&#160;Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133&#160;Zholtkevych, Grygoriy. editor. (orcid)0000-0002-7515-2143<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13206-8">https://doi.org/10.1007/978-3-319-13206-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485721 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Ferm&eacute;, Eduardo. editor.&#160;Leite, Joao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11558-0">https://doi.org/10.1007/978-3-319-11558-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283&ndash; October 4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485724 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Dingel, Juergen. editor.&#160;Schulte, Wolfram. editor.&#160;Ramos, Isidro. editor.&#160;Abrahao, Silvia. editor.&#160;Insfran, Emilio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485731 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Amyot, Daniel. editor.&#160;Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736&#160;Mussbacher, Gunter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11743-0">https://doi.org/10.1007/978-3-319-11743-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486854 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Fiadeiro, Jos&eacute; Luiz. editor.&#160;Liu, Zhiming. editor.&#160;Xue, Jinyun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07602-7">https://doi.org/10.1007/978-3-319-07602-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers ent://SD_ILS/0/SD_ILS:486931 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Barkatou, Moulay. editor.&#160;Cluzeau, Thomas. editor.&#160;Regensburger, Georg. editor.&#160;Rosenkranz, Markus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54479-8">https://doi.org/10.1007/978-3-642-54479-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantics of Probabilistic Processes An Operational Approach ent://SD_ILS/0/SD_ILS:487163 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Deng, Yuxin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45198-4">https://doi.org/10.1007/978-3-662-45198-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487052 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Cai, Zhipeng. editor.&#160;Zelikovsky, Alexander. editor.&#160;Bourgeois, Anu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08783-2">https://doi.org/10.1007/978-3-319-08783-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487484 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Ciardo, Gianfranco. editor.&#160;Kindler, Ekkart. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07734-5">https://doi.org/10.1007/978-3-319-07734-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB &amp; DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487540 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Fischbach, Kai. editor.&#160;Krieger, Udo R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05359-2">https://doi.org/10.1007/978-3-319-05359-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings ent://SD_ILS/0/SD_ILS:487545 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Schaefer, Ina. editor.&#160;Stamelos, Ioannis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487888 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Boniol, Frederic. editor.&#160;Wiels, Virginie. editor.&#160;Ait Ameur, Yamine. editor.&#160;Schewe, Klaus-Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07512-9">https://doi.org/10.1007/978-3-319-07512-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488547 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Shi, Zhongzhi. editor.&#160;Wu, Zhaohui. editor.&#160;Leake, David. editor.&#160;Sattler, Uli. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44980-6">https://doi.org/10.1007/978-3-662-44980-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488936 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Lang, Fr&eacute;d&eacute;ric. editor.&#160;Flammini, Francesco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10702-8">https://doi.org/10.1007/978-3-319-10702-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Future Internet Services and Systems Current Research ent://SD_ILS/0/SD_ILS:488944 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Heisel, Maritta. editor.&#160;Joosen, Wouter. editor.&#160;L&oacute;pez, Javier. editor.&#160;Martinelli, Fabio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07452-8">https://doi.org/10.1007/978-3-319-07452-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488949 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Muscholl, Anca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488966 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Ait Ameur, Yamine. editor.&#160;Schewe, Klaus-Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43652-3">https://doi.org/10.1007/978-3-662-43652-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:488979 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;van Breugel, Franck. editor.&#160;Kashefi, Elham. editor.&#160;Palamidessi, Catuscia. editor.&#160;Rutten, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06880-0">https://doi.org/10.1007/978-3-319-06880-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489081 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Garrigue, Jacques. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12736-1">https://doi.org/10.1007/978-3-319-12736-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489059 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Poole, Stephen. editor.&#160;Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951&#160;Shamis, Pavel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05215-1">https://doi.org/10.1007/978-3-319-05215-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489124 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Salinesi, Camille. editor.&#160;van de Weerd, Inge. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05843-6">https://doi.org/10.1007/978-3-319-05843-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489251 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Cabot, Jordi. editor.&#160;Rubin, Julia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09195-2">https://doi.org/10.1007/978-3-319-09195-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics ent://SD_ILS/0/SD_ILS:489273 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Majki&#263;, Zoran. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04156-8">https://doi.org/10.1007/978-3-319-04156-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings ent://SD_ILS/0/SD_ILS:482801 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bondavalli, Andrea. editor.&#160;Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10506-2">https://doi.org/10.1007/978-3-319-10506-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:483100 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Abraham, Erika. editor.&#160;Havelund, Klaus. editor. (orcid)0000-0001-7079-0472&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484531 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Giannakopoulou, Dimitra. editor.&#160;Kroening, Daniel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485524 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Jones, Cliff. editor.&#160;Pihlajasaari, Pekka. editor.&#160;Sun, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06410-9">https://doi.org/10.1007/978-3-319-06410-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485525 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Hirsch, Edward. editor.&#160;Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001&#160;Pin, Jean-&Eacute;ric. editor.&#160;Vereshchagin, Nikolay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06686-8">https://doi.org/10.1007/978-3-319-06686-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485526 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;H&ouml;fner, Peter. editor.&#160;Jipsen, Peter. editor.&#160;Kahl, Wolfram. editor.&#160;M&uuml;ller, Martin Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06251-8">https://doi.org/10.1007/978-3-319-06251-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485585 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Demri, St&eacute;phane. editor.&#160;Kapur, Deepak. editor.&#160;Weidenbach, Christoph. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08587-6">https://doi.org/10.1007/978-3-319-08587-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485592 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Cariani, Fabrizio. editor.&#160;Grossi, Davide. editor.&#160;Meheus, Joke. editor.&#160;Parent, Xavier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08615-6">https://doi.org/10.1007/978-3-319-08615-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485603 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Di Ruscio, Davide. editor.&#160;Varr&oacute;, D&aacute;niel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08789-4">https://doi.org/10.1007/978-3-319-08789-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485624 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Seidl, Martina. editor.&#160;Tillmann, Nikolai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485634 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Legay, Axel. editor.&#160;Bozga, Marius. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10512-3">https://doi.org/10.1007/978-3-319-10512-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485637 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;J&uuml;rgensen, Helmut. editor.&#160;Karhum&auml;ki, Juhani. editor.&#160;Okhotin, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09704-6">https://doi.org/10.1007/978-3-319-09704-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concrete Semantics With Isabelle/HOL ent://SD_ILS/0/SD_ILS:485672 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Nipkow, Tobias. author.&#160;Klein, Gerwin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10542-0">https://doi.org/10.1007/978-3-319-10542-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487418 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;McMillan, Kenneth. editor.&#160;Rival, Xavier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54013-4">https://doi.org/10.1007/978-3-642-54013-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487419 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Cohen, Ernie. editor.&#160;Rybalchenko, Andrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency IX ent://SD_ILS/0/SD_ILS:487423 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Koutny, Maciej. editor.&#160;Haddad, Serge. editor.&#160;Yakovlev, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45730-6">https://doi.org/10.1007/978-3-662-45730-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487454 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;K&uuml;hn, Eva. editor.&#160;Pugliese, Rosario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43376-8">https://doi.org/10.1007/978-3-662-43376-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:487476 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Artho, Cyrille. editor.&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05416-2">https://doi.org/10.1007/978-3-319-05416-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Design for Embedded Systems Co-modelling and Co-simulation ent://SD_ILS/0/SD_ILS:487938 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Fitzgerald, John. editor.&#160;Larsen, Peter Gorm. editor.&#160;Verhoef, Marcel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54118-6">https://doi.org/10.1007/978-3-642-54118-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Analysis of Algorithms ent://SD_ILS/0/SD_ILS:487903 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Vrajitoru, Dana. author.&#160;Knight, William. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09888-3">https://doi.org/10.1007/978-3-319-09888-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487655 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Beierle, Christoph. editor.&#160;Meghini, Carlo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04939-7">https://doi.org/10.1007/978-3-319-04939-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:488980 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488965 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bensalem, Saddek. editor.&#160;Lakhnech, Yassine. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54848-2">https://doi.org/10.1007/978-3-642-54848-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489003 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;Pe&ntilde;a, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12466-7">https://doi.org/10.1007/978-3-319-12466-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489013 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421&#160;Rensink, Arend. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54804-8">https://doi.org/10.1007/978-3-642-54804-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures ent://SD_ILS/0/SD_ILS:489017 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Remke, Anne. editor.&#160;Stoelinga, Mari&euml;lle. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45489-3">https://doi.org/10.1007/978-3-662-45489-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489018 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Klein, Gerwin. editor.&#160;Gamboa, Ruben. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08970-6">https://doi.org/10.1007/978-3-319-08970-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489028 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bonakdarpour, Borzoo. editor.&#160;Smolka, Scott A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11164-3">https://doi.org/10.1007/978-3-319-11164-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures ent://SD_ILS/0/SD_ILS:489035 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bernardo, Marco. editor.&#160;Damiani, Ferruccio. editor.&#160;Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613&#160;Johnsen, Einar Broch. editor.&#160;Schaefer, Ina. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07317-0">https://doi.org/10.1007/978-3-319-07317-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489041 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Liu, Shaoying. editor.&#160;Duan, Zhenhua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04915-1">https://doi.org/10.1007/978-3-319-04915-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489089 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Codish, Michael. editor.&#160;Sumii, Eijiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XXIV Special Issue on Reversible Computing ent://SD_ILS/0/SD_ILS:489061 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C.J. Kenneth. editor.&#160;Thapliyal, Himanshu. editor.&#160;Ranganathan, Nagarajan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45711-5">https://doi.org/10.1007/978-3-662-45711-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2014 &ndash; Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. ent://SD_ILS/0/SD_ILS:489153 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Baldan, Paolo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44584-6">https://doi.org/10.1007/978-3-662-44584-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489310 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Ouaknine, Joel. editor.&#160;Potapov, Igor. editor.&#160;Worrell, James. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11439-2">https://doi.org/10.1007/978-3-319-11439-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification of Business Rules Programs ent://SD_ILS/0/SD_ILS:489351 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Berstel-Da Silva, Bruno. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-40038-4">https://doi.org/10.1007/978-3-642-40038-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489372 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;&Aacute;brah&aacute;m, Erika. editor.&#160;Palamidessi, Catuscia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43613-4">https://doi.org/10.1007/978-3-662-43613-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489400 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281&#160;Ouyang, Chun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08260-8">https://doi.org/10.1007/978-3-319-08260-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489402 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Merayo, Mercedes G. editor.&#160;Montes de Oca, Edgardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44857-1">https://doi.org/10.1007/978-3-662-44857-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489434 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Shao, Zhong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday ent://SD_ILS/0/SD_ILS:489515 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Casadio, Claudia. editor.&#160;Coecke, Bob. editor.&#160;Moortgat, Michael. editor.&#160;Scott, Philip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54789-8">https://doi.org/10.1007/978-3-642-54789-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489519 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142&#160;Rauzy, Antoine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12214-4">https://doi.org/10.1007/978-3-319-12214-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489579 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Gupta, Gopal. editor.&#160;Pe&ntilde;a, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14125-1">https://doi.org/10.1007/978-3-319-14125-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489599 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bulling, Nils. editor.&#160;van der Torre, Leendert. editor.&#160;Villata, Serena. editor. (orcid)0000-0003-3495-493X&#160;Jamroga, Wojtek. editor.&#160;Vasconcelos, Wamberto. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09764-0">https://doi.org/10.1007/978-3-319-09764-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489622 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Yahav, Eran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13338-6">https://doi.org/10.1007/978-3-319-13338-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489634 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;McCarthy, Jay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-45340-3">https://doi.org/10.1007/978-3-642-45340-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational logic ent://SD_ILS/0/SD_ILS:355347 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Preferred Shelf Number&#160;ONLINE(355347.1)<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516244">http://www.sciencedirect.com/science/book/9780444516244</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485683 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Norman, Gethin. editor.&#160;Sanders, William. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10696-0">https://doi.org/10.1007/978-3-319-10696-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485693 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;M&uuml;ller-Olm, Markus. editor.&#160;Seidl, Helmut. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10936-7">https://doi.org/10.1007/978-3-319-10936-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485783 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Escobar, Santiago. editor. (orcid)0000-0002-3550-4781&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485643 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bikakis, Antonis. editor.&#160;Fodor, Paul. editor.&#160;Roman, Dumitru. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09870-8">https://doi.org/10.1007/978-3-319-09870-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485645 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Avgeriou, Paris. editor.&#160;Zdun, Uwe. editor. (orcid)0000-0002-6233-2591&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09970-5">https://doi.org/10.1007/978-3-319-09970-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485667 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Giannakopoulou, Dimitra. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10431-7">https://doi.org/10.1007/978-3-319-10431-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485668 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Albert, Elvira. editor.&#160;Sekerinski, Emil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10181-1">https://doi.org/10.1007/978-3-319-10181-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485669 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Seiler, Werner M. editor.&#160;Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10515-4">https://doi.org/10.1007/978-3-319-10515-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485676 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bondavalli, Andrea. editor.&#160;Ceccarelli, Andrea. editor.&#160;Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10557-4">https://doi.org/10.1007/978-3-319-10557-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods in Macro-Biology First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485677 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Fages, Fran&ccedil;ois. editor.&#160;Piazza, Carla. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10398-3">https://doi.org/10.1007/978-3-319-10398-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi ent://SD_ILS/0/SD_ILS:487212 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Iida, Shusaku. editor.&#160;Meseguer, Jos&eacute;. editor.&#160;Ogata, Kazuhiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54624-2">https://doi.org/10.1007/978-3-642-54624-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487246 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487364 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Dowek, Gilles. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08918-8">https://doi.org/10.1007/978-3-319-08918-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing &ndash; ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487371 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Ciobanu, Gabriel. editor.&#160;M&eacute;ry, Dominique. editor. (orcid)0000-0001-5231-6611&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10882-7">https://doi.org/10.1007/978-3-319-10882-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487680 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44124-4">https://doi.org/10.1007/978-3-662-44124-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487763 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Counsell, Steve. editor.&#160;N&uacute;&ntilde;ez, Manuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05032-4">https://doi.org/10.1007/978-3-319-05032-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic of analog and digital machines ent://SD_ILS/0/SD_ILS:281465 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Rocchi, Paolo.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=581746">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=581746</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Making claims knowledge design, capture, and sharing in HCI ent://SD_ILS/0/SD_ILS:279897 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;McCrickard, D. Scott, 1970-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=466361">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=466361</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Gd&#818;el's way exploits into an undecidable world ent://SD_ILS/0/SD_ILS:287306 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Chaitin, Gregory J.&#160;Doria, Francisco Antn&#805;io.&#160;Costa, Newton C. A. da.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9780203169575">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiple-base number system theory and applications ent://SD_ILS/0/SD_ILS:288049 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Dimitrov, Vassil.&#160;Jullien, Graham.&#160;Muscedere, Roberto.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439830475">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The logician and the engineer : how George Boole and Claude Shannon created the information age ent://SD_ILS/0/SD_ILS:376778 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Nahin, Paul J.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.2307/j.cttq957s">http://www.jstor.org/stable/10.2307/j.cttq957s</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy-aware memory management for embedded multimedia systems a computer-aided design approach ent://SD_ILS/0/SD_ILS:286142 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Balasa, Florin.&#160;Pradhan, Dhiraj K.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439814017">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic : the laws of truth ent://SD_ILS/0/SD_ILS:376248 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.2307/j.ctt7sr96">http://www.jstor.org/stable/10.2307/j.ctt7sr96</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical aspects of logic programming semantics ent://SD_ILS/0/SD_ILS:285188 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Hitzler, Pascal.&#160;Seda, Anthony.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439829622">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Gameplay mode : war, simulation, and technoculture ent://SD_ILS/0/SD_ILS:376194 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Crogan, Patrick.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.5749/j.ctttv857">http://www.jstor.org/stable/10.5749/j.ctttv857</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Practical Logic and Automated Reasoning ent://SD_ILS/0/SD_ILS:237206 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Harrison, John.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511576430">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance ASIC Design Using Synthesizable Domino Logic in an ASIC Flow ent://SD_ILS/0/SD_ILS:238736 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Hossain, Razak.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511541162">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Synthesis of arithmetic circuits FPGA, ASIC and embedded systems ent://SD_ILS/0/SD_ILS:303042 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Deschamps, Jean-Pierre, 1945-&#160;Bioul, G&eacute;ry Jean Antoine.&#160;Sutter, Gustavo D.&#160;John Wiley &amp; Sons.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.contentreserve.com/TitleInfo.asp?ID={9B847F1D-7655-49AF-84E0-C6142303ACD3}&Format=50">Click for information</a> <a href="http://proquest.safaribooksonline.com/?fpi=9780471687832">Available by subscription from Safari Books Online</a> John Wiley <a href="http://dx.doi.org/10.1002/0471741426">http://dx.doi.org/10.1002/0471741426</a> <a href="http://www3.interscience.wiley.com/cgi-bin/bookhome/112570650">http://www3.interscience.wiley.com/cgi-bin/bookhome/112570650</a> Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0621/2005003237-b.html">http://catdir.loc.gov/catdir/enhancements/fy0621/2005003237-b.html</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer-aided intelligent recognition techniques and applications ent://SD_ILS/0/SD_ILS:295892 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Sarfraz, Muhammad.&#160;John Wiley &amp; Sons.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/0470094168">http://dx.doi.org/10.1002/0470094168</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verilog coding for logic synthesis ent://SD_ILS/0/SD_ILS:301508 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Lee, Weng Fook.&#160;John Wiley &amp; Sons, Inc.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://proquest.safaribooksonline.com/?fpi=9780471429760">Available by subscription from Safari Books Online</a> <a href="http://catdir.loc.gov/catdir/bios/wiley045/2002032433.html">http://catdir.loc.gov/catdir/bios/wiley045/2002032433.html</a> John Wiley <a href="http://dx.doi.org/10.1002/0471457566">http://dx.doi.org/10.1002/0471457566</a> <a href="http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109855736">http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109855736</a> Book review (E-STREAMS) <a href="http://www.e-streams.com/es0704/es0704%5F3161.html">http://www.e-streams.com/es0704/es0704%5F3161.html</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The mechatronics handbook ent://SD_ILS/0/SD_ILS:284949 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Bishop, Robert H., 1957-&#160;ISA--The Instrumentation, Systems, and Automation Society.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420042450">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dynamic logic ent://SD_ILS/0/SD_ILS:219967 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Harel, David, 1950-&#160;Kozen, Dexter, 1951-&#160;Tiuryn, Jerzy.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic and Knowledge-based CAD for VLSI ent://SD_ILS/0/SD_ILS:247743 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Taylor, Gaynor, ed.&#160;Russell, Gordon, ed.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1049/PBCS004E">http://dx.doi.org/10.1049/PBCS004E</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analogue-digital ASICs Circuit techniques, design tools and applications ent://SD_ILS/0/SD_ILS:247742 2024-11-09T06:45:15Z 2024-11-09T06:45:15Z Author&#160;Soin, R. S., ed.&#160;Maloberti, F., ed.&#160;Franca, J., ed.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1049/PBCS003E">http://dx.doi.org/10.1049/PBCS003E</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>