Search Results for Systems - Narrowed by: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list2026-06-15T05:27:30ZEvolving Software Systemsent://SD_ILS/0/SD_ILS:4871212026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Mens, Tom. editor. Serebrenik, Alexander. editor. Cleve, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-45398-4">https://doi.org/10.1007/978-3-642-45398-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling Distributed Systemsent://SD_ILS/0/SD_ILS:1870122026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Fokkink, Wan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73938-8">http://dx.doi.org/10.1007/978-3-540-73938-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Self-Aware Computing Systemsent://SD_ILS/0/SD_ILS:6115352026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47474-8">https://doi.org/10.1007/978-3-319-47474-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architecting Dependable Systems VIIent://SD_ILS/0/SD_ILS:1935412026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Casimiro, Antonio. editor. Lemos, Rogério. editor. Gacek, Cristina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17245-8">http://dx.doi.org/10.1007/978-3-642-17245-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architecting Dependable Systems VIent://SD_ILS/0/SD_ILS:1913132026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Lemos, Rogério. editor. Fabre, Jean-Charles. editor. Gacek, Cristina. editor. Gadducci, Fabio. editor. Beek, Maurice. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10248-6">http://dx.doi.org/10.1007/978-3-642-10248-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architecting Dependable Systems Vent://SD_ILS/0/SD_ILS:1887302026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Lemos, Rogério. editor. Giandomenico, Felicita. editor. Gacek, Cristina. editor. Muccini, Henry. editor. Vieira, Marlon. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85571-2">http://dx.doi.org/10.1007/978-3-540-85571-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architecting Dependable Systems IVent://SD_ILS/0/SD_ILS:1870382026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74035-3">http://dx.doi.org/10.1007/978-3-540-74035-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Event-Based Systemsent://SD_ILS/0/SD_ILS:1834642026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Mühl, Gero. author. Fiege, Ludger. author. Pietzuch, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32653-7">http://dx.doi.org/10.1007/3-540-32653-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Systems - qualitätsorientierte Entwicklungent://SD_ILS/0/SD_ILS:1813702026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Bender, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138984">http://dx.doi.org/10.1007/b138984</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architecting Dependable Systems IIIent://SD_ILS/0/SD_ILS:1828002026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11556169">http://dx.doi.org/10.1007/11556169</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Information Systems Vent://SD_ILS/0/SD_ILS:1687352026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Camp, Olivier. editor. Filipe, Joaquim B. L. editor. Hammoudi, Slimane. editor. Piattini, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-2673-0">http://dx.doi.org/10.1007/1-4020-2673-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software and Systems Traceabilityent://SD_ILS/0/SD_ILS:1733972026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2239-5">http://dx.doi.org/10.1007/978-1-4471-2239-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Specification of Software Systemsent://SD_ILS/0/SD_ILS:1684762026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-277-3">http://dx.doi.org/10.1007/978-0-85729-277-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Views on Evolvability of Embedded Systemsent://SD_ILS/0/SD_ILS:2056092026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Van de Laar, Pierre. editor. Punter, Teade. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9849-8">http://dx.doi.org/10.1007/978-90-481-9849-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomic Road Transport Support Systemsent://SD_ILS/0/SD_ILS:6155422026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25808-9">https://doi.org/10.1007/978-3-319-25808-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trustworthy Open Self-Organising Systemsent://SD_ILS/0/SD_ILS:6184522026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Reif, Wolfgang. editor. Anders, Gerrit. editor. Seebach, Hella. editor. Steghöfer, Jan-Philipp. editor. André, Elisabeth. editor. (orcid)0000-0002-2367-162X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29201-4">https://doi.org/10.1007/978-3-319-29201-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Secure Integrated Circuits and Systemsent://SD_ILS/0/SD_ILS:1668902026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Verbauwhede, Ingrid M.R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-71829-3">http://dx.doi.org/10.1007/978-0-387-71829-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Specification to Embedded Systems Applicationent://SD_ILS/0/SD_ILS:1653902026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11523277">http://dx.doi.org/10.1007/11523277</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems Benchmarking For Scientists and Engineersent://SD_ILS/0/SD_ILS:6077162026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Kounev, Samuel. author. Lange, Klaus-Dieter. author. von Kistowski, Jóakim. author. (orcid)0000-0002-3046-5373 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85634-1">https://doi.org/10.1007/978-3-031-85634-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Design for Resilient Computer Systemsent://SD_ILS/0/SD_ILS:6043072026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55139-0">https://doi.org/10.1007/978-3-031-55139-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems engineering of software-enabled systemsent://SD_ILS/0/SD_ILS:5951422026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Fairley, R. E. (Richard E.), 1937- author.<br/>Preferred Shelf Number QA76.758<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pervasive Computing Engineering Smart Systemsent://SD_ILS/0/SD_ILS:6173712026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silvis-Cividjian, Natalia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Design for Resilient Computer Systemsent://SD_ILS/0/SD_ILS:6177292026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29465-0">https://doi.org/10.1007/978-3-319-29465-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recommendation Systems in Software Engineeringent://SD_ILS/0/SD_ILS:4882562026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Robillard, Martin P. editor. Maalej, Walid. editor. Walker, Robert J. editor. Zimmermann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-45135-5">https://doi.org/10.1007/978-3-642-45135-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantic Models for Adaptive Interactive Systemsent://SD_ILS/0/SD_ILS:3311882026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Hussein, Tim. editor. Paulheim, Heiko. editor. Lukosch, Stephan. editor. Ziegler, Jürgen. editor. Calvary, Gaëlle. editor.<br/>Preferred Shelf Number ONLINE(331188.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5301-6">http://dx.doi.org/10.1007/978-1-4471-5301-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Design of Cloud Workflow Systemsent://SD_ILS/0/SD_ILS:1740542026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1933-4">http://dx.doi.org/10.1007/978-1-4614-1933-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>agendaCPS Integrierte Forschungsagenda Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:1966122026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Geisberger, Eva. editor. Broy, Manfred. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29099-2">http://dx.doi.org/10.1007/978-3-642-29099-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>OFDM Concepts for Future Communication Systemsent://SD_ILS/0/SD_ILS:1936182026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Rohling, Hermann. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17496-4">http://dx.doi.org/10.1007/978-3-642-17496-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Microelectronic Systems Circuits, Systems and Applicationsent://SD_ILS/0/SD_ILS:1952292026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Heuberger, Albert. editor. Elst, Günter. editor. Hanke, Randolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23071-4">http://dx.doi.org/10.1007/978-3-642-23071-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems Development Asian Experiencesent://SD_ILS/0/SD_ILS:1728512026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Song, William Wei. editor. Xu, Shenghua. editor. Wan, Changxuan. editor. Zhong, Yuansheng. editor. Wojtkowski, Wita. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7355-9">http://dx.doi.org/10.1007/978-1-4419-7355-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Engineering of Mixed Reality Systemsent://SD_ILS/0/SD_ILS:1760532026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Dubois, Emmanuel. editor. Gray, Philip. editor. Nigay, Laurence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-733-2">http://dx.doi.org/10.1007/978-1-84882-733-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intentional Perspectives on Information Systems Engineeringent://SD_ILS/0/SD_ILS:1920282026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Nurcan, Selmin. editor. Salinesi, Camille. editor. Souveyet, Carine. editor. Ralyté, Jolita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12544-7">http://dx.doi.org/10.1007/978-3-642-12544-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Systems Security Certificationent://SD_ILS/0/SD_ILS:1674602026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Damiani, Ernesto. author. Ardagna, Claudio Agostino. author. El Ioini, Nabil. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-77324-7">http://dx.doi.org/10.1007/978-0-387-77324-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Self-Adaptive Systemsent://SD_ILS/0/SD_ILS:1902352026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02161-9">http://dx.doi.org/10.1007/978-3-642-02161-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems and software engineering with applicationsent://SD_ILS/0/SD_ILS:2498132026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Schneidewind, Norman.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539</a>
IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539">http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Modeling Agricultural Systemsent://SD_ILS/0/SD_ILS:1672402026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Pardalos, Panos M. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-75181-8">http://dx.doi.org/10.1007/978-0-387-75181-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networked RFID Systems, Software and Servicesent://SD_ILS/0/SD_ILS:1757352026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Roussos, George. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-153-4">http://dx.doi.org/10.1007/978-1-84800-153-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Temporal Logic and State Systemsent://SD_ILS/0/SD_ILS:1855372026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68635-4">http://dx.doi.org/10.1007/978-3-540-68635-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dependability benchmarking for computer systemsent://SD_ILS/0/SD_ILS:2497722026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Kanoun, Karama. Spainhower, Lisa.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Conceptual Modeling of Information Systemsent://SD_ILS/0/SD_ILS:1847252026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Olivé, Antoni. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-39390-0">http://dx.doi.org/10.1007/978-3-540-39390-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>LabVIEW based Advanced Instrumentation Systemsent://SD_ILS/0/SD_ILS:1850842026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Sumathi, S. author. Surekha, P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-48501-8">http://dx.doi.org/10.1007/978-3-540-48501-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Conceptual Modelling in Information Systems Engineeringent://SD_ILS/0/SD_ILS:1866162026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Krogstie, John. editor. Opdahl, Andreas Lothe. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72677-7">http://dx.doi.org/10.1007/978-3-540-72677-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination of Large-Scale Multiagent Systemsent://SD_ILS/0/SD_ILS:1654542026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Scerri, Paul. editor. Vincent, Régis. editor. Mailler, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-27972-5">http://dx.doi.org/10.1007/0-387-27972-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Systems – Modeling, Technology, and Applicationsent://SD_ILS/0/SD_ILS:1693202026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Hommel, Günter. editor. Huanye, Sheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4933-1">http://dx.doi.org/10.1007/1-4020-4933-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Processing and Security Systemsent://SD_ILS/0/SD_ILS:1652662026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Saeed, Khalid. editor. Pejaś, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137371">http://dx.doi.org/10.1007/b137371</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Validated Designs for Object-oriented Systemsent://SD_ILS/0/SD_ILS:1752372026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Fitzgerald, John. author. Larsen, Peter Gorm. author. Mukherjee, Paul. author. Plat, Nico. author. Verhoef, Marcel. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138800">http://dx.doi.org/10.1007/b138800</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Secure Systems Development with UMLent://SD_ILS/0/SD_ILS:1807772026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Jürjens, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137706">http://dx.doi.org/10.1007/b137706</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Socionics Scalability of Complex Social Systemsent://SD_ILS/0/SD_ILS:1827802026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Fischer, Klaus. editor. Florian, Michael. editor. Malsch, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11594116">http://dx.doi.org/10.1007/11594116</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trustworthy systems through quantitative software engineeringent://SD_ILS/0/SD_ILS:2494372026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Bernstein, Lawrence, 1940- Yuhas, C. M. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898">http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Peer-to-Peer Systems and Applicationsent://SD_ILS/0/SD_ILS:1831122026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Steinmetz, Ralf. editor. Wehrle, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11530657">http://dx.doi.org/10.1007/11530657</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software engineering for image processing systemsent://SD_ILS/0/SD_ILS:5452622026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Laplante, Phillip A., author.<br/>Preferred Shelf Number TA1637 .L34 2004<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781135510749">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Real-World Decision Support Systems Case Studiesent://SD_ILS/0/SD_ILS:6146272026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Papathanasiou, Jason. editor. Ploskas, Nikolaos. editor. Linden, Isabelle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43916-7">https://doi.org/10.1007/978-3-319-43916-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Intelligent Control to Engineering Systemsent://SD_ILS/0/SD_ILS:2049512026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Valavanis, Kimon P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3018-4">http://dx.doi.org/10.1007/978-90-481-3018-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Organic Computing - Technical Systems for Survival in the Real Worldent://SD_ILS/0/SD_ILS:6120552026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Müller-Schloer, Christian. author. Tomforde, Sven. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68477-2">https://doi.org/10.1007/978-3-319-68477-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded System Design Embedded Systems Foundations of Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:2057902026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Marwedel, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0257-8">http://dx.doi.org/10.1007/978-94-007-0257-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systemsent://SD_ILS/0/SD_ILS:2056332026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Lokuciejewski, Paul. author. Marwedel, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9929-7">http://dx.doi.org/10.1007/978-90-481-9929-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMSent://SD_ILS/0/SD_ILS:5630102026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Hobbs, Chris (Christopher W.)<br/>Preferred Shelf Number QA76.76 .D47<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003598145">https://www.taylorfrancis.com/books/9781003598145</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design and Development of Web Information Systemsent://SD_ILS/0/SD_ILS:4830332026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Schewe, Klaus-Dieter. author. Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-58824-6">https://doi.org/10.1007/978-3-662-58824-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Real-Time Systems Theory and Practiceent://SD_ILS/0/SD_ILS:4865582026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Erciyes, K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22570-4">https://doi.org/10.1007/978-3-030-22570-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Dynamic Data Driven Applications Systemsent://SD_ILS/0/SD_ILS:4004362026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95504-9">https://doi.org/10.1007/978-3-319-95504-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Socio-technical Design of Ubiquitous Computing Systemsent://SD_ILS/0/SD_ILS:4877612026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor David, Klaus. editor. Geihs, Kurt. editor. Leimeister, Jan Marco. editor. Roßnagel, Alexander. editor. Schmidt, Ludger. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05044-7">https://doi.org/10.1007/978-3-319-05044-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Information Systems Engineering The MERODE Approachent://SD_ILS/0/SD_ILS:4877012026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Snoeck, Monique. author. (orcid)0000-0002-3824-3214 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10145-3">https://doi.org/10.1007/978-3-319-10145-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Dependability Assessment of Software Systemsent://SD_ILS/0/SD_ILS:3348122026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334812.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39512-3">http://dx.doi.org/10.1007/978-3-642-39512-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed, Embedded and Real-time Java Systemsent://SD_ILS/0/SD_ILS:1730762026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Higuera-Toledano, M. Teresa. editor. Wellings, Andy J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-8158-5">http://dx.doi.org/10.1007/978-1-4419-8158-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Resilience Assessment and Evaluation of Computing Systemsent://SD_ILS/0/SD_ILS:1965922026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29032-9">http://dx.doi.org/10.1007/978-3-642-29032-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applicationsent://SD_ILS/0/SD_ILS:1737522026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Buttazzo, Giorgio C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0676-1">http://dx.doi.org/10.1007/978-1-4614-0676-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real-Time Systems Design Principles for Distributed Embedded Applicationsent://SD_ILS/0/SD_ILS:1730972026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Kopetz, Hermann. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-8237-7">http://dx.doi.org/10.1007/978-1-4419-8237-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Thriving Systems Theory and Metaphor-Driven Modelingent://SD_ILS/0/SD_ILS:1762152026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Waguespack, Leslie J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-302-2">http://dx.doi.org/10.1007/978-1-84996-302-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Specification and Verification of Multi-agent Systemsent://SD_ILS/0/SD_ILS:1727412026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-6984-2">http://dx.doi.org/10.1007/978-1-4419-6984-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architecture-Based Design of Multi-Agent Systemsent://SD_ILS/0/SD_ILS:1898712026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Weyns, Danny. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01064-4">http://dx.doi.org/10.1007/978-3-642-01064-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolving Connectionist Systems The Knowledge Engineering Approachent://SD_ILS/0/SD_ILS:1753932026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Kasabov, Nikola. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-347-5">http://dx.doi.org/10.1007/978-1-84628-347-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Field-Based Coordination for Pervasive Multiagent Systemsent://SD_ILS/0/SD_ILS:1816112026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Mamei, Marco. author. Zambonelli, Franco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27969-5">http://dx.doi.org/10.1007/3-540-27969-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rigorous Development of Complex Fault-Tolerant Systemsent://SD_ILS/0/SD_ILS:1850622026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Butler, Michael. editor. Jones, Cliff B. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11916246">http://dx.doi.org/10.1007/11916246</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Soft Real-Time Systems Predictability vs. Efficiencyent://SD_ILS/0/SD_ILS:1654782026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28147-9">http://dx.doi.org/10.1007/0-387-28147-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Biometric Systems Technology, Design and Performance Evaluationent://SD_ILS/0/SD_ILS:1751992026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Wayman, James. editor. Jain, Anil. editor. Maltoni, Davide. editor. Maio, Dario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138151">http://dx.doi.org/10.1007/b138151</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing Virtual Reality Systems The Structured Approachent://SD_ILS/0/SD_ILS:1753292026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Kim, Gerard Jounghyun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-230-0">http://dx.doi.org/10.1007/978-1-84628-230-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementing Distributed Systems with Java and CORBAent://SD_ILS/0/SD_ILS:1816262026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Aleksy, Markus. author. Korthaus, Axel. author. Schader, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28047-2">http://dx.doi.org/10.1007/3-540-28047-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Self-Organising Systems Methodologies and Applicationsent://SD_ILS/0/SD_ILS:1829872026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Karageorgos, Anthony. editor. Nagpal, Radhika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136984">http://dx.doi.org/10.1007/b136984</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5ent://SD_ILS/0/SD_ILS:6097052026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-96775-7">https://doi.org/10.1007/978-3-031-96775-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence and System Engineering Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 2ent://SD_ILS/0/SD_ILS:6098732026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-96759-7">https://doi.org/10.1007/978-3-031-96759-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1ent://SD_ILS/0/SD_ILS:6098742026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-96798-6">https://doi.org/10.1007/978-3-031-96798-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3ent://SD_ILS/0/SD_ILS:6099172026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-96380-3">https://doi.org/10.1007/978-3-031-96380-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1ent://SD_ILS/0/SD_ILS:6025982026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53549-9">https://doi.org/10.1007/978-3-031-53549-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2ent://SD_ILS/0/SD_ILS:6055672026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70300-3">https://doi.org/10.1007/978-3-031-70300-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Analytics in System Engineering Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 3ent://SD_ILS/0/SD_ILS:6026602026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53552-9">https://doi.org/10.1007/978-3-031-53552-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Analytics in System Engineering Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 4ent://SD_ILS/0/SD_ILS:6026612026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54820-8">https://doi.org/10.1007/978-3-031-54820-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 2ent://SD_ILS/0/SD_ILS:6027082026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54813-0">https://doi.org/10.1007/978-3-031-54813-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Machine Learning Methods in Systems Proceedings of 13th Computer Science On-line Conference 2024, Vol. 4ent://SD_ILS/0/SD_ILS:6056832026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70595-3">https://doi.org/10.1007/978-3-031-70595-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence Algorithm Design for Systems Proceedings of 13th Computer Science Online Conference 2024, Volume 3ent://SD_ILS/0/SD_ILS:6061862026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70518-2">https://doi.org/10.1007/978-3-031-70518-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1ent://SD_ILS/0/SD_ILS:5269122026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21435-6">https://doi.org/10.1007/978-3-031-21435-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2ent://SD_ILS/0/SD_ILS:5271382026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21438-7">https://doi.org/10.1007/978-3-031-21438-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence Application in Networks and Systems Proceedings of 12th Computer Science On-line Conference 2023, Volume 3ent://SD_ILS/0/SD_ILS:5280372026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35314-7">https://doi.org/10.1007/978-3-031-35314-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networks and Systems in Cybernetics Proceedings of 12th Computer Science On-line Conference 2023, Volume 2ent://SD_ILS/0/SD_ILS:5281062026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35317-8">https://doi.org/10.1007/978-3-031-35317-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4023412026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Ahram, Tareq. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60011-6">https://doi.org/10.1007/978-3-319-60011-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Green IT Engineering: Concepts, Models, Complex Systems Architecturesent://SD_ILS/0/SD_ILS:6113722026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Kharchenko, Vyacheslav. editor. Kondratenko, Yuriy. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44162-7">https://doi.org/10.1007/978-3-319-44162-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling and Implementation of Complex Systems Proceedings of the 4th International Symposium, MISC 2016, Constantine, Algeria, May 7-8, 2016, Constantine, Algeriaent://SD_ILS/0/SD_ILS:6116862026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Chikhi, Salim. editor. Amine, Abdelmalek. editor. Chaoui, Allaoua. editor. Kholladi, Mohamed Khireddine. editor. Saidouni, Djamel Eddine. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33410-3">https://doi.org/10.1007/978-3-319-33410-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papersent://SD_ILS/0/SD_ILS:3343442026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Piazolo, Felix. editor. Felderer, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334344.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37021-2">http://dx.doi.org/10.1007/978-3-642-37021-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4826782026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Giorgini, Paolo. editor. (orcid)0000-0003-4152-9683 Weber, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21290-2">https://doi.org/10.1007/978-3-030-21290-2</a><br/>Format: Electronic Resources<br/>Availability 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 Papersent://SD_ILS/0/SD_ILS:4834712026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Chamberlain, Roger. editor. Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Internet and Distributed Computing Systems 12th International Conference, IDCS 2019, Naples, Italy, October 10–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4868282026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Montella, Raffaele. editor. Ciaramella, Angelo. editor. (orcid)0000-0001-5592-7995 Fortino, Giancarlo. editor. Guerrieri, Antonio. editor. (orcid)0000-0003-1469-9484 Liotta, Antonio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34914-1">https://doi.org/10.1007/978-3-030-34914-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Risks and Security of Internet and Systems 13th International Conference, CRiSIS 2018, Arcachon, France, October 16–18, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4835922026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Zemmari, Akka. editor. Mosbah, Mohamed. editor. Cuppens-Boulahia, Nora. editor. Cuppens, Frédéric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12143-3">https://doi.org/10.1007/978-3-030-12143-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3993632026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Hacid, Hakim. editor. (orcid)0000-0003-2265-9343 Cellary, Wojciech. editor. (orcid)0000-0001-8578-4307 Wang, Hua. editor. (orcid)0000-0002-8465-0996 Paik, Hye-Young. editor. (orcid)0000-0003-4425-7388 Zhou, Rui. editor. (orcid)0000-0001-6807-4362<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02922-7">https://doi.org/10.1007/978-3-030-02922-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:3997502026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97795-9">https://doi.org/10.1007/978-3-319-97795-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4009692026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor. Ciuciu, Ioana. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73805-5">https://doi.org/10.1007/978-3-319-73805-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4009712026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Cuppens, Nora. editor. Cuppens, Frédéric. editor. Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941 Legay, Axel. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76687-4">https://doi.org/10.1007/978-3-319-76687-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3992382026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Krogstie, John. editor. Reijers, Hajo A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91563-0">https://doi.org/10.1007/978-3-319-91563-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001732026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. (orcid)0000-0001-7787-4927 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99954-8">https://doi.org/10.1007/978-3-319-99954-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIIent://SD_ILS/0/SD_ILS:4005642026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-57932-9">https://doi.org/10.1007/978-3-662-57932-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database Systems for Advanced Applications DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4010762026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Liu, Chengfei. editor. Zou, Lei. editor. Li, Jianxin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91455-8">https://doi.org/10.1007/978-3-319-91455-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet and Distributed Computing Systems 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001032026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Xiang, Yang. editor. Sun, Jingtao. editor. Fortino, Giancarlo. editor. Guerrieri, Antonio. editor. Jung, Jason J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02738-4">https://doi.org/10.1007/978-3-030-02738-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Web and Intelligent Information Systems 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4003422026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Younas, Muhammad. editor. Awan, Irfan. editor. Ghinea, George. editor. Catalan Cid, Marisa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97163-6">https://doi.org/10.1007/978-3-319-97163-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII Special Issue on Database- and Expert-Systems Applicationsent://SD_ILS/0/SD_ILS:4003462026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Hartmann, Sven. editor. Ma, Hui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-58384-5">https://doi.org/10.1007/978-3-662-58384-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4014532026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76072-8">https://doi.org/10.1007/978-3-319-76072-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6115362026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lanet, Jean-Louis. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54876-0">https://doi.org/10.1007/978-3-319-54876-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162252026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Dubois, Eric. editor. Pohl, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59536-8">https://doi.org/10.1007/978-3-319-59536-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Information Systems Engineering - WISE 2017 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6122442026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Bouguettaya, Athman. editor. Gao, Yunjun. editor. Klimenko, Andrey. editor. Chen, Lu. editor. Zhang, Xiangliang. editor. (orcid)0000-0002-3574-5665<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68783-4">https://doi.org/10.1007/978-3-319-68783-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6121802026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Ciuciu, Ioana. editor. Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55961-2">https://doi.org/10.1007/978-3-319-55961-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6180132026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51738-4">https://doi.org/10.1007/978-3-319-51738-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6180182026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Blanas, Spyros. editor. Bordawekar, Rajesh. editor. Lahiri, Tirthankar. editor. Levandoski, Justin. editor. Pavlo, Andrew. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56111-0">https://doi.org/10.1007/978-3-319-56111-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Information Systems Engineering - WISE 2017 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6183562026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Bouguettaya, Athman. editor. Gao, Yunjun. editor. Klimenko, Andrey. editor. Chen, Lu. editor. Zhang, Xiangliang. editor. (orcid)0000-0002-3574-5665<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68786-5">https://doi.org/10.1007/978-3-319-68786-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Information Systems Engineering - WISE 2016 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6117302026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Cellary, Wojciech. editor. Mokbel, Mohamed F. editor. Wang, Jianmin. editor. Wang, Hua. editor. Zhou, Rui. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48743-4">https://doi.org/10.1007/978-3-319-48743-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Information Systems Engineering - WISE 2016 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6119962026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Cellary, Wojciech. editor. Mokbel, Mohamed F. editor. Wang, Jianmin. editor. Wang, Hua. editor. Zhou, Rui. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48740-3">https://doi.org/10.1007/978-3-319-48740-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6129712026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Nurcan, Selmin. editor. (orcid)0000-0001-9676-4520 Soffer, Pnina. editor. (orcid)0000-0003-4659-883X Bajec, Marko. editor. Eder, Johann. editor. (orcid)0000-0001-6050-468X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39696-5">https://doi.org/10.1007/978-3-319-39696-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Web and Intelligent Information Systems 13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6167332026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Younas, Muhammad. editor. Awan, Irfan. editor. Kryvinska, Natalia. editor. (orcid)0000-0003-3678-9229 Strauss, Christine. editor. (orcid)0000-0003-0276-3610 Thanh, Do van. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44215-0">https://doi.org/10.1007/978-3-319-44215-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet and Distributed Computing Systems 7th International Conference, IDCS 2014, Calabria, Italy, September 22-24, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4872812026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Fortino, Giancarlo. editor. Di Fatta, Giuseppe. editor. Li, Wenfeng. editor. Ochoa, Sergio F. editor. (orcid)0000-0002-0431-8767 Cuzzocrea, Alfredo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11692-1">https://doi.org/10.1007/978-3-319-11692-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Information Systems Engineering -- WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4877112026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Benatallah, Boualem. editor. Bestavros, Azer. editor. Manolopoulos, Yannis. editor. Vakali, Athena. editor. Zhang, Yanchun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11746-1">https://doi.org/10.1007/978-3-319-11746-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Information Systems Engineering -- WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4889812026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Benatallah, Boualem. editor. Bestavros, Azer. editor. Manolopoulos, Yannis. editor. Vakali, Athena. editor. Zhang, Yanchun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11749-2">https://doi.org/10.1007/978-3-319-11749-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On the Move to Meaningful Internet Systems: OTM 2014 Conferences Confederated International Conferences: CoopIS and ODBASE 2014, Amantea, Italy, October 27-31, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890772026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Meersman, Robert. editor. Panetto, Herve. editor. (orcid)0000-0002-5537-2261 Dillon, Tharam. editor. Missikoff, Michele. editor. Liu, Lin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45563-0">https://doi.org/10.1007/978-3-662-45563-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890782026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Kontchakov, Roman. editor. Mugnier, Marie-Laure. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11113-1">https://doi.org/10.1007/978-3-319-11113-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4891162026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Jarke, Matthias. editor. Mylopoulos, John. editor. (orcid)0000-0002-8698-3292 Quix, Christoph. editor. Rolland, Colette. editor. Manolopoulos, Yannis. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07881-6">https://doi.org/10.1007/978-3-319-07881-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomy Oriented Computing From Problem Solving to Complex Systems Modelingent://SD_ILS/0/SD_ILS:1700512026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101185">http://dx.doi.org/10.1007/b101185</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6018082026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Morishima, Atsuyuki. editor. (orcid)0000-0003-4606-9065 Li, Guoliang. editor. (orcid)0000-0002-1398-0621 Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262 Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502 Jagadish, H. V. editor. (orcid)0000-0003-0724-5214<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0914-7">https://doi.org/10.1007/978-981-96-0914-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6057232026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74498-3">https://doi.org/10.1007/978-3-031-74498-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6057362026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75107-3">https://doi.org/10.1007/978-3-031-75107-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16-17, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6071672026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Cheng, Xiaochun. editor. (orcid)0000-0003-0371-9646 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81168-5">https://doi.org/10.1007/978-3-031-81168-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16-17, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6071682026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Cheng, Xiaochun. editor. (orcid)0000-0003-0371-9646 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81171-5">https://doi.org/10.1007/978-3-031-81171-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lecturesent://SD_ILS/0/SD_ILS:6079732026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4656-2">https://doi.org/10.1007/978-981-96-4656-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6080522026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-86644-9">https://doi.org/10.1007/978-3-031-86644-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Health Informatics and Medical Systems and Biomedical Engineering 10th International Conference, HIMS 2024, and 10th International Conference, BIOENG 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6081412026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Alsadoon, Abeer. editor. (orcid)0000-0002-2309-3540 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85908-3">https://doi.org/10.1007/978-3-031-85908-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6081602026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82949-9">https://doi.org/10.1007/978-3-031-82949-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6081612026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82957-4">https://doi.org/10.1007/978-3-031-82957-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part IIIent://SD_ILS/0/SD_ILS:6081652026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83885-9">https://doi.org/10.1007/978-3-031-83885-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Intelligence, Cyber Security and Computational Models. Emerging Trends in Computational Models, Intelligence and Security Systems 6th International Conference, ICC3 2023, Coimbatore, India, December 14-16, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6015412026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Sheen, Shina. editor. (orcid)0000-0002-8624-4174 R., Latha. editor. (orcid)0000-0001-7011-1329 U. K., Sridevi. editor. (orcid)0000-0003-2445-9193 P., Thanalakshmi. editor. (orcid)0000-0003-2607-5222 M., Thilaga. editor. (orcid)0000-0002-7177-958X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-88297-5">https://doi.org/10.1007/978-3-031-88297-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6016522026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517 Sanchez-Anguix, Victor. editor. (orcid)0000-0003-4851-0037 Stein, Sebastian. editor. (orcid)0000-0003-2858-8857 Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999 van der Torre, Leon. editor. (orcid)0000-0003-4330-3717<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77367-9">https://doi.org/10.1007/978-3-031-77367-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering of Complex Computer Systems 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6053382026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Bai, Guangdong. editor. (orcid)0000-0002-6390-9890 Ishikawa, Fuyuki. editor. (orcid)0000-0001-7725-2618 Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Papadopoulos, George A. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66456-4">https://doi.org/10.1007/978-3-031-66456-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6082962026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6082972026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083202026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise, Business-Process and Information Systems Modeling 26th International Conference, BPMDS 2025, and 30th International Conference, EMMSAD 2025, Vienna, Austria, June 16-17, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089232026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Guizzardi, Renata. editor. (orcid)0000-0002-5804-5741 Pufahl, Luise. editor. (orcid)0000-0002-5182-2587 Sturm, Arnon. editor. (orcid)0000-0002-4021-7752 van der Aa, Han. editor. (orcid)0000-0002-4200-4937 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95397-2">https://doi.org/10.1007/978-3-031-95397-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6089262026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94569-4">https://doi.org/10.1007/978-3-031-94569-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6089272026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94571-7">https://doi.org/10.1007/978-3-031-94571-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089372026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95497-9">https://doi.org/10.1007/978-3-031-95497-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering Workshops CAiSE 2025 Workshops, Vienna, Austria, June 16-20, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089092026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Wautelet, Yves. editor. (orcid)0000-0002-6560-9787 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94931-9">https://doi.org/10.1007/978-3-031-94931-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Systems and Advanced Computing Sciences 4th International Conference, ISACS 2023, Taza, Morocco, October 26-27, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6091672026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Hagras, Hani. editor. (orcid)0000-0002-2818-5292 Bennani, Younes. editor. (orcid)0000-0003-3667-3357 Nemiche, Mohamed. editor. (orcid)0000-0002-2249-7308 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93448-3">https://doi.org/10.1007/978-3-031-93448-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection 22nd International Conference, PAAMS 2024, Salamanca, Spain, June 26-28, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6060902026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Mathieu, Philippe. editor. (orcid)0000-0003-2786-1209 De la Prieta, Fernando. editor. (orcid)0000-0002-8239-5020 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70415-4">https://doi.org/10.1007/978-3-031-70415-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6070162026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80889-0">https://doi.org/10.1007/978-3-031-80889-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6070642026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78377-7">https://doi.org/10.1007/978-3-031-78377-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6070652026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78380-7">https://doi.org/10.1007/978-3-031-78380-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cooperative Information Systems 30th International Conference, CoopIS 2024, Porto, Portugal, November 19-21, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6072352026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Comuzzi, Marco. editor. (orcid)0000-0002-6944-4705 Grigori, Daniela. editor. (orcid)0000-0003-1741-8676 Sellami, Mohamed. editor. (orcid)0000-0002-7547-1857 Zhou, Zhangbing. editor. (orcid)0000-0002-3195-2253 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81375-7">https://doi.org/10.1007/978-3-031-81375-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications 25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6080152026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85923-6">https://doi.org/10.1007/978-3-031-85923-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089382026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95728-4">https://doi.org/10.1007/978-3-031-95728-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI in Mobility, Transport, and Automotive Systems 7th International Conference, MobiTAS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6087342026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Krömker, Heidi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92692-1">https://doi.org/10.1007/978-3-031-92692-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI in Mobility, Transport, and Automotive Systems 7th International Conference, MobiTAS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6086992026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Krömker, Heidi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92689-1">https://doi.org/10.1007/978-3-031-92689-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6021292026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595 Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. Helgheim, Berit Irene. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49379-9">https://doi.org/10.1007/978-3-031-49379-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6024252026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Jordan, Vladimir. editor. Tarasov, Ilya. editor. Shurina, Ella. editor. Filimonov, Nikolay. editor. Faerman, Vladimir A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51057-1">https://doi.org/10.1007/978-3-031-51057-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomous Agents and Multiagent Systems. Best and Visionary Papers AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6030862026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Amigoni, Francesco. editor. (orcid)0000-0001-8146-6213 Sinha, Arunesh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56255-6">https://doi.org/10.1007/978-3-031-56255-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Information Systems Interoperability Data, Services, and Processesent://SD_ILS/0/SD_ILS:6032702026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Rinderle-Ma, Stefanie. author. (orcid)0000-0001-5656-6108 Mangler, Jürgen. author. Ritter, Daniel. author. (orcid)0000-0001-6146-3365 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48322-6">https://doi.org/10.1007/978-3-031-48322-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Technologies and Intelligent Decision Making Systems Third International Scientific and Practical Conference, ITIDMS 2023, Moscow, Russia, December, 12-14, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6034222026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Gibadullin, Arthur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60318-1">https://doi.org/10.1007/978-3-031-60318-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI in Mobility, Transport, and Automotive Systems 6th International Conference, MobiTAS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6037672026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Krömker, Heidi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60477-5">https://doi.org/10.1007/978-3-031-60477-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI in Mobility, Transport, and Automotive Systems 6th International Conference, MobiTAS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6037682026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Krömker, Heidi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60480-5">https://doi.org/10.1007/978-3-031-60480-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering Workshops CAiSE 2024 International Workshops, Limassol, Cyprus, June 3-7, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6037812026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Almeida, João Paulo A. editor. (orcid)0000-0002-9819-3781 Di Ciccio, Claudio. editor. (orcid)0000-0001-5570-0475 Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61003-5">https://doi.org/10.1007/978-3-031-61003-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6042772026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Achilleos, Achilleas. editor. (orcid)0000-0001-7157-8991 Fuentes, Lidia. editor. (orcid)0000-0002-5677-7156 Papadopoulos, George Angelos. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66459-5">https://doi.org/10.1007/978-3-031-66459-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6047882026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68150-9">https://doi.org/10.1007/978-3-031-68150-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database and Expert Systems Applications - DEXA 2024 Workshops IWCFS, AISys, CIU, Naples, Italy, August 26-28, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6048562026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Moser, Bernhard. editor. Fischer, Lukas. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Sametinger, Johannes. editor. (orcid)0000-0002-0637-6602 Glock, Anna-Christina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68302-2">https://doi.org/10.1007/978-3-031-68302-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6048712026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68416-6">https://doi.org/10.1007/978-3-031-68416-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Information Systems and Industrial Management 23rd International Conference, CISIM 2024, Bialystok, Poland, September 27-29, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6048882026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Dvorský, Jiří. editor. (orcid)0000-0003-3787-9533 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71115-2">https://doi.org/10.1007/978-3-031-71115-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6050532026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71139-8">https://doi.org/10.1007/978-3-031-71139-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6050542026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71142-8">https://doi.org/10.1007/978-3-031-71142-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systemsent://SD_ILS/0/SD_ILS:6020032026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Babkin, Eduard. author. (orcid)0000-0003-2597-9043 Ulitin, Boris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42202-7">https://doi.org/10.1007/978-3-031-42202-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031452026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031512026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6031522026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networking and Parallel/Distributed Computing Systems Volume 18ent://SD_ILS/0/SD_ILS:6033572026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53274-0">https://doi.org/10.1007/978-3-031-53274-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database and Expert Systems Applications 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6016482026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Strauss, Christine. editor. (orcid)0000-0003-0276-3610 Amagasa, Toshiyuki. editor. (orcid)0000-0003-0595-2230 Manco, Giuseppe. editor. Kotsis, Gabriele. editor. (orcid)0000-0002-4185-2942 Tjoa, A Min. editor. (orcid)0000-0002-8295-9252<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68309-1">https://doi.org/10.1007/978-3-031-68309-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cooperative Information Systems 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30-November 3, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6018802026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Sellami, Mohamed. editor. Vidal, Maria-Esther. editor. van Dongen, Boudewijn. editor. Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Panetto, Hervé. editor. (orcid)0000-0002-5537-2261<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46846-9">https://doi.org/10.1007/978-3-031-46846-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise, Business-Process and Information Systems Modeling 25th International Conference, BPMDS 2024, and 29th International Conference, EMMSAD 2024, Limassol, Cyprus, June 3-4, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6037212026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor van der Aa, Han. editor. (orcid)0000-0002-4200-4937 Bork, Dominik. editor. (orcid)0000-0001-8259-2297 Schmidt, Rainer. editor. (orcid)0000-0002-1637-0589 Sturm, Arnon. editor. (orcid)0000-0002-4021-7752 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61007-3">https://doi.org/10.1007/978-3-031-61007-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database and Expert Systems Applications 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6047402026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Strauss, Christine. editor. (orcid)0000-0003-0276-3610 Amagasa, Toshiyuki. editor. (orcid)0000-0003-0595-2230 Manco, Giuseppe. editor. Kotsis, Gabriele. editor. (orcid)0000-0002-4185-2942 Tjoa, A Min. editor. (orcid)0000-0002-8295-9252<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68312-1">https://doi.org/10.1007/978-3-031-68312-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet Computing Principles of Distributed Systems and Emerging Internet-Based Technologiesent://SD_ILS/0/SD_ILS:6048502026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Sunyaev, Ali. author. (orcid)0000-0002-4353-8519 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61014-1">https://doi.org/10.1007/978-3-031-61014-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6038262026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Santoro, Flavia. editor. (orcid)0000-0003-3421-1984 Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712 Soffer, Pnina. editor. (orcid)0000-0003-4659-883X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61057-8">https://doi.org/10.1007/978-3-031-61057-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6038992026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62638-8">https://doi.org/10.1007/978-3-031-62638-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6039122026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523 Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62645-6">https://doi.org/10.1007/978-3-031-62645-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Business and Intelligent Systems 16th International Baltic Conference, Baltic DB&IS 2024, Vilnius, Lithuania, June 30 - July 3, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6040212026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Lupeikienė, Audronė. editor. (orcid)0000-0001-6011-3072 Ralyté, Jolita. editor. (orcid)0000-0001-8561-3567 Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63543-4">https://doi.org/10.1007/978-3-031-63543-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software engineering for automotive systems : principles and applicationsent://SD_ILS/0/SD_ILS:5906352026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Sivakumar, P. (Electrical engineer), editor. Kumar, B. Vinoth, editor. Sandhya Devi, R. S., editor.<br/>Preferred Shelf Number TL272.53<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003269908">https://www.taylorfrancis.com/books/9781003269908</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An introduction to self-adaptive systems : a contemporary software engineering perspectiveent://SD_ILS/0/SD_ILS:5963512026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Weyns, Danny.<br/>Preferred Shelf Number QA76.76 .S375<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interdisciplinary approaches to information systems and software engineeringent://SD_ILS/0/SD_ILS:4820732026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Mukherjee, Alok Bhushan, 1985- editor. Krishna, Akhouri Pramod, 1962- editor. IGI Global, publisher.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Chapter PDFs via platform: <a href="http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7784-3">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7784-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4830242026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Hamid, Brahim. editor. Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Shabtai, Asaf. editor. (orcid)0000-0003-0630-4059 Elovici, Yuval. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16874-2">https://doi.org/10.1007/978-3-030-16874-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838862026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Knowledge Management and Acquisition for Intelligent Systems 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26–27, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4839042026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Ohara, Kouzou. editor. Bai, Quan. editor. (orcid)0000-0003-1214-6317 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30639-7">https://doi.org/10.1007/978-3-030-30639-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4839082026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30856-8">https://doi.org/10.1007/978-3-030-30856-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lecturesent://SD_ILS/0/SD_ILS:4846162026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17601-3">https://doi.org/10.1007/978-3-030-17601-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On the Move to Meaningful Internet Systems: OTM 2018 Workshops Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22–26, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4847162026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Guédria, Wided. editor. Bollen, Peter. editor. Ciuciu, Ioana. editor. (orcid)0000-0002-7126-0585<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-11683-5">https://doi.org/10.1007/978-3-030-11683-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networked Systems 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4847492026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Schwarzmann, Alexander A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31277-0">https://doi.org/10.1007/978-3-030-31277-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4863042026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Information Systems 20th International Conference, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4862662026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Hammoudi, Slimane. editor. Śmiałek, Michał. editor. Camp, Olivier. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26169-6">https://doi.org/10.1007/978-3-030-26169-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866832026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthdayent://SD_ILS/0/SD_ILS:4868592026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31175-9">https://doi.org/10.1007/978-3-030-31175-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4831942026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20883-7">https://doi.org/10.1007/978-3-030-20883-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4840282026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4840332026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms for Sensor Systems 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4842282026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Dressler, Falko. editor. (orcid)0000-0002-1989-1750 Scheideler, Christian. editor. (orcid)0000-0002-5278-528X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34405-4">https://doi.org/10.1007/978-3-030-34405-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Industrial Applications of Holonic and Multi-Agent Systems 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4846782026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Mařík, Vladimír. editor. Kadera, Petr. editor. Rzevski, George. editor. Zoitl, Alois. editor. Anderst-Kotsis, Gabriele. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27878-6">https://doi.org/10.1007/978-3-030-27878-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthinessent://SD_ILS/0/SD_ILS:4851682026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Gol Mohammadi, Nazila. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-27488-7">https://doi.org/10.1007/978-3-658-27488-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4852412026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Podelski, Andreas. editor. Taïani, François. editor. (orcid)0000-0002-9692-5678 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05529-5">https://doi.org/10.1007/978-3-030-05529-5</a><br/>Format: Electronic Resources<br/>Availability 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–11, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4852822026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4853042026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21759-4">https://doi.org/10.1007/978-3-030-21759-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Economics of Grids, Clouds, Systems, and Services 15th International Conference, GECON 2018, Pisa, Italy, September 18–20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4853232026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Coppola, Massimo. editor. (orcid)0000-0002-7937-4157 Carlini, Emanuele. editor. (orcid)0000-0003-3643-5404 D’Agostino, Daniele. editor. (orcid)0000-0003-2649-0071 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-13342-9">https://doi.org/10.1007/978-3-030-13342-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4856992026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4835472026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4861302026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4862742026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Multi-Agent Systems 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4863482026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Weyns, Danny. editor. (orcid)0000-0002-1162-0817 Mascardi, Viviana. editor. (orcid)0000-0002-2261-9926 Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25693-7">https://doi.org/10.1007/978-3-030-25693-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automotive Systems and Software Engineering State of the Art and Future Trendsent://SD_ILS/0/SD_ILS:4863782026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12157-0">https://doi.org/10.1007/978-3-030-12157-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering Workshops CAiSE 2019 International Workshops, Rome, Italy, June 3-7, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4866042026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Stirna, Janis. editor. (orcid)0000-0002-3669-832X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20948-3">https://doi.org/10.1007/978-3-030-20948-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Information Systems 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4866072026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Abramowicz, Witold. editor. (orcid)0000-0001-5464-9698 Corchuelo, Rafael. editor. (orcid)0000-0003-1563-6979 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20482-2">https://doi.org/10.1007/978-3-030-20482-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems Engineering in Responsible Information Systems CAiSE Forum 2019, Rome, Italy, June 3–7, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4866122026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Cappiello, Cinzia. editor. (orcid)0000-0001-6062-5174 Ruiz, Marcela. editor. (orcid)0000-0002-0592-1779 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21297-1">https://doi.org/10.1007/978-3-030-21297-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4866152026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22888-0">https://doi.org/10.1007/978-3-030-22888-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Information Systems 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4869082026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Abramowicz, Witold. editor. (orcid)0000-0001-5464-9698 Corchuelo, Rafael. editor. (orcid)0000-0003-1563-6979 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20485-3">https://doi.org/10.1007/978-3-030-20485-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4870292026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28005-5">https://doi.org/10.1007/978-3-030-28005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4827462026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Adaptive Software Systems Communications of NII Shonan Meetingsent://SD_ILS/0/SD_ILS:4833442026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Yu, Yijun. editor. Bandara, Arosha. editor. Honiden, Shinichi. editor. Hu, Zhenjiang. editor. Tamai, Tetsuo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2185-6">https://doi.org/10.1007/978-981-13-2185-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838292026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Biomedical Engineering Systems and Technologies 11th International Joint Conference, BIOSTEC 2018, Funchal, Madeira, Portugal, January 19–21, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4838392026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Cliquet Jr., Alberto. editor. Wiebe, Sheldon. editor. Anderson, Paul. editor. Saggio, Giovanni. editor. Zwiggelaar, Reyer. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29196-9">https://doi.org/10.1007/978-3-030-29196-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838672026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Security and Quality in Cyber-Physical Systems Engineering With Forewords by Robert M. Lee and Tom Gilbent://SD_ILS/0/SD_ILS:4853802026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Eckhart, Matthias. editor. Lüder, Arndt. editor. Weippl, Edgar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25312-7">https://doi.org/10.1007/978-3-030-25312-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computing and Communication Systems in Urban Development A Detailed Perspectiveent://SD_ILS/0/SD_ILS:4854082026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Haldorai, Anandakumar. author. (orcid)0000-0001-9975-6462 Ramu, Arulmurugan. author. (orcid)0000-0003-1030-9565 Murugan, Suriya. author. (orcid)0000-0002-8130-7228 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26013-2">https://doi.org/10.1007/978-3-030-26013-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4854182026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001 Sanguinetti, Guido. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31304-3">https://doi.org/10.1007/978-3-030-31304-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4858202026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35092-5">https://doi.org/10.1007/978-3-030-35092-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3990182026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351 Lee, Gyu M. editor. (orcid)0000-0001-5466-6244 Park, Jinwoo. editor. Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99707-0">https://doi.org/10.1007/978-3-319-99707-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994032026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Miller, Tim. editor. (orcid)0000-0003-4908-6063 Oren, Nir. editor. (orcid)0000-0002-4854-9014 Sakurai, Yuko. editor. (orcid)0000-0002-0642-3878 Noda, Itsuki. editor. (orcid)0000-0003-1987-5336 Savarimuthu, Bastin Tony Roy. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03098-8">https://doi.org/10.1007/978-3-030-03098-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995712026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92375-8">https://doi.org/10.1007/978-3-319-92375-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3998232026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Blanc-Talon, Jacques. editor. Helbert, David. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01449-0">https://doi.org/10.1007/978-3-030-01449-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Collaborative Networks of Cognitive Systems 19th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2018, Cardiff, UK, September 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999852026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 Rezgui, Yacine. editor. (orcid)0000-0002-5711-8400 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99127-6">https://doi.org/10.1007/978-3-319-99127-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:3998512026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor El Fallah-Seghrouchni, Amal. editor. Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092 Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91899-0">https://doi.org/10.1007/978-3-319-91899-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4000752026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4001242026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02671-4">https://doi.org/10.1007/978-3-030-02671-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lecturesent://SD_ILS/0/SD_ILS:4002632026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4003222026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Demazeau, Yves. editor. An, Bo. editor. (orcid)0000-0002-7064-7438 Bajo, Javier. editor. Fernández-Caballero, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94580-4">https://doi.org/10.1007/978-3-319-94580-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4008122026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor German, Reinhard. editor. Hielscher, Kai-Steffen. editor. Krieger, Udo R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74947-1">https://doi.org/10.1007/978-3-319-74947-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implantable Sensors and Systems From Theory to Practiceent://SD_ILS/0/SD_ILS:4008642026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Yang, Guang-Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69748-2">https://doi.org/10.1007/978-3-319-69748-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems in the Big Data Era CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4012372026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Mendling, Jan. editor. (orcid)0000-0002-7260-524X Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92901-9">https://doi.org/10.1007/978-3-319-92901-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Information Systems 21st International Conference, BIS 2018, Berlin, Germany, July 18-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4026962026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Abramowicz, Witold. editor. (orcid)0000-0001-5464-9698 Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93931-5">https://doi.org/10.1007/978-3-319-93931-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:3991132026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794 Argente, Estefanía. editor. (orcid)0000-0002-5431-3868 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01713-2">https://doi.org/10.1007/978-3-030-01713-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3992652026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Češka, Milan. editor. (orcid)0000-0002-0300-9727 Šafránek, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99429-1">https://doi.org/10.1007/978-3-319-99429-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:3993972026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994222026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994942026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Larrucea, Xabier. editor. Santamaria, Izaskun. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97925-0">https://doi.org/10.1007/978-3-319-97925-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3995052026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351 Lee, Gyu M. editor. (orcid)0000-0001-5466-6244 Park, Jinwoo. editor. Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99704-9">https://doi.org/10.1007/978-3-319-99704-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Trends and Future Technology in Applied Intelligence 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995892026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Mouhoub, Malek. editor. Sadaoui, Samira. editor. Ait Mohamed, Otmane. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92058-0">https://doi.org/10.1007/978-3-319-92058-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems: Research, Development, Applications, Education 11th SIGSAND/PLAIS EuroSymposium 2018, Gdansk, Poland, September 20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3997112026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Wrycza, Stanisław. editor. (orcid)0000-0001-7699-6631 Maślankowski, Jacek. editor. (orcid)0000-0003-0357-2736 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00060-8">https://doi.org/10.1007/978-3-030-00060-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4002302026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4002472026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Ganapathy, Vinod. editor. Jaeger, Trent. editor. Shyamasundar, R.K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05171-6">https://doi.org/10.1007/978-3-030-05171-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Secure Systems – IoT and Analytics Perspective Second International Conference on Intelligent Information Technologies. ICIIT 2017, Chennai, India, December 20-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4004282026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Venkataramani, Guru Prasadh. editor. Sankaranarayanan, Karthik. editor. Mukherjee, Saswati. editor. Arputharaj, Kannan. editor. Sankara Narayanan, Swamynathan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7635-0">https://doi.org/10.1007/978-981-10-7635-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4006052026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4006412026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Quality: Methods and Tools for Better Software and Systems 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4012112026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71440-0">https://doi.org/10.1007/978-3-319-71440-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering Workshops CAiSE 2018 International Workshops, Tallinn, Estonia, June 11-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4012342026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Matulevičius, Raimundas. editor. Dijkman, Remco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92898-2">https://doi.org/10.1007/978-3-319-92898-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4013122026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92612-4">https://doi.org/10.1007/978-3-319-92612-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4013372026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Bonomi, Silvia. editor. Rivière, Etienne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93767-0">https://doi.org/10.1007/978-3-319-93767-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4014572026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor de Cos Juez, Francisco Javier. editor. Villar, José Ramón. editor. de la Cal, Enrique A. editor. Herrero, Álvaro. editor. Quintián, Héctor. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92639-1">https://doi.org/10.1007/978-3-319-92639-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4015722026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Adu-Kankam, Kankam O. editor. (orcid)0000-0001-8572-1170 Julashokri, Mohammad. editor. (orcid)0000-0003-0012-9456 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78574-5">https://doi.org/10.1007/978-3-319-78574-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Information Systems 19th International Conference, ICEIS 2017, Porto, Portugal, April 26-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4015462026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Hammoudi, Slimane. editor. Śmiałek, Michał. editor. Camp, Olivier. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93375-7">https://doi.org/10.1007/978-3-319-93375-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Context-Aware Systems and Applications, and Nature of Computation and Communication 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4019802026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Cong Vinh, Phan. editor. Ha Huy Cuong, Nguyen. editor. Vassev, Emil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77818-1">https://doi.org/10.1007/978-3-319-77818-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4023132026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72971-8">https://doi.org/10.1007/978-3-319-72971-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4025552026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Halloy, José. editor. Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Lepora, Nathan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95972-6">https://doi.org/10.1007/978-3-319-95972-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995152026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995372026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Science XXXI Special Issue on Signal Processing and Security in Distributed Systemsent://SD_ILS/0/SD_ILS:3997392026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-56499-8">https://doi.org/10.1007/978-3-662-56499-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthdayent://SD_ILS/0/SD_ILS:3998612026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999622026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01042-3">https://doi.org/10.1007/978-3-030-01042-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ICT Systems Security and Privacy Protection 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4000452026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Janczewski, Lech Jan. editor. (orcid)0000-0003-3319-924X Kutyłowski, Mirosław. editor. (orcid)0000-0003-3192-2430 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99828-2">https://doi.org/10.1007/978-3-319-99828-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4001022026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Li, Kang. editor. Zhang, Jianhua. editor. Chen, Minyou. editor. Yang, Zhile. editor. Niu, Qun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2381-2">https://doi.org/10.1007/978-981-13-2381-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Transport Systems – From Research and Development to the Market Uptake First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4001532026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Kováčiková, Tatiana. editor. Buzna, Ľuboš. editor. Pourhashem, Ghadir. editor. Lugano, Giuseppe. editor. Cornet, Yannick. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93710-6">https://doi.org/10.1007/978-3-319-93710-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4003432026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99154-2">https://doi.org/10.1007/978-3-319-99154-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accessesent://SD_ILS/0/SD_ILS:4003502026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor H. M. Cruz, Eduardo. author. Diener, Matthias. author. O. A. Navaux, Philippe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91074-1">https://doi.org/10.1007/978-3-319-91074-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005532026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03232-6">https://doi.org/10.1007/978-3-030-03232-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise, Business-Process and Information Systems Modeling 19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4013662026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Gulden, Jens. editor. (orcid)0000-0003-4824-8569 Reinhartz-Berger, Iris. editor. (orcid)0000-0002-1419-4905 Schmidt, Rainer. editor. Guerreiro, Sérgio. editor. (orcid)0000-0002-8627-3338 Guédria, Wided. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91704-7">https://doi.org/10.1007/978-3-319-91704-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cloud Infrastructures, Services, and IoT Systems for Smart Cities Second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20–21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4018752026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Longo, Antonella. editor. Zappatore, Marco. editor. Villari, Massimo. editor. Rana, Omer. editor. Bruneo, Dario. editor. (orcid)0000-0002-6080-9077<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67636-4">https://doi.org/10.1007/978-3-319-67636-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Biomedical Engineering Systems and Technologies 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4022272026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Peixoto, Nathalia. editor. Silveira, Margarida. editor. Ali, Hesham H. editor. Maciel, Carlos. editor. van den Broek, Egon L. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94806-5">https://doi.org/10.1007/978-3-319-94806-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6110562026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Traore, Issa. editor. Woungang, Isaac. editor. Awad, Ahmed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69155-8">https://doi.org/10.1007/978-3-319-69155-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6110892026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Mařík, Vladimír. editor. Wahlster, Wolfgang. editor. Strasser, Thomas. editor. Kadera, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64635-0">https://doi.org/10.1007/978-3-319-64635-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6120442026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68499-4">https://doi.org/10.1007/978-3-319-68499-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agents and Multi-Agent Systems for Health Care 10th International Workshop, A2HC 2017, São Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017, Revised and Extended Selected Papersent://SD_ILS/0/SD_ILS:6120492026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Montagna, Sara. editor. Abreu, Pedro Henriques. editor. (orcid)0000-0002-9278-8194 Giroux, Sylvain. editor. Schumacher, Michael Ignaz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70887-4">https://doi.org/10.1007/978-3-319-70887-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122922026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Cities The Internet of Things, People and Systemsent://SD_ILS/0/SD_ILS:6125022026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Dustdar, Schahram. author. Nastić, Stefan. author. Šćekić, Ognjen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60030-7">https://doi.org/10.1007/978-3-319-60030-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6135322026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67549-7">https://doi.org/10.1007/978-3-319-67549-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6116292026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60042-0">https://doi.org/10.1007/978-3-319-60042-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6120612026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89935-0">https://doi.org/10.1007/978-3-319-89935-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Process Algebras for Petri Nets The Alphabetization of Distributed Systemsent://SD_ILS/0/SD_ILS:6156592026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Gorrieri, Roberto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55559-1">https://doi.org/10.1007/978-3-319-55559-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6159302026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54577-5">https://doi.org/10.1007/978-3-662-54577-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159372026-06-15T05:27:30Z2026-06-15T05:27:30ZAuthor Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60252-3">https://doi.org/10.1007/978-3-319-60252-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>