Search Results for Systems Architecture. - Narrowed by: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bArchitecture.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?
2026-07-21T17:45:32Z
Architecture-Based Design of Multi-Agent Systems
ent://SD_ILS/0/SD_ILS:189871
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Weyns, Danny. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01064-4">http://dx.doi.org/10.1007/978-3-642-01064-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616254
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Knoop, Jens. editor. Karl, Wolfgang. editor. Schulz, Martin. editor. Inoue, Koji. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54999-6">https://doi.org/10.1007/978-3-319-54999-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612464
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Cardoso, João M.P. editor. Pionteck, Thilo. editor. Fey, Dietmar. editor. (orcid)0000-0002-6077-4732 Schröder-Preikschat, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30695-7">https://doi.org/10.1007/978-3-319-30695-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems
ent://SD_ILS/0/SD_ILS:489327
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Biedermann, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-08047-1">https://doi.org/10.1007/978-3-658-08047-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334200
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334200.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36424-2">http://dx.doi.org/10.1007/978-3-642-36424-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196407
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Herkersdorf, Andreas. editor. Römer, Kay. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28293-5">http://dx.doi.org/10.1007/978-3-642-28293-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems - ARCS 2011 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193947
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Berekovic, Mladen. editor. Fornaciari, William. editor. Brinkschulte, Uwe. editor. Silvano, Cristina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19137-4">http://dx.doi.org/10.1007/978-3-642-19137-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems - ARCS 2010 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191846
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Müller-Schloer, Christian. editor. Karl, Wolfgang. editor. Yehia, Sami. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11950-7">http://dx.doi.org/10.1007/978-3-642-11950-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems – ARCS 2009 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189692
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Berekovic, Mladen. editor. Müller-Schloer, Christian. editor. Hochberger, Christian. editor. Wong, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00454-4">http://dx.doi.org/10.1007/978-3-642-00454-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems – ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188044
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Brinkschulte, Uwe. editor. Ungerer, Theo. editor. Hochberger, Christian. editor. Spallek, Rainer G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78153-0">http://dx.doi.org/10.1007/978-3-540-78153-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186230
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Lukowicz, Paul. editor. Thiele, Lothar. editor. Tröster, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71270-1">http://dx.doi.org/10.1007/978-3-540-71270-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183499
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Grass, Werner. editor. Sick, Bernhard. editor. Waldschmidt, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11682127">http://dx.doi.org/10.1007/11682127</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183039
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Beigl, Michael. editor. Lukowicz, Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106632">http://dx.doi.org/10.1007/b106632</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608926
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94569-4">https://doi.org/10.1007/978-3-031-94569-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608927
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94571-7">https://doi.org/10.1007/978-3-031-94571-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Kaczmarek-Heß, Monika. editor. (orcid)0000-0002-1621-2775 Rosenthal, Kristina. editor. (orcid)0000-0002-7698-2130 Suchánek, Marek. editor. (orcid)0000-0001-7525-9218 Da Silva, Miguel Mira. editor. (orcid)0000-0002-0489-4465 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:601939
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Li, Chao. editor. (orcid)0000-0001-6218-4659 Li, Zhenhua. editor. (orcid)0000-0001-7286-122X Shen, Li. editor. (orcid)0000-0001-9043-2998 Wu, Fan. editor. (orcid)0000-0003-0965-9058 Gong, Xiaoli. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7872-4">https://doi.org/10.1007/978-981-99-7872-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Management of Digital EcoSystems 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602492
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Benslimane, Djamal. editor. Zervakis, Michalis. editor. Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Ngyuen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51643-6">https://doi.org/10.1007/978-3-031-51643-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architectures Topics Usually Missed in Textbooks
ent://SD_ILS/0/SD_ILS:603356
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Nagl, Manfred. author. Westfechtel, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51335-0">https://doi.org/10.1007/978-3-031-51335-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605083
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68738-9">https://doi.org/10.1007/978-3-031-68738-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research Challenges in Information Science 18th International Conference, RCIS 2024, Guimarães, Portugal, May 14-17, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:603454
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Araújo, João. editor. (orcid)0000-0001-5914-1631 de la Vara, Jose Luis. editor. (orcid)0000-0003-1813-398X Santos, Maribel Yasmina. editor. (orcid)0000-0002-3249-6229 Assar, Saïd. editor. (orcid)0000-0001-8040-5865 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-59465-6">https://doi.org/10.1007/978-3-031-59465-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research Challenges in Information Science 18th International Conference, RCIS 2024, Guimarães, Portugal, May 14-17, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:603468
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Araújo, João. editor. (orcid)0000-0001-5914-1631 de la Vara, Jose Luis. editor. (orcid)0000-0003-1813-398X Santos, Maribel Yasmina. editor. (orcid)0000-0002-3249-6229 Assar, Saïd. editor. (orcid)0000-0001-8040-5865 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-59468-7">https://doi.org/10.1007/978-3-031-59468-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet Computing Principles of Distributed Systems and Emerging Internet-Based Technologies
ent://SD_ILS/0/SD_ILS:604850
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Sunyaev, Ali. author. (orcid)0000-0002-4353-8519 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61014-1">https://doi.org/10.1007/978-3-031-61014-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603161
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57259-3">https://doi.org/10.1007/978-3-031-57259-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603826
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Santoro, Flavia. editor. (orcid)0000-0003-3421-1984 Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712 Soffer, Pnina. editor. (orcid)0000-0003-4659-883X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61057-8">https://doi.org/10.1007/978-3-031-61057-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning software engineering
ent://SD_ILS/0/SD_ILS:599078
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Stephens, Rod, author.<br/>Preferred Shelf Number QA76.758 .S74 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems engineering of software-enabled systems
ent://SD_ILS/0/SD_ILS:595142
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Fairley, R. E. (Richard E.), 1937- author.<br/>Preferred Shelf Number QA76.758<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Modeling with UML Code Generation, Testing, Refactoring
ent://SD_ILS/0/SD_ILS:617166
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Rumpe, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58862-9">https://doi.org/10.1007/978-3-319-58862-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Software Engineering From Fundamentals to Application Methods
ent://SD_ILS/0/SD_ILS:617836
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57750-0">https://doi.org/10.1007/978-3-319-57750-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Distributed Simulation with HLA
ent://SD_ILS/0/SD_ILS:611689
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61267-6">https://doi.org/10.1007/978-3-319-61267-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
ent://SD_ILS/0/SD_ILS:612946
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54325-3">https://doi.org/10.1007/978-3-319-54325-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616225
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Dubois, Eric. editor. Pohl, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59536-8">https://doi.org/10.1007/978-3-319-59536-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings
ent://SD_ILS/0/SD_ILS:615500
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Nakajima, Shin. editor. Talpin, Jean-Pierre. editor. Toyoshima, Masumi. editor. Yu, Huafeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4436-6">https://doi.org/10.1007/978-981-10-4436-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data Technologies and Applications
ent://SD_ILS/0/SD_ILS:614642
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Furht, Borko. author. Villanustre, Flavio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44550-2">https://doi.org/10.1007/978-3-319-44550-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture in Action Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard
ent://SD_ILS/0/SD_ILS:617519
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Oquendo, Flavio. author. Leite, Jair. author. Batista, Thaís. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44339-3">https://doi.org/10.1007/978-3-319-44339-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
ent://SD_ILS/0/SD_ILS:617799
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Herdt, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-12680-3">https://doi.org/10.1007/978-3-658-12680-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Simulation A Model Driven Engineering Approach
ent://SD_ILS/0/SD_ILS:611189
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination of Complex Sociotechnical Systems Self-organisation of Knowledge in MoK
ent://SD_ILS/0/SD_ILS:611371
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Mariani, Stefano. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Production Management Systems. Initiatives for a Sustainable World IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610973
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Nääs, Irenilza. editor. Vendrametto, Oduvaldo. editor. Mendes Reis, João. editor. Gonçalves, Rodrigo Franco. editor. Silva, Márcia Terra. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51133-7">https://doi.org/10.1007/978-3-319-51133-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Architecture An Ordinary Engineering Discipline
ent://SD_ILS/0/SD_ILS:612989
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Paul, Wolfgang J. author. Baumann, Christoph. author. Lutsyk, Petro. author. Schmaltz, Sabine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43065-2">https://doi.org/10.1007/978-3-319-43065-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving
ent://SD_ILS/0/SD_ILS:615793
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33361-8">https://doi.org/10.1007/978-3-319-33361-8</a><br/>Format: Electronic Resources<br/>Availability 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-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bouchenak, Sara. editor. Kopetz, Hermann. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXVII
ent://SD_ILS/0/SD_ILS:616160
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-50412-3">https://doi.org/10.1007/978-3-662-50412-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Design for Resilient Computer Systems
ent://SD_ILS/0/SD_ILS:617729
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29465-0">https://doi.org/10.1007/978-3-319-29465-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Crisis Management for Software Development and Knowledge Transfer
ent://SD_ILS/0/SD_ILS:618199
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Zykov, Sergey V. author. (orcid)0000-0002-2115-5461 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42966-3">https://doi.org/10.1007/978-3-319-42966-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computers, Software Engineering, and Digital Devices
ent://SD_ILS/0/SD_ILS:542493
2026-07-21T17:45:32Z
2026-07-21T17:45:32Z
Author Dorf, Richard C., author. Taylor and Francis.<br/>Preferred Shelf Number TK7885<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420037050">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>