Search Results for Software - Narrowed by: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300$0026isd$003dtrue?dt=list
2024-10-17T05:35:18Z
Industrial Software Technology
ent://SD_ILS/0/SD_ILS:247738
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Mitchell, R., ed.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1049/PBCM010E">http://dx.doi.org/10.1049/PBCM010E</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Network Engineering
ent://SD_ILS/0/SD_ILS:196505
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28670-4">http://dx.doi.org/10.1007/978-3-642-28670-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ontology-Driven Software Development
ent://SD_ILS/0/SD_ILS:333408
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Pan, Jeff Z. editor. Staab, Steffen. editor. Aßmann, Uwe. editor. Ebert, Jürgen. editor. Zhao, Yuting. editor.<br/>Preferred Shelf Number ONLINE(333408.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31226-7">http://dx.doi.org/10.1007/978-3-642-31226-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Research, Management and Applications
ent://SD_ILS/0/SD_ILS:400088
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61388-8">https://doi.org/10.1007/978-3-319-61388-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality Software Through Reuse and Integration
ent://SD_ILS/0/SD_ILS:402648
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Rubin, Stuart H. editor. Bouabana-Tebibel, Thouraya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56157-8">https://doi.org/10.1007/978-3-319-56157-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Research, Management and Applications
ent://SD_ILS/0/SD_ILS:489349
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-00948-3">https://doi.org/10.1007/978-3-319-00948-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Life Models in Software
ent://SD_ILS/0/SD_ILS:175940
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Komosinski, Maciej. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-285-6">http://dx.doi.org/10.1007/978-1-84882-285-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Self-Adaptive Systems
ent://SD_ILS/0/SD_ILS:190235
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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/>
Software Engineering Research, Management and Applications
ent://SD_ILS/0/SD_ILS:185989
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70561-1">http://dx.doi.org/10.1007/978-3-540-70561-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Experimental Robotics
ent://SD_ILS/0/SD_ILS:185661
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Brugali, Davide. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68951-5">http://dx.doi.org/10.1007/978-3-540-68951-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Life Models in Software
ent://SD_ILS/0/SD_ILS:175318
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-214-4">http://dx.doi.org/10.1007/1-84628-214-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484770
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32409-4">https://doi.org/10.1007/978-3-030-32409-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485980
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format: 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, Proceedings
ent://SD_ILS/0/SD_ILS:486615
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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/>
Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483908
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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/>
Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483739
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35333-9">https://doi.org/10.1007/978-3-030-35333-9</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 Lectures
ent://SD_ILS/0/SD_ILS:484616
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17601-3">https://doi.org/10.1007/978-3-030-17601-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399422
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Synergies Between Knowledge Engineering and Software Engineering
ent://SD_ILS/0/SD_ILS:400019
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Nalepa, Grzegorz J. editor. Baumeister, Joachim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64161-4">https://doi.org/10.1007/978-3-319-64161-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
ent://SD_ILS/0/SD_ILS:400041
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96562-8">https://doi.org/10.1007/978-3-319-96562-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400151
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90421-4">https://doi.org/10.1007/978-3-319-90421-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401978
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77243-1">https://doi.org/10.1007/978-3-319-77243-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402522
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399903
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04771-9">https://doi.org/10.1007/978-3-030-04771-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401951
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74730-9">https://doi.org/10.1007/978-3-319-74730-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:398985
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99241-9">https://doi.org/10.1007/978-3-319-99241-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:487545
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487419
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489284
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44811-3">https://doi.org/10.1007/978-3-662-44811-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484531
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Research,Management and Applications 2011
ent://SD_ILS/0/SD_ILS:195270
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23202-2">http://dx.doi.org/10.1007/978-3-642-23202-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Games, Actions and Social Software Multidisciplinary Aspects
ent://SD_ILS/0/SD_ILS:196670
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29326-9">http://dx.doi.org/10.1007/978-3-642-29326-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Research, Management and Applications 2012
ent://SD_ILS/0/SD_ILS:196893
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30460-6">http://dx.doi.org/10.1007/978-3-642-30460-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Research, Management and Applications 2010
ent://SD_ILS/0/SD_ILS:192281
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Roger. editor. Ormandjieva, Olga. editor. Abran, Alain. editor. Constantinides, Constantinos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13273-5">http://dx.doi.org/10.1007/978-3-642-13273-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Research, Management and Applications 2009
ent://SD_ILS/0/SD_ILS:191272
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05441-9">http://dx.doi.org/10.1007/978-3-642-05441-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ontologies for Software Engineering and Software Technology
ent://SD_ILS/0/SD_ILS:184091
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Calero, Coral. editor. Ruiz, Francisco. editor. Piattini, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-34518-3">http://dx.doi.org/10.1007/3-540-34518-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Agent-Based Applications, Platforms and Development Kits
ent://SD_ILS/0/SD_ILS:197862
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137512">http://dx.doi.org/10.1007/b137512</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Software Science State of the Art and Perspectives
ent://SD_ILS/0/SD_ILS:486069
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
ent://SD_ILS/0/SD_ILS:482889
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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
ent://SD_ILS/0/SD_ILS:483052
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483898
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484877
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28423-7">https://doi.org/10.1007/978-3-030-28423-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483108
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author van Sinderen, Marten. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29157-0">https://doi.org/10.1007/978-3-030-29157-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 II
ent://SD_ILS/0/SD_ILS:484033
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Security and Trust 8th International Conference, POST 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
ent://SD_ILS/0/SD_ILS:484523
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17138-4">https://doi.org/10.1007/978-3-030-17138-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends and Applications in Software Engineering Proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018)
ent://SD_ILS/0/SD_ILS:484601
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Peña, Adriana. editor. Pérez-Cisneros, Marco. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01171-0">https://doi.org/10.1007/978-3-030-01171-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485468
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30275-7">https://doi.org/10.1007/978-3-030-30275-7</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, Proceedings
ent://SD_ILS/0/SD_ILS:487029
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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/>
Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400011
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Garrigós, Irene. editor. Wimmer, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74433-9">https://doi.org/10.1007/978-3-319-74433-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402213
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93641-3">https://doi.org/10.1007/978-3-319-93641-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cybernetics Approaches in Intelligent Systems Computational Methods in Systems and Software 2017, vol. 1
ent://SD_ILS/0/SD_ILS:402598
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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-319-67618-0">https://doi.org/10.1007/978-3-319-67618-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399266
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99972-2">https://doi.org/10.1007/978-3-319-99972-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of 5th International Conference in Software Engineering for Defence Applications SEDA 2016
ent://SD_ILS/0/SD_ILS:399792
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ciancarini, Paolo. editor. Litvinov, Stanislav. editor. Messina, Angelo. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70578-1">https://doi.org/10.1007/978-3-319-70578-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400160
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96418-8">https://doi.org/10.1007/978-3-319-96418-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
ent://SD_ILS/0/SD_ILS:400607
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex, Intelligent, and Software Intensive Systems Proceedings of the 11th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2017)
ent://SD_ILS/0/SD_ILS:401379
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Barolli, Leonard. editor. Terzo, Olivier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61566-0">https://doi.org/10.1007/978-3-319-61566-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards a Synergistic Combination of Research and Practice in Software Engineering
ent://SD_ILS/0/SD_ILS:402061
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Kosiuczenko, Piotr. editor. Madeyski, Lech. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65208-5">https://doi.org/10.1007/978-3-319-65208-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SDN and NFV Security Security Analysis of Software-Defined Networking and Network Function Virtualization
ent://SD_ILS/0/SD_ILS:402404
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Khondoker, Rahamatullah. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71761-6">https://doi.org/10.1007/978-3-319-71761-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends and Applications in Software Engineering Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)
ent://SD_ILS/0/SD_ILS:402692
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Quiñonez, Yadira. editor. Calvo-Manzano, Jose. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69341-5">https://doi.org/10.1007/978-3-319-69341-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2
ent://SD_ILS/0/SD_ILS:399168
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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-319-67621-0">https://doi.org/10.1007/978-3-319-67621-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 II
ent://SD_ILS/0/SD_ILS:400641
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400644
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managing Software Crisis: A Smart Way to Enterprise Agility
ent://SD_ILS/0/SD_ILS:401253
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Zykov, Sergey V. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77917-1">https://doi.org/10.1007/978-3-319-77917-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
ent://SD_ILS/0/SD_ILS:401839
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62048-0">https://doi.org/10.1007/978-3-319-62048-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks
ent://SD_ILS/0/SD_ILS:487929
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Shehory, Onn. editor. Sturm, Arnon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54432-3">https://doi.org/10.1007/978-3-642-54432-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485742
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11854-3">https://doi.org/10.1007/978-3-319-11854-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation
ent://SD_ILS/0/SD_ILS:488361
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Mendes, Emilia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54157-5">https://doi.org/10.1007/978-3-642-54157-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ambient Intelligence - Software and Applications 5th International Symposium on Ambient Intelligence
ent://SD_ILS/0/SD_ILS:488875
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ramos, Carlos. editor. Novais, Paulo. editor. Nihan, Céline Ehrwein. editor. Corchado Rodríguez, Juan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07596-9">https://doi.org/10.1007/978-3-319-07596-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems
ent://SD_ILS/0/SD_ILS:488331
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Wagner, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-05270-6">https://doi.org/10.1007/978-3-658-05270-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012
ent://SD_ILS/0/SD_ILS:333535
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333535.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32172-6">http://dx.doi.org/10.1007/978-3-642-32172-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334820
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334820.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
ent://SD_ILS/0/SD_ILS:334841
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334841.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39721-9">http://dx.doi.org/10.1007/978-3-642-39721-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335064
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335064.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41151-9">http://dx.doi.org/10.1007/978-3-642-41151-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334120
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ambient Intelligence - Software and Applications 4th International Symposium on Ambient Intelligence (ISAmI 2013
ent://SD_ILS/0/SD_ILS:332771
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Berlo, Ad. editor. Hallenborg, Kasper. editor. Rodríguez, Juan M. Corchado. editor. Tapia, Dante I. editor. Novais, Paulo. editor.<br/>Preferred Shelf Number ONLINE(332771.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00566-9">http://dx.doi.org/10.1007/978-3-319-00566-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
ent://SD_ILS/0/SD_ILS:332795
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332795.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00738-0">http://dx.doi.org/10.1007/978-3-319-00738-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332962
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332934
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332934.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Automated Negotiations: Theories, Models, and Software Competitions
ent://SD_ILS/0/SD_ILS:333354
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ito, Takayuki. editor. Zhang, Minjie. editor. Robu, Valentin. editor. Matsuo, Tokuro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333354.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30737-9">http://dx.doi.org/10.1007/978-3-642-30737-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:334055
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334055.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334142
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334142.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36177-7">http://dx.doi.org/10.1007/978-3-642-36177-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
ent://SD_ILS/0/SD_ILS:334556
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334556.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334859
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334859.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39866-7">http://dx.doi.org/10.1007/978-3-642-39866-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335198
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335198.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45260-4">http://dx.doi.org/10.1007/978-3-642-45260-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196275
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27705-4">http://dx.doi.org/10.1007/978-3-642-27705-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197630
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Palmirani, Monica. editor. Pagallo, Ugo. editor. Casanovas, Pompeu. editor. Sartor, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35731-2">http://dx.doi.org/10.1007/978-3-642-35731-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Knowledge Engineering: Theory and Practice Volume 1
ent://SD_ILS/0/SD_ILS:190715
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Wu, Yanwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03718-4">http://dx.doi.org/10.1007/978-3-642-03718-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196520
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Birkedal, Lars. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28729-9">http://dx.doi.org/10.1007/978-3-642-28729-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196526
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ambient Intelligence - Software and Applications 3rd International Symposium on Ambient Intelligence (ISAmI 2012)
ent://SD_ILS/0/SD_ILS:196533
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Novais, Paulo. editor. Hallenborg, Kasper. editor. Tapia, Dante I. editor. Rodríguez, Juan M. Corchado. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28783-1">http://dx.doi.org/10.1007/978-3-642-28783-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:196646
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Krishna, P. Venkata. editor. Babu, M. Rajasekhara. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29216-3">http://dx.doi.org/10.1007/978-3-642-29216-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Software Technologies 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197354
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33308-8">http://dx.doi.org/10.1007/978-3-642-33308-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197437
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33826-7">http://dx.doi.org/10.1007/978-3-642-33826-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197489
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34188-5">http://dx.doi.org/10.1007/978-3-642-34188-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Centered Software Engineering 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197508
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Winckler, Marco. editor. Forbrig, Peter. editor. Bernhaupt, Regina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34347-6">http://dx.doi.org/10.1007/978-3-642-34347-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197587
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35267-6">http://dx.doi.org/10.1007/978-3-642-35267-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194172
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19835-9">http://dx.doi.org/10.1007/978-3-642-19835-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ambient Intelligence - Software and Applications 2nd International Symposium on Ambient Intelligence (ISAmI 2011)
ent://SD_ILS/0/SD_ILS:194207
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Novais, Paulo. editor. Preuveneers, Davy. editor. Corchado, Juan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19937-0">http://dx.doi.org/10.1007/978-3-642-19937-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193711
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Johnson, Michael. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17796-5">http://dx.doi.org/10.1007/978-3-642-17796-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193968
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Gleizes, Marie-Pierre. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19208-1">http://dx.doi.org/10.1007/978-3-642-19208-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194133
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Barthe, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19718-5">http://dx.doi.org/10.1007/978-3-642-19718-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195090
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Weyns, Danny. editor. Gleizes, Marie-Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22636-6">http://dx.doi.org/10.1007/978-3-642-22636-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Third International Conference on Software, Services and Semantic Technologies S3T 2011
ent://SD_ILS/0/SD_ILS:195257
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Dicheva, Darina. editor. Markov, Zdravko. editor. Stefanova, Eliza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23163-6">http://dx.doi.org/10.1007/978-3-642-23163-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195716
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Barthe, Gilles. editor. Pardo, Alberto. editor. Schneider, Gerardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24690-6">http://dx.doi.org/10.1007/978-3-642-24690-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194654
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21292-5">http://dx.doi.org/10.1007/978-3-642-21292-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2011
ent://SD_ILS/0/SD_ILS:194976
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22288-7">http://dx.doi.org/10.1007/978-3-642-22288-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:196127
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Kim, Haeng-kon. editor. Kang, Heau-jo. editor. Kim, Kyung Jung. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27207-3">http://dx.doi.org/10.1007/978-3-642-27207-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Guide to Brain–Computer Interfacing with BCI2000 General-Purpose Software for Brain–Computer Interface Research, Data Acquisition, Stimulus Presentation, and Brain Monitoring
ent://SD_ILS/0/SD_ILS:176153
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Schalk, Gerwin. author. Mellinger, Jürgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-092-2">http://dx.doi.org/10.1007/978-1-84996-092-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191847
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Gordon, Andrew D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11957-6">http://dx.doi.org/10.1007/978-3-642-11957-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191857
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010
ent://SD_ILS/0/SD_ILS:192278
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Roger. editor. Ma, Jixin. editor. Bacon, Liz. editor. Du, Wencai. editor. Petridis, Miltos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13265-0">http://dx.doi.org/10.1007/978-3-642-13265-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multimedia Services in Intelligent Environments Software Development Challenges and Solutions
ent://SD_ILS/0/SD_ILS:192308
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Tsihrintzis, George A. editor. Virvou, Maria. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13355-8">http://dx.doi.org/10.1007/978-3-642-13355-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures
ent://SD_ILS/0/SD_ILS:193003
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15543-7">http://dx.doi.org/10.1007/978-3-642-15543-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192270
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Grunske, Lars. editor. Reussner, Ralf. editor. Plasil, Frantisek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13238-4">http://dx.doi.org/10.1007/978-3-642-13238-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192858
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Leavens, Gary T. editor. O’Hearn, Peter. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15057-9">http://dx.doi.org/10.1007/978-3-642-15057-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193312
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Bernhaupt, Regina. editor. Forbrig, Peter. editor. Gulliksen, Jan. editor. Lárusdóttir, Marta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16488-0">http://dx.doi.org/10.1007/978-3-642-16488-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193314
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Sicilia, Miguel-Angel. editor. Kop, Christian. editor. Sartori, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16496-5">http://dx.doi.org/10.1007/978-3-642-16496-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
ent://SD_ILS/0/SD_ILS:189918
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01203-7">http://dx.doi.org/10.1007/978-3-642-01203-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189961
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Luck, Michael. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01338-6">http://dx.doi.org/10.1007/978-3-642-01338-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
ent://SD_ILS/0/SD_ILS:185988
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70560-4">http://dx.doi.org/10.1007/978-3-540-70560-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188243
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Hendren, Laurie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78791-4">http://dx.doi.org/10.1007/978-3-540-78791-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188453
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Luck, Michael. editor. Padgham, Lin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79488-2">http://dx.doi.org/10.1007/978-3-540-79488-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
ent://SD_ILS/0/SD_ILS:185723
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69149-5">http://dx.doi.org/10.1007/978-3-540-69149-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Software and Data Integration First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188303
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Kutsche, Ralf-Detlef. editor. Milanovic, Nikola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78999-4">http://dx.doi.org/10.1007/978-3-540-78999-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188548
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79980-1">http://dx.doi.org/10.1007/978-3-540-79980-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188928
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Shankar, Natarajan. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87873-5">http://dx.doi.org/10.1007/978-3-540-87873-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Verification and Validation An Engineering and Scientific Approach
ent://SD_ILS/0/SD_ILS:166391
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Fisher, Marcus S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-47939-2">http://dx.doi.org/10.1007/978-0-387-47939-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186219
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71229-9">http://dx.doi.org/10.1007/978-3-540-71229-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
ent://SD_ILS/0/SD_ILS:185699
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69061-0">http://dx.doi.org/10.1007/978-3-540-69061-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications
ent://SD_ILS/0/SD_ILS:186753
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73131-3">http://dx.doi.org/10.1007/978-3-540-73131-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:186111
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70945-9">http://dx.doi.org/10.1007/978-3-540-70945-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:183938
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Müller, Jörg P. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11752660">http://dx.doi.org/10.1007/11752660</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183192
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Dosch, Walter. editor. Lee, Roger Y. editor. Wu, Chisu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11668855">http://dx.doi.org/10.1007/11668855</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183602
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11688839">http://dx.doi.org/10.1007/11688839</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications
ent://SD_ILS/0/SD_ILS:183777
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11738817">http://dx.doi.org/10.1007/11738817</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184283
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Johnson, Michael. editor. Vene, Varmo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11784180">http://dx.doi.org/10.1007/11784180</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182375
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105022">http://dx.doi.org/10.1007/b105022</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications
ent://SD_ILS/0/SD_ILS:182932
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Choren, Ricardo. editor. Garcia, Alessandro. editor. Lucena, Carlos. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106347">http://dx.doi.org/10.1007/b106347</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183056
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Bodik, Rastislav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107108">http://dx.doi.org/10.1007/b107108</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing – ICSOC 2018 Workshops ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485266
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Liu, Xiao. editor. Mrissa, Michael. editor. Zhang, Liang. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Ghose, Aditya. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17642-6">https://doi.org/10.1007/978-3-030-17642-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486578
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486579
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Schewe, Klaus-Dieter. editor. (orcid)0000-0002-8309-1803 Singh, Neeraj Kumar. editor. (orcid)0000-0002-1124-0179 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32065-2">https://doi.org/10.1007/978-3-030-32065-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482869
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30942-8">https://doi.org/10.1007/978-3-030-30942-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484810
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Yangui, Sami. editor. (orcid)0000-0001-9756-642X Bouassida Rodriguez, Ismael. editor. Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Tari, Zahir. editor. (orcid)0000-0002-1235-9673 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33702-5">https://doi.org/10.1007/978-3-030-33702-5</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, Proceedings
ent://SD_ILS/0/SD_ILS:400812
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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/>
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399782
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98938-9">https://doi.org/10.1007/978-3-319-98938-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399472
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399551
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400220
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 Golfarelli, Mattéo. editor. (orcid)0000-0002-0437-0725 Méry, Dominique. editor. (orcid)0000-0001-5231-6611 Ordonez, Carlos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00856-7">https://doi.org/10.1007/978-3-030-00856-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
ent://SD_ILS/0/SD_ILS:401217
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:489416
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44471-9">https://doi.org/10.1007/978-3-662-44471-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484706
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05998-9">https://doi.org/10.1007/978-3-030-05998-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Tutoring Systems 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485196
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Coy, Andre. editor. Hayashi, Yugo. editor. Chang, Maiga. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22244-4">https://doi.org/10.1007/978-3-030-22244-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486324
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services – ICWS 2019 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486325
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Miller, John. editor. Stroulia, Eleni. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23499-7">https://doi.org/10.1007/978-3-030-23499-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483736
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26601-1">https://doi.org/10.1007/978-3-030-26601-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484867
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Gashi, Ilir. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26250-1">https://doi.org/10.1007/978-3-030-26250-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486438
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31095-0">https://doi.org/10.1007/978-3-030-31095-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Services Computing – SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484488
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ferreira, Joao Eduardo. editor. (orcid)0000-0001-9607-2014 Musaev, Aibek. editor. (orcid)0000-0001-5836-8754 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23554-3">https://doi.org/10.1007/978-3-030-23554-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486336
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30048-7">https://doi.org/10.1007/978-3-030-30048-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399700
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98334-9">https://doi.org/10.1007/978-3-319-98334-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399809
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99906-7">https://doi.org/10.1007/978-3-319-99906-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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 I
ent://SD_ILS/0/SD_ILS:400053
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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-02610-3">https://doi.org/10.1007/978-3-030-02610-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:400121
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95246-8">https://doi.org/10.1007/978-3-319-95246-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Tutoring Systems 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401315
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Nkambou, Roger. editor. Azevedo, Roger. editor. Vassileva, Julita. editor. (orcid)0000-0001-5050-3106 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91464-0">https://doi.org/10.1007/978-3-319-91464-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services – ICWS 2018 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399629
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Jin, Hai. editor. Wang, Qingyang. editor. (orcid)0000-0002-5729-2898 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94289-6">https://doi.org/10.1007/978-3-319-94289-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399783
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99229-7">https://doi.org/10.1007/978-3-319-99229-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399794
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99498-7">https://doi.org/10.1007/978-3-319-99498-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399954
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02227-3">https://doi.org/10.1007/978-3-030-02227-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 II
ent://SD_ILS/0/SD_ILS:400124
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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/>
Services Computing – SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401732
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ferreira, João Eduardo. editor. (orcid)0000-0001-9607-2014 Spanoudakis, George. editor. Ma, Yutao. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94376-3">https://doi.org/10.1007/978-3-319-94376-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399444
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Traore, Issa. editor. (orcid)0000-0003-2987-8047 Woungang, Isaac. editor. (orcid)0000-0003-2484-4649 Ahmed, Sherif Saad. editor. Malik, Yasir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03712-3">https://doi.org/10.1007/978-3-030-03712-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, Proceedings
ent://SD_ILS/0/SD_ILS:399537
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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/>
Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485643
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Bikakis, Antonis. editor. Fodor, Paul. editor. Roman, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09870-8">https://doi.org/10.1007/978-3-319-09870-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486932
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54338-8">https://doi.org/10.1007/978-3-642-54338-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:484565
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author O'Sullivan, Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10428-7">https://doi.org/10.1007/978-3-319-10428-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485715
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ait Ameur, Yamine. editor. Bellatreche, Ladjel. editor. Papadopoulos, George A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11587-0">https://doi.org/10.1007/978-3-319-11587-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Algorithms First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487768
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Gupta, Prosenjit. editor. Zaroliagis, Christos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04126-1">https://doi.org/10.1007/978-3-319-04126-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Tutoring Systems 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487486
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Trausan-Matu, Stefan. editor. Boyer, Kristy. editor. Crosby, Martha. editor. Panourgia, Kitty. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07221-0">https://doi.org/10.1007/978-3-319-07221-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-based Supply Network Event Management
ent://SD_ILS/0/SD_ILS:197933
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Zimmermann, Roland. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-7643-7487-X">http://dx.doi.org/10.1007/3-7643-7487-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Organizational Principles for Multi-Agent Architectures
ent://SD_ILS/0/SD_ILS:197848
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Aart, Chris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137137">http://dx.doi.org/10.1007/b137137</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constraint Satisfaction Techniques for Agent-Based Reasoning
ent://SD_ILS/0/SD_ILS:197849
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Neagu, Nicoleta. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137139">http://dx.doi.org/10.1007/b137139</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ontologies for Agents: Theory and Experiences
ent://SD_ILS/0/SD_ILS:197869
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Tamma, Valentina. editor. Cranefield, Stephen. editor. Finin, Timothy W. editor. Willmott, Steven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-7643-7361-X">http://dx.doi.org/10.1007/3-7643-7361-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomy Requirements Engineering for Space Missions
ent://SD_ILS/0/SD_ILS:485641
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Vassev, Emil. author. Hinchey, Mike. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09816-6">https://doi.org/10.1007/978-3-319-09816-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
ent://SD_ILS/0/SD_ILS:175331
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Truszkowski, Walt. author. Hallock, Harold. author. Rouff, Christopher. author. Karlin, Jay. author. Rash, James. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105417">http://dx.doi.org/10.1007/b105417</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent Technology from a Formal Perspective
ent://SD_ILS/0/SD_ILS:175355
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Rouff, Christopher A. editor. Hinchey, Michael. editor. Rash, James. editor. Truszkowski, Walter. editor. Gordon-Spears, Diana. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-271-3">http://dx.doi.org/10.1007/1-84628-271-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Issues in Multi-Agent Systems The AgentCities.ES Experience
ent://SD_ILS/0/SD_ILS:198089
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Moreno, Antonio. editor. Pavón, Juan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8543-9">http://dx.doi.org/10.1007/978-3-7643-8543-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Agent-Based Environmental Management Systems
ent://SD_ILS/0/SD_ILS:198173
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Cortés, Ulises. editor. Poch, Manel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8900-0">http://dx.doi.org/10.1007/978-3-7643-8900-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Defence Industry Applications of Autonomous Agents and Multi-Agent Systems
ent://SD_ILS/0/SD_ILS:198098
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Pěchouček, Michal. editor. Thompson, Simon G. editor. Voos, Holger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8571-2">http://dx.doi.org/10.1007/978-3-7643-8571-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent Technology and e-Health
ent://SD_ILS/0/SD_ILS:198090
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Annicchiarico, Roberta. editor. Cortés, Ulises. editor. Urdiales, Cristina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8547-7">http://dx.doi.org/10.1007/978-3-7643-8547-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive Bidding in Single-Sided Auctions Under Uncertainty An Agent-based Approach in Market Engineering
ent://SD_ILS/0/SD_ILS:198017
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Dinther, Clemens. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8113-4">http://dx.doi.org/10.1007/978-3-7643-8113-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systems
ent://SD_ILS/0/SD_ILS:198053
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Cervenka, Radovan. author. Trencansky, Ivan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8396-1">http://dx.doi.org/10.1007/978-3-7643-8396-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial intelligence and security challenges in emerging networks
ent://SD_ILS/0/SD_ILS:481975
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Abassi, Ryma, 1980- 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-7353-1">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7353-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence in Health First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482665
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Koch, Fernando. editor. (orcid)0000-0001-7136-3253 Koster, Andrew. editor. (orcid)0000-0001-5976-7183 Riaño, David. editor. (orcid)0000-0002-1608-0215 Montagna, Sara. editor. (orcid)0000-0001-5390-4319 Schumacher, Michael. editor. (orcid)0000-0001-6522-4556<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12738-1">https://doi.org/10.1007/978-3-030-12738-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MultiMedia Modeling 25th International Conference, MMM 2019, Thessaloniki, Greece, January 8–11, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:482671
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Kompatsiaris, Ioannis. editor. (orcid)0000-0001-6447-9020 Huet, Benoit. editor. (orcid)0000-0002-0608-6939 Mezaris, Vasileios. editor. Gurrin, Cathal. editor. Cheng, Wen-Huang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05710-7">https://doi.org/10.1007/978-3-030-05710-7</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, Proceedings
ent://SD_ILS/0/SD_ILS:482678
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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/>
Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection 17th International Conference, PAAMS 2019, Ávila, Spain, June 26–28, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482688
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Demazeau, Yves. editor. (orcid)0000-0003-4059-9284 Matson, Eric. editor. Corchado, Juan Manuel. editor. 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-030-24209-1">https://doi.org/10.1007/978-3-030-24209-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:482797
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26369-0">https://doi.org/10.1007/978-3-030-26369-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Graphs and Semantic Web First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482816
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Villazón-Terrazas, Boris. editor. (orcid)0000-0002-8572-7887 Hidalgo-Delgado, Yusniel. editor. (orcid)0000-0001-5763-0669 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21395-4">https://doi.org/10.1007/978-3-030-21395-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
RoboCup 2018: Robot World Cup XXII
ent://SD_ILS/0/SD_ILS:482835
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Holz, Dirk. editor. Genter, Katie. editor. Saad, Maarouf. editor. von Stryk, Oskar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27544-0">https://doi.org/10.1007/978-3-030-27544-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482895
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31019-6">https://doi.org/10.1007/978-3-030-31019-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Decision Theory 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482897
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Pekeč, Saša. editor. Venable, Kristen Brent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31489-7">https://doi.org/10.1007/978-3-030-31489-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning for Medical Image Reconstruction Second International Workshop, MLMIR 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482969
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Knoll, Florian. editor. (orcid)0000-0001-5357-8656 Maier, Andreas. editor. (orcid)0000-0002-9550-5284 Rueckert, Daniel. editor. (orcid)0000-0002-5683-5889 Ye, Jong Chul. editor. (orcid)0000-0001-9763-9609 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33843-5">https://doi.org/10.1007/978-3-030-33843-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:482972
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Barzola-Monteses, Julio. editor. Santos-Baquerizo, Eduardo. editor. Espinoza-Andaluz, Mayken. editor. Yánez-Pazmiño, Wendy. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12018-4">https://doi.org/10.1007/978-3-030-12018-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482979
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-58771-3">https://doi.org/10.1007/978-3-662-58771-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483241
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20528-7">https://doi.org/10.1007/978-3-030-20528-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483256
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Uden, Lorna. editor. Ting, I-Hsien. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21451-7">https://doi.org/10.1007/978-3-030-21451-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:483257
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22102-7">https://doi.org/10.1007/978-3-030-22102-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Transhumanism Handbook
ent://SD_ILS/0/SD_ILS:484618
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lee, Newton. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16920-6">https://doi.org/10.1007/978-3-030-16920-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Information Systems Workshops BIS 2018 International Workshops, Berlin, Germany, July 18–20, 2018, Revised Papers
ent://SD_ILS/0/SD_ILS:484699
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Abramowicz, Witold. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04849-5">https://doi.org/10.1007/978-3-030-04849-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Science, Engineering and Management 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:484700
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Douligeris, Christos. editor. (orcid)0000-0002-6849-6693 Karagiannis, Dimitris. editor. (orcid)0000-0003-2162-9740 Apostolou, Dimitris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29563-9">https://doi.org/10.1007/978-3-030-29563-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Analysis of Images and Patterns CAIP 2019 International Workshops, ViMaBi and DL-UAV, Salerno, Italy, September 6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484709
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Vento, Mario. editor. (orcid)0000-0002-2948-741X Percannella, Gennaro. editor. (orcid)0000-0002-1227-0353 Colantonio, Sara. editor. Giorgi, Daniela. editor. Matuszewski, Bogdan J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29930-9">https://doi.org/10.1007/978-3-030-29930-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Production Management Systems. Towards Smart Production Management Systems IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:484710
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ameri, Farhad. editor. Stecke, Kathryn E. editor. von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055 Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29996-5">https://doi.org/10.1007/978-3-030-29996-5</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 Papers
ent://SD_ILS/0/SD_ILS:484716
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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/>
Digital Libraries for Open Knowledge 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484739
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Doucet, Antoine. editor. Isaac, Antoine. editor. Golub, Koraljka. editor. Aalberg, Trond. editor. (orcid)0000-0001-5593-0860 Jatowt, Adam. editor. (orcid)0000-0001-7235-0665<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30760-8">https://doi.org/10.1007/978-3-030-30760-8</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 Papers
ent://SD_ILS/0/SD_ILS:484749
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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/>
Ambient Intelligence 15th European Conference, AmI 2019, Rome, Italy, November 13–15, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485180
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Chatzigiannakis, Ioannis. editor. (orcid)0000-0001-8955-9270 De Ruyter, Boris. editor. (orcid)0000-0002-2682-7538 Mavrommati, Irene. editor. (orcid)0000-0002-8870-746X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34255-5">https://doi.org/10.1007/978-3-030-34255-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agents and Artificial Intelligence 10th International Conference, ICAART 2018, Funchal, Madeira, Portugal, January 16 – 18, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485204
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05453-3">https://doi.org/10.1007/978-3-030-05453-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485265
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019, Kingston, ON, Canada, May 28–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485274
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Meurs, Marie-Jean. editor. (orcid)0000-0001-8196-2153 Rudzicz, Frank. editor. (orcid)0000-0002-1139-3423 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18305-9">https://doi.org/10.1007/978-3-030-18305-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:485285
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17659-4">https://doi.org/10.1007/978-3-030-17659-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Science, Engineering and Management 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:485308
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Douligeris, Christos. editor. (orcid)0000-0002-6849-6693 Karagiannis, Dimitris. editor. (orcid)0000-0003-2162-9740 Apostolou, Dimitris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29551-6">https://doi.org/10.1007/978-3-030-29551-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational and Corpus-Based Phraseology Third International Conference, Europhras 2019, Malaga, Spain, September 25–27, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485348
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Corpas Pastor, Gloria. editor. Mitkov, Ruslan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30135-4">https://doi.org/10.1007/978-3-030-30135-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics in Adaptive and Personalised Systems Methods, Tools and Applications
ent://SD_ILS/0/SD_ILS:485356
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lops, Pasquale. author. Musto, Cataldo. author. Narducci, Fedelucio. author. Semeraro, Giovanni. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05618-6">https://doi.org/10.1007/978-3-030-05618-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding and Using Rough Set Based Feature Selection: Concepts, Techniques and Applications
ent://SD_ILS/0/SD_ILS:485366
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Raza, Muhammad Summair. author. Qamar, Usman. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-32-9166-9">https://doi.org/10.1007/978-981-32-9166-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics and Computation in Music 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485378
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Montiel, Mariana. editor. (orcid)0000-0002-7859-1547 Gomez-Martin, Francisco. editor. (orcid)0000-0003-3471-3319 Agustín-Aquino, Octavio A. editor. (orcid)0000-0002-0556-6236 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21392-3">https://doi.org/10.1007/978-3-030-21392-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, User Experience, and Usability. Application Domains 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:485390
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23538-3">https://doi.org/10.1007/978-3-030-23538-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Cities, Green Technologies, and Intelligent Transport Systems 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485395
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Donnellan, Brian. editor. Klein, Cornel. editor. Helfert, Markus. editor. Gusikhin, Oleg. editor. Pascoal, António. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02907-4">https://doi.org/10.1007/978-3-030-02907-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485409
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898 Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31140-7">https://doi.org/10.1007/978-3-030-31140-7</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, Proceedings
ent://SD_ILS/0/SD_ILS:485418
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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/>
HCI International 2019 – Late Breaking Posters 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485419
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30712-7">https://doi.org/10.1007/978-3-030-30712-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information in Contemporary Society 14th International Conference, iConference 2019, Washington, DC, USA, March 31–April 3, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485588
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Taylor, Natalie Greene. editor. Christian-Lamb, Caitlin. editor. Martin, Michelle H. editor. Nardi, Bonnie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15742-5">https://doi.org/10.1007/978-3-030-15742-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language, Music and Computing Second International Workshop, LMAC 2017, St. Petersburg, Russia, April 17–19, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485881
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Eismont, Polina. editor. (orcid)0000-0002-0595-1847 Mitrenina, Olga. editor. (orcid)0000-0002-1750-5633 Pereltsvaig, Asya. editor. (orcid)0000-0003-2018-6896 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05594-3">https://doi.org/10.1007/978-3-030-05594-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data Analytics 7th International Conference, BDA 2019, Ahmedabad, India, December 17–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485909
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Madria, Sanjay. editor. Fournier-Viger, Philippe. editor. (orcid)0000-0002-7680-9899 Chaudhary, Sanjay. editor. (orcid)0000-0001-9127-360X Reddy, P. Krishna. editor. (orcid)0000-0003-1238-5174 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-37188-3">https://doi.org/10.1007/978-3-030-37188-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information and Database Systems 11th Asian Conference, ACIIDS 2019, Yogyakarta, Indonesia, April 8–11, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:485977
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Gaol, Ford Lumban. editor. (orcid)0000-0002-5116-5708 Hong, Tzung-Pei. editor. Trawiński, Bogdan. editor. (orcid)0000-0002-2956-6388 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14802-7">https://doi.org/10.1007/978-3-030-14802-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486010
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-0105-0">https://doi.org/10.1007/978-981-15-0105-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Computing in Data Science 5th International Conference, SCDS 2019, Iizuka, Japan, August 28–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486018
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Berry, Michael W. editor. Yap, Bee Wah. editor. Mohamed, Azlinah. editor. Köppen, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-0399-3">https://doi.org/10.1007/978-981-15-0399-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Computing and Social Media. Design, Human Behavior and Analytics 11th International Conference, SCSM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:486099
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Meiselwitz, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21902-4">https://doi.org/10.1007/978-3-030-21902-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Supported Education 10th International Conference, CSEDU 2018, Funchal, Madeira, Portugal, March 15–17, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486106
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author McLaren, Bruce M. editor. Reilly, Rob. editor. Zvacek, Susan. editor. Uhomoibhi, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21151-6">https://doi.org/10.1007/978-3-030-21151-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:486118
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22636-7">https://doi.org/10.1007/978-3-030-22636-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction. Recognition and Interaction Technologies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:486119
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22643-5">https://doi.org/10.1007/978-3-030-22643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:486149
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Tang, Jie. editor. Kan, Min-Yen. editor. Zhao, Dongyan. editor. Li, Sujian. editor. Zan, Hongying. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32233-5">https://doi.org/10.1007/978-3-030-32233-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:486183
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17656-3">https://doi.org/10.1007/978-3-030-17656-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:486327
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Antona, Margherita. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23560-4">https://doi.org/10.1007/978-3-030-23560-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486342
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201 Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X Naegel, Benoît. editor. (orcid)0000-0002-7695-1473 Passat, Nicolas. editor. (orcid)0000-0002-0320-4581 Perret, Benjamin. editor. (orcid)0000-0003-0933-8342<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20867-7">https://doi.org/10.1007/978-3-030-20867-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 12th International Conference, AGI 2019, Shenzhen, China, August 6–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486487
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Hammer, Patrick. editor. Agrawal, Pulin. editor. (orcid)0000-0003-1477-9863 Goertzel, Ben. editor. Iklé, Matthew. editor. (orcid)0000-0001-5978-2703 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27005-6">https://doi.org/10.1007/978-3-030-27005-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
RoboCup 2019: Robot World Cup XXIII
ent://SD_ILS/0/SD_ILS:486550
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Chalup, Stephan. editor. (orcid)0000-0002-7886-3653 Niemueller, Tim. editor. Suthakorn, Jackrit. editor. (orcid)0000-0003-1333-3982 Williams, Mary-Anne. editor. (orcid)0000-0002-1047-0503 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35699-6">https://doi.org/10.1007/978-3-030-35699-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence in Medicine 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486586
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Riaño, David. editor. (orcid)0000-0002-1608-0215 Wilk, Szymon. editor. ten Teije, Annette. editor. (orcid)0000-0002-9771-8822 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21642-9">https://doi.org/10.1007/978-3-030-21642-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Technological Innovation for Industry and Service Systems 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8–10, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486593
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Almeida, Ricardo. editor. (orcid)0000-0003-2432-5670 Oliveira, José. editor. (orcid)0000-0002-9398-8841 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17771-3">https://doi.org/10.1007/978-3-030-17771-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Telematics and Computing 8th International Congress, WITCOM 2019, Merida, Mexico, November 4–8, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486600
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Mata-Rivera, Miguel Felix. editor. (orcid)0000-0001-9714-7137 Zagal-Flores, Roberto. editor. (orcid)0000-0001-5649-6189 Barría-Huidobro, Cristian. editor. (orcid)0000-0002-5840-7407 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33229-7">https://doi.org/10.1007/978-3-030-33229-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486614
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Olvera-López, José Arturo. editor. (orcid)0000-0003-0639-1463 Salas, Joaquín. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21077-9">https://doi.org/10.1007/978-3-030-21077-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Work Interaction Design. Designing Engaging Automation 5th IFIP WG 13.6 Working Conference, HWID 2018, Espoo, Finland, August 20 - 21, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486621
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Barricelli, Barbara Rita. editor. (orcid)0000-0001-9575-5542 Roto, Virpi. editor. (orcid)0000-0002-6880-5636 Clemmensen, Torkil. editor. (orcid)0000-0002-0934-2336 Campos, Pedro. editor. (orcid)0000-0001-7706-5038 Lopes, Arminda. editor. (orcid)0000-0002-1969-9937<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05297-3">https://doi.org/10.1007/978-3-030-05297-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
E-Learning and Games 12th International Conference, Edutainment 2018, Xi'an, China, June 28–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:486627
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author El Rhalibi, Abdennour. editor. Pan, Zhigeng. editor. Jin, Haiyan. editor. Ding, Dandan. editor. Navarro-Newball, Andres A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23712-7">https://doi.org/10.1007/978-3-030-23712-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web – ISWC 2019 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:486630
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965 Hartig, Olaf. editor. (orcid)0000-0002-1741-2090 Maleshkova, Maria. editor. (orcid)0000-0003-3458-4748 Svátek, Vojtěch. editor. (orcid)0000-0002-2256-2982 Cruz, Isabel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30793-6">https://doi.org/10.1007/978-3-030-30793-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Networks 26th International Conference, CN 2019, Kamień Śląski, Poland, June 25–27, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486634
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Gaj, Piotr. editor. (orcid)0000-0002-2291-7341 Sawicki, Michał. editor. (orcid)0000-0002-4610-4249 Kwiecień, Andrzej. editor. (orcid)0000-0003-1447-3303 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21952-9">https://doi.org/10.1007/978-3-030-21952-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Cities, Green Technologies and Intelligent Transport Systems 7th International Conference, SMARTGREENS, and 4th International Conference, VEHITS 2018, Funchal-Madeira, Portugal, March 16-18, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486638
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Donnellan, Brian. editor. Klein, Cornel. editor. Helfert, Markus. editor. Gusikhin, Oleg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26633-2">https://doi.org/10.1007/978-3-030-26633-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Future Network Systems and Security 5th International Conference, FNSS 2019, Melbourne, VIC, Australia, November 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486649
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Doss, Robin. editor. (orcid)0000-0001-6143-6850 Piramuthu, Selwyn. editor. Zhou, Wei. editor. (orcid)0000-0002-9965-9870 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34353-8">https://doi.org/10.1007/978-3-030-34353-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Transformation and Global Society 4th International Conference, DTGS 2019, St. Petersburg, Russia, June 19–21, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486660
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Alexandrov, Daniel A. editor. (orcid)0000-0002-4059-8903 Boukhanovsky, Alexander V. editor. Chugunov, Andrei V. editor. Kabanov, Yury. editor. (orcid)0000-0002-4011-2010 Koltsova, Olessia. editor. (orcid)0000-0002-2669-3154<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-37858-5">https://doi.org/10.1007/978-3-030-37858-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture XI 11th IFIP WG 5.14 International Conference, CCTA 2017, Jilin, China, August 12-15, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:486675
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-06179-1">https://doi.org/10.1007/978-3-030-06179-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Production Management Systems. Production Management for the Factory of the Future IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:486926
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ameri, Farhad. editor. Stecke, Kathryn E. editor. von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055 Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30000-5">https://doi.org/10.1007/978-3-030-30000-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Informatics Second International Conference, ICAI 2019, Madrid, Spain, November 7–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486930
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Florez, Hector. editor. (orcid)0000-0002-5339-4459 Leon, Marcelo. editor. (orcid)0000-0001-6303-6615 Diaz-Nafria, Jose Maria. editor. (orcid)0000-0001-5383-6037 Belli, Simone. editor. (orcid)0000-0001-8934-7569 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32475-9">https://doi.org/10.1007/978-3-030-32475-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482887
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Benmoussa, Rachid. editor. De Guio, Roland. editor. Dubois, Sébastien. editor. (orcid)0000-0003-1501-4977 Koziołek, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32497-1">https://doi.org/10.1007/978-3-030-32497-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Internet Technology 15th International Conference, ICDCIT 2019, Bhubaneswar, India, January 10–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483011
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988 Gopinathan, Sapna. editor. Parida, Laxmi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05366-6">https://doi.org/10.1007/978-3-030-05366-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483032
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17227-5">https://doi.org/10.1007/978-3-030-17227-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Knowledge Discovery and Data Mining 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:483034
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Yang, Qiang. editor. Zhou, Zhi-Hua. editor. Gong, Zhiguo. editor. Zhang, Min-Ling. editor. Huang, Sheng-Jun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16142-2">https://doi.org/10.1007/978-3-030-16142-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Data and Social Networks 8th International Conference, CSoNet 2019, Ho Chi Minh City, Vietnam, November 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483039
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Tagarelli, Andrea. editor. Tong, Hanghang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34980-6">https://doi.org/10.1007/978-3-030-34980-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developing Enterprise Chatbots Learning Linguistic Structures
ent://SD_ILS/0/SD_ILS:483044
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Galitsky, Boris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04299-8">https://doi.org/10.1007/978-3-030-04299-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483296
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26807-7">https://doi.org/10.1007/978-3-030-26807-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483303
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Cristea, Diana. editor. (orcid)0000-0003-1440-3786 Le Ber, Florence. editor. (orcid)0000-0002-2415-7606 Sertkaya, Baris. editor. (orcid)0000-0002-4196-0150 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21462-3">https://doi.org/10.1007/978-3-030-21462-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent-Based Simulation XIX 19th International Workshop, MABS 2018, Stockholm, Sweden, July 14, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483305
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Davidsson, Paul. editor. Verhagen, Harko. editor. (orcid)0000-0002-7937-2944 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22270-3">https://doi.org/10.1007/978-3-030-22270-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Mining and Big Data 4th International Conference, DMBD 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483307
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Tan, Ying. editor. Shi, Yuhui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-32-9563-6">https://doi.org/10.1007/978-981-32-9563-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Data Science Third International Conference on Intelligent Information Technologies, ICIIT 2018, Chennai, India, December 11–14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:483365
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Akoglu, Leman. editor. Ferrara, Emilio. editor. Deivamani, Mallayya. editor. Baeza-Yates, Ricardo. editor. Yogesh, Palanisamy. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-3582-2">https://doi.org/10.1007/978-981-13-3582-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Blended Cognition The Robotic Challenge
ent://SD_ILS/0/SD_ILS:483375
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Vallverdú, Jordi. editor. Müller, Vincent C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03104-6">https://doi.org/10.1007/978-3-030-03104-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:483389
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26951-7">https://doi.org/10.1007/978-3-030-26951-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2019 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:483398
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lamas, David. editor. (orcid)0000-0003-0295-453X Loizides, Fernando. editor. (orcid)0000-0003-0531-6760 Nacke, Lennart. editor. (orcid)0000-0003-4290-8829 Petrie, Helen. editor. (orcid)0000-0002-0100-9846 Winckler, Marco. editor. (orcid)0000-0002-0756-6934<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29381-9">https://doi.org/10.1007/978-3-030-29381-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Massively Multi-Agent Systems II International Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483425
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Lin, Donghui. editor. (orcid)0000-0001-9462-0216 Ishida, Toru. editor. (orcid)0000-0002-0479-4990 Zambonelli, Franco. editor. (orcid)0000-0002-6837-8806 Noda, Itsuki. editor. (orcid)0000-0003-1987-5336 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20937-7">https://doi.org/10.1007/978-3-030-20937-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web – ISWC 2019 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:483468
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965 Hartig, Olaf. editor. (orcid)0000-0002-1741-2090 Maleshkova, Maria. editor. (orcid)0000-0003-3458-4748 Svátek, Vojtěch. editor. (orcid)0000-0002-2256-2982 Cruz, Isabel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30796-7">https://doi.org/10.1007/978-3-030-30796-7</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 Papers
ent://SD_ILS/0/SD_ILS:483592
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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/>
Distributed Computer and Communication Networks 22nd International Conference, DCCN 2019, Moscow, Russia, September 23–27, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483619
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-36614-8">https://doi.org/10.1007/978-3-030-36614-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2019 Workshops, BDM, DLKT, LDRC, PAISI, WeL, Macau, China, April 14–17, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483717
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author U., Leong Hou. editor. Lauw, Hady W. editor. (orcid)0000-0002-8245-8677 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26142-9">https://doi.org/10.1007/978-3-030-26142-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information and Database Systems 11th Asian Conference, ACIIDS 2019, Yogyakarta, Indonesia, April 8–11, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:483723
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Gaol, Ford Lumban. editor. (orcid)0000-0002-5116-5708 Hong, Tzung-Pei. editor. Trawiński, Bogdan. editor. (orcid)0000-0002-2956-6388 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14799-0">https://doi.org/10.1007/978-3-030-14799-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence in Education 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:483734
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Isotani, Seiji. editor. (orcid)0000-0003-1574-0784 Millán, Eva. editor. (orcid)0000-0001-9178-7600 Ogan, Amy. editor. Hastings, Peter. editor. (orcid)0000-0002-0183-001X McLaren, Bruce. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23204-7">https://doi.org/10.1007/978-3-030-23204-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19–21, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483749
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-37386-3">https://doi.org/10.1007/978-3-030-37386-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data Innovations and Applications 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483758
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Younas, Muhammad. editor. Awan, Irfan. editor. Benbernou, Salima. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27355-2">https://doi.org/10.1007/978-3-030-27355-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment
ent://SD_ILS/0/SD_ILS:483759
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X Dix, Jürgen. editor. (orcid)0000-0002-8528-1440 Fiekas, Niklas. editor. (orcid)0000-0002-8369-4890 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-37959-9">https://doi.org/10.1007/978-3-030-37959-9</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, Proceedings
ent://SD_ILS/0/SD_ILS:483886
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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, Proceedings
ent://SD_ILS/0/SD_ILS:483904
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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/>
Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483907
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30806-3">https://doi.org/10.1007/978-3-030-30806-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies First International EURO Mini Conference, MSBC 2019, Vilnius, Lithuania, September 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483874
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Agarwal, Nitin. editor. Sakalauskas, Leonidas. editor. Weber, Gerhard-Wilhelm. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29862-3">https://doi.org/10.1007/978-3-030-29862-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence for Knowledge Management 5th IFIP WG 12.6 International Workshop, AI4KM 2017, Held at IJCAI 2017, Melbourne, VIC, Australia, August 20, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483877
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Mercier-Laurent, Eunika. editor. (orcid)0000-0003-2303-7263 Boulanger, Danielle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29904-0">https://doi.org/10.1007/978-3-030-29904-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PRICAI 2019: Trends in Artificial Intelligence 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:483878
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Nayak, Abhaya C. editor. (orcid)0000-0003-0681-9570 Sharma, Alok. editor. (orcid)0000-0002-7668-3501 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29908-8">https://doi.org/10.1007/978-3-030-29908-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Computing and Social Media. Communication and Social Communities 11th International Conference, SCSM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:484036
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Meiselwitz, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21905-5">https://doi.org/10.1007/978-3-030-21905-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Green, Pervasive, and Cloud Computing 13th International Conference, GPC 2018, Hangzhou, China, May 11-13, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484083
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Li, Shijian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15093-8">https://doi.org/10.1007/978-3-030-15093-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning, Optimization, and Data Science 5th International Conference, LOD 2019, Siena, Italy, September 10–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484099
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Nicosia, Giuseppe. editor. Pardalos, Panos. editor. (orcid)0000-0003-2824-101X Umeton, Renato. editor. (orcid)0000-0002-5561-6932 Giuffrida, Giovanni. editor. Sciacca, Vincenzo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-37599-7">https://doi.org/10.1007/978-3-030-37599-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Health Information Science 8th International Conference, HIS 2019, Xi'an, China, October 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484217
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Wang, Hua. editor. (orcid)0000-0002-8465-0996 Siuly, Siuly. editor. (orcid)0000-0003-2491-0546 Zhou, Rui. editor. (orcid)0000-0001-6807-4362 Martin-Sanchez, Fernando. editor. (orcid)0000-0002-7312-5707 Zhang, Yanchun. editor. (orcid)0000-0002-5094-5980<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32962-4">https://doi.org/10.1007/978-3-030-32962-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484227
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Bebis, George. editor. Benos, Takis. editor. Chen, Ken. editor. Jahn, Katharina. editor. Lima, Ernesto. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35210-3">https://doi.org/10.1007/978-3-030-35210-3</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 Papers
ent://SD_ILS/0/SD_ILS:484228
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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/>
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484655
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24258-9">https://doi.org/10.1007/978-3-030-24258-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web and Big Data Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1–3, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:484665
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author Shao, Jie. editor. Yiu, Man Lung. editor. Toyoda, Masashi. editor. Zhang, Dongxiang. editor. Wang, Wei. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26072-9">https://doi.org/10.1007/978-3-030-26072-9</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, Proceedings
ent://SD_ILS/0/SD_ILS:484678
2024-10-17T05:35:18Z
2024-10-17T05:35:18Z
Author 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/>