Search Results for Industry. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dIndustry.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-11-11T01:14:57Z The Software Industry Economic Principles, Strategies, Perspectives ent://SD_ILS/0/SD_ILS:333443 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Buxmann, Peter. author.&#160;Diefenbach, Heiner. author.&#160;Hess, Thomas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333443.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31510-7">http://dx.doi.org/10.1007/978-3-642-31510-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16&ndash;17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483905 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736&#160;Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709&#160;Sherratt, Edel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30690-8">https://doi.org/10.1007/978-3-030-30690-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400031 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Chen, Jessie Y.C. editor.&#160;Fragomeni, Gino. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91584-5">https://doi.org/10.1007/978-3-319-91584-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399018 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351&#160;Lee, Gyu M. editor. (orcid)0000-0001-5466-6244&#160;Park, Jinwoo. editor.&#160;Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187&#160;von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99707-0">https://doi.org/10.1007/978-3-319-99707-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Building Information Modeling Technology Foundations and Industry Practice ent://SD_ILS/0/SD_ILS:399807 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Borrmann, Andr&eacute;. editor.&#160;K&ouml;nig, Markus. editor.&#160;Koch, Christian. editor.&#160;Beetz, Jakob. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92862-3">https://doi.org/10.1007/978-3-319-92862-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399956 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Chiabert, Paolo. editor.&#160;Bouras, Abdelaziz. editor.&#160;No&euml;l, Fr&eacute;d&eacute;ric. editor.&#160;R&iacute;os, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01614-2">https://doi.org/10.1007/978-3-030-01614-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400172 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Mauri, Giancarlo. editor. (orcid)0000-0003-3520-4022&#160;El Yacoubi, Samira. editor. (orcid)0000-0002-8017-5286&#160;Dennunzio, Alberto. editor. (orcid)0000-0003-1420-404X&#160;Nishinari, Katsuhiro. editor.&#160;Manzoni, Luca. editor. (orcid)0000-0001-6312-7728<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99813-8">https://doi.org/10.1007/978-3-319-99813-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Datalog in Academia and Industry Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197298 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Barcel&oacute;, Pablo. editor.&#160;Pichler, Reinhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32925-8">http://dx.doi.org/10.1007/978-3-642-32925-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Defence Industry Applications of Autonomous Agents and Multi-Agent Systems ent://SD_ILS/0/SD_ILS:198098 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;P&#283;chou&#269;ek, Michal. editor.&#160;Thompson, Simon G. editor.&#160;Voos, Holger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-7643-8571-2">http://dx.doi.org/10.1007/978-3-7643-8571-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Applications and Services in the Finance Industry 3rd International Workshop, FinanceCom 2007, Montreal, Canada, December 8, 2007. Revised Papers ent://SD_ILS/0/SD_ILS:188165 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Veit, Daniel J. editor.&#160;Kundisch, Dennis. editor.&#160;Weitzel, Tim. editor.&#160;Weinhardt, Christof. editor.&#160;Rabhi, Fethi A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78550-7">http://dx.doi.org/10.1007/978-3-540-78550-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Platform Based Design at the Electronic System Level Industry Perspectives and Experiences ent://SD_ILS/0/SD_ILS:169385 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Burton, Mark. author.&#160;Morawiec, Adam. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-5138-7">http://dx.doi.org/10.1007/1-4020-5138-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Vibrations of Rotating Machinery Volume 2. Advanced Rotordynamics: Applications of Analysis, Troubleshooting and Diagnosis ent://SD_ILS/0/SD_ILS:484970 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Matsushita, Osami. author.&#160;Tanaka, Masato. author.&#160;Kobayashi, Masao. author.&#160;Keogh, Patrick. author.&#160;Kanki, Hiroshi. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-4-431-55453-0">https://doi.org/10.1007/978-4-431-55453-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business 10th International Conference, ICSOB 2019, Jyv&auml;skyl&auml;, Finland, November 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485079 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750&#160;Suoranta, Mari. editor. (orcid)0000-0002-3849-4902&#160;Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200&#160;Tyrv&auml;inen, Pasi. editor. (orcid)0000-0001-7716-3244&#160;Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-33742-1">https://doi.org/10.1007/978-3-030-33742-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fault Prediction Modeling for the Prediction of Number of Software Faults ent://SD_ILS/0/SD_ILS:485780 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Rathore, Santosh Singh. author.&#160;Kumar, Sandeep. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-7131-8">https://doi.org/10.1007/978-981-13-7131-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliability Aspect of Cloud Computing Environment ent://SD_ILS/0/SD_ILS:399144 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Kumar, Vikas. author.&#160;Vidhyalakshmi, R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-3023-0">https://doi.org/10.1007/978-981-13-3023-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18&ndash;19, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399597 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Piskac, Ruzica. editor.&#160;R&uuml;mmer, Philipp. editor. (orcid)0000-0002-2733-7098&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399751 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219&#160;Garlan, David. editor. (orcid)0000-0002-6735-8301&#160;P&eacute;rez, Jennifer. editor. (orcid)0000-0003-3192-7995&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00761-4">https://doi.org/10.1007/978-3-030-00761-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business 9th International Conference, ICSOB 2018, Tallinn, Estonia, June 11&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399925 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Wnuk, Krzysztof. editor.&#160;Brinkkemper, Sjaak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04840-2">https://doi.org/10.1007/978-3-030-04840-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400039 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95162-1">https://doi.org/10.1007/978-3-319-95162-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400040 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95165-2">https://doi.org/10.1007/978-3-319-95165-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17&ndash;22, 2017, Tutorial Lectures ent://SD_ILS/0/SD_ILS:400263 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400465 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Stamelos, Ioannis. editor.&#160;O'Connor, Rory V. editor.&#160;Rout, Terry. editor.&#160;Dorling, Alec. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00623-5">https://doi.org/10.1007/978-3-030-00623-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2&ndash;5, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:400571 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95171-3">https://doi.org/10.1007/978-3-319-95171-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14&ndash;20, 2018. Proceedings ent://SD_ILS/0/SD_ILS:400607 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Baier, Christel. editor. (orcid)0000-0002-5321-9343&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400547 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931&#160;Schneider, Kurt. editor.&#160;Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X&#160;Amasaki, Sousuke. editor.&#160;Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03673-7">https://doi.org/10.1007/978-3-030-03673-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Lectures on Runtime Verification Introductory and Advanced Topics ent://SD_ILS/0/SD_ILS:400774 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601&#160;Falcone, Yli&egrave;s. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75632-5">https://doi.org/10.1007/978-3-319-75632-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2&ndash;5, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:402376 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95168-3">https://doi.org/10.1007/978-3-319-95168-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V ent://SD_ILS/0/SD_ILS:402377 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95174-4">https://doi.org/10.1007/978-3-319-95174-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399218 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Johnsen, Einar Broch. editor.&#160;Schaefer, Ina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399356 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Sun, Jing. editor.&#160;Sun, Meng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399365 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:399366 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399397 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399410 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399494 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Larrucea, Xabier. editor.&#160;Santamaria, Izaskun. editor.&#160;O'Connor, Rory V. editor.&#160;Messnarz, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97925-0">https://doi.org/10.1007/978-3-319-97925-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399505 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351&#160;Lee, Gyu M. editor. (orcid)0000-0001-5466-6244&#160;Park, Jinwoo. editor.&#160;Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187&#160;von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99704-9">https://doi.org/10.1007/978-3-319-99704-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Study Guide to the ISTQB&reg; Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams ent://SD_ILS/0/SD_ILS:399773 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Roman, Adam. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98740-8">https://doi.org/10.1007/978-3-319-98740-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400075 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481&#160;Bensalem, Saddek. editor.&#160;Bliudze, Simon. editor. (orcid)0000-0002-7900-5271&#160;Monsuez, Bruno. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 21st International Conference, FASE 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:400129 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Russo, Alessandra. editor. (orcid)0000-0002-3318-8711&#160;Sch&uuml;rr, Andy. editor. (orcid)0000-0001-8100-1109&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89363-1">https://doi.org/10.1007/978-3-319-89363-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400131 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Podelski, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400230 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Howar, Falk. editor.&#160;Barnat, Ji&#345;&iacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400265 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Medina, Manel. editor.&#160;Mitrakas, Andreas. editor.&#160;Rannenberg, Kai. editor.&#160;Schweighofer, Erich. editor.&#160;Tsouroulas, Nikolaos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02547-2">https://doi.org/10.1007/978-3-030-02547-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10&ndash;13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400554 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Colombo, Christian. editor.&#160;Leucker, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9&ndash;11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401110 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Gallagher, John P. editor. (orcid)0000-0001-6984-7419&#160;Sulzmann, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401565 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952&#160;Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92997-2">https://doi.org/10.1007/978-3-319-92997-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401698 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Dubois, Catherine. editor.&#160;Wolff, Burkhart. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92994-1">https://doi.org/10.1007/978-3-319-92994-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401949 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business. From Physical Products to Software Services and Solutions 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334783 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Herzwurm, Georg. editor.&#160;Margaria, Tiziana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334783.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39336-5">http://dx.doi.org/10.1007/978-3-642-39336-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196951 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Cusumano, Michael A. editor.&#160;Iyer, Bala. editor.&#160;Venkatraman, N. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30746-1">http://dx.doi.org/10.1007/978-3-642-30746-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Seductive Computer Why IT Systems Always Fail ent://SD_ILS/0/SD_ILS:176266 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Partridge, Derek. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84996-498-2">http://dx.doi.org/10.1007/978-1-84996-498-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software engineering best practices lessons from successful projects in the top companies ent://SD_ILS/0/SD_ILS:293337 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Jones, Capers.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/software-engineering-best-practices">Subscription required</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-orientierte Architekturen mit Web Services Konzepte &ndash; Standards &ndash; Praxis ent://SD_ILS/0/SD_ILS:198770 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Melzer, Ingo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2550-8">http://dx.doi.org/10.1007/978-3-8274-2550-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190846 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;O&rsquo;Connor, Rory V. editor.&#160;Baddoo, Nathan. editor.&#160;Cuadrago Gallego, Juan. editor.&#160;Rejas Muslera, Ricardo. editor.&#160;Smolander, Kari. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04133-4">http://dx.doi.org/10.1007/978-3-642-04133-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188816 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;O&rsquo;Connor, Rory V. editor.&#160;Baddoo, Nathan. editor.&#160;Smolander, Kari. editor.&#160;Messnarz, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85936-9">http://dx.doi.org/10.1007/978-3-540-85936-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Government Ict Professionalism and Competences Service Science ent://SD_ILS/0/SD_ILS:164763 2024-11-11T01:14:57Z 2024-11-11T01:14:57Z Author&#160;Mazzeo, Antonino. editor.&#160;Bellini, Roberto. editor.&#160;Motta, Gianmario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-09712-1">http://dx.doi.org/10.1007/978-0-387-09712-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>