Search Results for Complex Systems. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComplex$002bSystems.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-21T14:39:05Z Socionics Scalability of Complex Social Systems ent://SD_ILS/0/SD_ILS:182780 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Fischer, Klaus. editor.&#160;Florian, Michael. editor.&#160;Malsch, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11594116">http://dx.doi.org/10.1007/11594116</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rigorous Development of Complex Fault-Tolerant Systems ent://SD_ILS/0/SD_ILS:185062 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Butler, Michael. editor.&#160;Jones, Cliff B. editor.&#160;Romanovsky, Alexander. editor.&#160;Troubitsyna, Elena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11916246">http://dx.doi.org/10.1007/11916246</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering of Complex Computer Systems 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605338 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Bai, Guangdong. editor. (orcid)0000-0002-6390-9890&#160;Ishikawa, Fuyuki. editor. (orcid)0000-0001-7725-2618&#160;Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712&#160;Papadopoulos, George A. editor. (orcid)0000-0001-9250-4916&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66456-4">https://doi.org/10.1007/978-3-031-66456-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Green IT Engineering: Concepts, Models, Complex Systems Architectures ent://SD_ILS/0/SD_ILS:611372 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Kharchenko, Vyacheslav. editor.&#160;Kondratenko, Yuriy. editor.&#160;Kacprzyk, Janusz. 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-44162-7">https://doi.org/10.1007/978-3-319-44162-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination of Complex Sociotechnical Systems Self-organisation of Knowledge in MoK ent://SD_ILS/0/SD_ILS:611371 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Mariani, Stefano. 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-47109-9">https://doi.org/10.1007/978-3-319-47109-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling and Implementation of Complex Systems Proceedings of the 4th International Symposium, MISC 2016, Constantine, Algeria, May 7-8, 2016, Constantine, Algeria ent://SD_ILS/0/SD_ILS:611686 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Chikhi, Salim. editor.&#160;Amine, Abdelmalek. editor.&#160;Chaoui, Allaoua. editor.&#160;Kholladi, Mohamed Khireddine. editor.&#160;Saidouni, Djamel Eddine. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33410-3">https://doi.org/10.1007/978-3-319-33410-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling and Simulation of Complex Systems A Framework for Efficient Agent-Based Modeling and Simulation ent://SD_ILS/0/SD_ILS:488044 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Siegfried, Robert. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-07529-3">https://doi.org/10.1007/978-3-658-07529-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rapid prototyping of software for avionics systems : model-oriented approaches for complex systems certification ent://SD_ILS/0/SD_ILS:342171 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Larrieu, Nicolas, author.&#160;Varet, Antoine, author.<br/>Preferred Shelf Number&#160;ONLINE(342171.1)<br/>Electronic Access&#160;ebrary <a href="http://alltitles.ebrary.com/Doc?id=10954089">An electronic book accessible through the World Wide Web; click to view</a> John Wiley <a href="http://dx.doi.org/10.1002/9781119050643">http://dx.doi.org/10.1002/9781119050643</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Complex IT Systems. Development, Operation and Management 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197466 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Calinescu, Radu. editor.&#160;Garlan, David. 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-34059-8">http://dx.doi.org/10.1007/978-3-642-34059-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Performance Evaluation, Measurement and Characterization of Complex Systems Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193830 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Nambiar, Raghunath. editor.&#160;Poess, Meikel. 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-18206-8">http://dx.doi.org/10.1007/978-3-642-18206-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Self-star Properties in Complex Information Systems Conceptual and Practical Foundations ent://SD_ILS/0/SD_ILS:183081 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Babaoglu, Ozalp. editor.&#160;Jelasity, M&aacute;rk. editor.&#160;Montresor, Alberto. editor.&#160;Fetzer, Christof. editor.&#160;Leonardi, Stefano. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136551">http://dx.doi.org/10.1007/b136551</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling ent://SD_ILS/0/SD_ILS:170051 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Liu, Jiming. author.&#160;Jin, Xiaolong. author.&#160;Tsui, Kwok Ching. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b101185">http://dx.doi.org/10.1007/b101185</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3 ent://SD_ILS/0/SD_ILS:609917 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Silhavy, Radek. editor.&#160;Silhavy, Petr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-96380-3">https://doi.org/10.1007/978-3-031-96380-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing ent://SD_ILS/0/SD_ILS:608484 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Langer, Arthur M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-76212-3">https://doi.org/10.1007/978-3-031-76212-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Design, Operations, and Computing. EDOC 2024 Workshops iRESEARCH, MIDas4CS, Doctoral Consortium, Joint CBI-EDOC Forum and Other Joint CBI-EDOC Events, Vienna, Austria, September 10-13, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607181 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Kaczmarek-He&szlig;, Monika. editor. (orcid)0000-0002-1621-2775&#160;Rosenthal, Kristina. editor. (orcid)0000-0002-7698-2130&#160;Such&aacute;nek, Marek. editor. (orcid)0000-0001-7525-9218&#160;Da Silva, Miguel Mira. editor. (orcid)0000-0002-0489-4465&#160;Proper, Henderik A. editor. (orcid)0000-0002-7318-2496<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-79059-1">https://doi.org/10.1007/978-3-031-79059-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:609226 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97567-7">https://doi.org/10.1007/978-3-031-97567-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III ent://SD_ILS/0/SD_ILS:609246 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97564-6">https://doi.org/10.1007/978-3-031-97564-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday ent://SD_ILS/0/SD_ILS:605669 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Hinchey, Mike. editor.&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73887-6">https://doi.org/10.1007/978-3-031-73887-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career ent://SD_ILS/0/SD_ILS:605668 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Graf, Susanne. editor. (orcid)0000-0003-4354-6807&#160;Pettersson, Paul. editor. (orcid)0000-0003-4040-3480&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73751-0">https://doi.org/10.1007/978-3-031-73751-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V ent://SD_ILS/0/SD_ILS:609229 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97570-7">https://doi.org/10.1007/978-3-031-97570-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:609219 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97573-8">https://doi.org/10.1007/978-3-031-97573-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:609245 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97557-8">https://doi.org/10.1007/978-3-031-97557-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:609244 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97554-7">https://doi.org/10.1007/978-3-031-97554-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering Workshops CAiSE 2025 Workshops, Vienna, Austria, June 16-20, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608909 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Grabis, J&#257;nis. editor. (orcid)0000-0003-2196-0214&#160;Wautelet, Yves. editor. (orcid)0000-0002-6560-9787&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-94931-9">https://doi.org/10.1007/978-3-031-94931-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems ent://SD_ILS/0/SD_ILS:602003 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Babkin, Eduard. author. (orcid)0000-0003-2597-9043&#160;Ulitin, Boris. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-42202-7">https://doi.org/10.1007/978-3-031-42202-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616147 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Nambiar, Raghunath. editor.&#160;Poess, Meikel. 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-54334-5">https://doi.org/10.1007/978-3-319-54334-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies for Development 14th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2017, Yogyakarta, Indonesia, May 22-24, 2017, Proceedings ent://SD_ILS/0/SD_ILS:618367 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Choudrie, Jyoti. editor. (orcid)0000-0001-9349-7690&#160;Islam, M. Sirajul. editor.&#160;Wahid, Fathul. editor.&#160;Bass, Julian M. editor.&#160;Priyatma, Johanes Eka. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-59111-7">https://doi.org/10.1007/978-3-319-59111-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> S-BPM in the Production Industry A Stakeholder Approach ent://SD_ILS/0/SD_ILS:615690 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Neubauer, Matthias. editor.&#160;Stary, Christian. editor. (orcid)0000-0001-9764-5021&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-48466-2">https://doi.org/10.1007/978-3-319-48466-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616761 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Zhang, Lin. editor.&#160;Ren, Lei. editor.&#160;Kordon, Fabrice. 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-61994-1">https://doi.org/10.1007/978-3-319-61994-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612246 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Strichman, Ofer. editor.&#160;Tzoref-Brill, Rachel. 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-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Broker and Cloudlet for Workflow Scheduling ent://SD_ILS/0/SD_ILS:617265 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Youn, Chan-Hyun. author.&#160;Chen, Min. author.&#160;Dazzi, Patrizio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-5071-8">https://doi.org/10.1007/978-981-10-5071-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction. Interaction Contexts 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:617254 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Kurosu, Masaaki. 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-58077-7">https://doi.org/10.1007/978-3-319-58077-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:618419 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;L&ouml;dding, Hermann. editor.&#160;Riedel, Ralph. editor.&#160;Thoben, Klaus-Dieter. editor.&#160;von Cieminski, Gregor. editor.&#160;Kiritsis, Dimitris. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66926-7">https://doi.org/10.1007/978-3-319-66926-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:612092 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;L&ouml;dding, Hermann. editor.&#160;Riedel, Ralph. editor.&#160;Thoben, Klaus-Dieter. editor.&#160;von Cieminski, Gregor. editor.&#160;Kiritsis, Dimitris. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66923-6">https://doi.org/10.1007/978-3-319-66923-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:610820 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Hildebrandt, Thomas. editor.&#160;Ravara, Ant&oacute;nio. editor.&#160;van der Werf, Jan Martijn. editor.&#160;Weidlich, Matthias. 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-33612-1">https://doi.org/10.1007/978-3-319-33612-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tamed Agility Pragmatic Contracting and Collaboration in Agile Software Projects ent://SD_ILS/0/SD_ILS:611904 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Book, Matthias. author.&#160;Gruhn, Volker. author.&#160;Striemer, R&uuml;diger. 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-41478-2">https://doi.org/10.1007/978-3-319-41478-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tangible Interactive Systems Grasping the Real World with Computers ent://SD_ILS/0/SD_ILS:618466 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Boy, Guy Andr&eacute;. 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-30270-6">https://doi.org/10.1007/978-3-319-30270-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architectural Design Conception and Specification of Interactive Systems ent://SD_ILS/0/SD_ILS:617028 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Vissers, Chris A. author.&#160;Pires, Lu&iacute;s Ferreira. author.&#160;Quartel, Dick A.C. author.&#160;van Sinderen, Marten. 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-43298-4">https://doi.org/10.1007/978-3-319-43298-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616994 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Fr&auml;nzle, Martin. editor.&#160;Kapur, Deepak. editor.&#160;Zhan, Naijun. 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-47677-3">https://doi.org/10.1007/978-3-319-47677-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616739 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:613592 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Interoperability VII Enterprise Interoperability in the Digitized and Networked Factory of the Future ent://SD_ILS/0/SD_ILS:611779 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Mertins, Kai. editor.&#160;Jardim-Gon&ccedil;alves, Ricardo. editor.&#160;Popplewell, Keith. editor.&#160;Mendon&ccedil;a, Jo&atilde;o P. 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-30957-6">https://doi.org/10.1007/978-3-319-30957-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611230 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Bloem, Roderick. editor.&#160;Arbel, Eli. 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-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Simulation A Model Driven Engineering Approach ent://SD_ILS/0/SD_ILS:611189 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Top&ccedil;u, Okan. author.&#160;Durak, Umut. author.&#160;O&#287;uzt&uuml;z&uuml;n, Halit. author.&#160;Yilmaz, Levent. 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-03050-0">https://doi.org/10.1007/978-3-319-03050-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real-World Decision Support Systems Case Studies ent://SD_ILS/0/SD_ILS:614627 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Papathanasiou, Jason. editor.&#160;Ploskas, Nikolaos. editor.&#160;Linden, Isabelle. 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-43916-7">https://doi.org/10.1007/978-3-319-43916-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy ent://SD_ILS/0/SD_ILS:615928 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530&#160;Bouchenak, Sara. editor.&#160;Kopetz, Hermann. 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-47590-5">https://doi.org/10.1007/978-3-319-47590-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Running Mainframe z on Distributed Platforms How to Create Robust Cost-Efficient Multiplatform z Environments ent://SD_ILS/0/SD_ILS:618535 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Barrett, Kenneth. author.&#160;Norris, Stephen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6431-6">https://doi.org/10.1007/978-1-4302-6431-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Linux Kernel Networking Implementation and Theory ent://SD_ILS/0/SD_ILS:618627 2026-03-21T14:39:05Z 2026-03-21T14:39:05Z Author&#160;Rosen, Rami. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6197-1">https://doi.org/10.1007/978-1-4302-6197-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>