Search Results for Critical - Narrowed by: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCritical$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-03-20T22:43:02Z
EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS
ent://SD_ILS/0/SD_ILS:563010
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Hobbs, Chris (Christopher W.)<br/>Preferred Shelf Number QA76.76 .D47<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003598145">https://www.taylorfrancis.com/books/9781003598145</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SafeScrum® – Agile Development of Safety-Critical Software
ent://SD_ILS/0/SD_ILS:399696
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Hanssen, Geir Kjetil. author. Stålhane, Tor. author. Myklebust, Thor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99334-8">https://doi.org/10.1007/978-3-319-99334-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Information Infrastructures Security 19th International Conference, CRITIS 2024, Rome, Italy, September 18-20, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:607516
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Oliva, Gabriele. editor. (orcid)0000-0001-7257-4079 Panzieri, Stefano. editor. (orcid)0000-0002-6042-5479 Hämmerli, Bernhard. editor. (orcid)0000-0001-6251-1154 Pascucci, Federica. editor. (orcid)0000-0002-8226-0716 Faramondi, Luca. editor. (orcid)0000-0002-3750-2405<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84260-3">https://doi.org/10.1007/978-3-031-84260-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Information Infrastructures Security 18th International Conference, CRITIS 2023, Helsinki Region, Finland, September 13-15, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604072
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Pickl, Stefan. editor. (orcid)0000-0001-5549-6259 Hämmerli, Bernhard. editor. (orcid)0000-0001-6251-1154 Mattila, Päivi. editor. (orcid)0000-0002-1683-2392 Sevillano, Annaleena. editor. (orcid)0000-0002-8204-1791 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62139-0">https://doi.org/10.1007/978-3-031-62139-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604788
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68150-9">https://doi.org/10.1007/978-3-031-68150-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484028
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486939
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34647-8">https://doi.org/10.1007/978-3-030-34647-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486683
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615166
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53946-1">https://doi.org/10.1007/978-3-319-53946-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611600
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67113-0">https://doi.org/10.1007/978-3-319-67113-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616527
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45943-1">https://doi.org/10.1007/978-3-319-45943-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Infrastructures: Risk and Vulnerability Assessment in Transportation of Dangerous Goods Transportation by Road and Rail
ent://SD_ILS/0/SD_ILS:612068
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Vamanu, Bogdan I. author. Gheorghe, Adrian V. author. Katina, Polinpapilinho F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30931-6">https://doi.org/10.1007/978-3-319-30931-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617935
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29510-7">https://doi.org/10.1007/978-3-319-29510-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487476
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05416-2">https://doi.org/10.1007/978-3-319-05416-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488936
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10702-8">https://doi.org/10.1007/978-3-319-10702-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335040
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335040.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41010-9">http://dx.doi.org/10.1007/978-3-642-41010-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project
ent://SD_ILS/0/SD_ILS:335577
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Cotroneo, Domenico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335577.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-2772-5">http://dx.doi.org/10.1007/978-88-470-2772-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using Event-B for Critical Device Software Systems
ent://SD_ILS/0/SD_ILS:331181
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331181.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197223
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32469-7">http://dx.doi.org/10.1007/978-3-642-32469-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012
ent://SD_ILS/0/SD_ILS:173458
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2494-8">http://dx.doi.org/10.1007/978-1-4471-2494-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195636
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Salaün, Gwen. editor. Schätz, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24431-5">http://dx.doi.org/10.1007/978-3-642-24431-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers
ent://SD_ILS/0/SD_ILS:194786
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Xenakis, Christos. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21694-7">http://dx.doi.org/10.1007/978-3-642-21694-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Systems Safety Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
ent://SD_ILS/0/SD_ILS:168431
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-133-2">http://dx.doi.org/10.1007/978-0-85729-133-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Making Systems Safer Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010
ent://SD_ILS/0/SD_ILS:176151
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-086-1">http://dx.doi.org/10.1007/978-1-84996-086-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:192634
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Rome, Erich. editor. Bloomfield, Robin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14379-3">http://dx.doi.org/10.1007/978-3-642-14379-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Critical Systems First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings
ent://SD_ILS/0/SD_ILS:192374
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Giese, Holger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13556-9">http://dx.doi.org/10.1007/978-3-642-13556-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193121
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Kowalewski, Stefan. editor. Roveri, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15898-8">http://dx.doi.org/10.1007/978-3-642-15898-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009
ent://SD_ILS/0/SD_ILS:175957
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-349-5">http://dx.doi.org/10.1007/978-1-84882-349-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190565
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Cofer, Darren. editor. Fantechi, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03240-0">http://dx.doi.org/10.1007/978-3-642-03240-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190990
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Alpuente, María. editor. Cook, Byron. editor. Joubert, Christophe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04570-7">http://dx.doi.org/10.1007/978-3-642-04570-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electronics System Design Techniques for Safety Critical Applications
ent://SD_ILS/0/SD_ILS:170397
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Sterpone, Luca. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8979-4">http://dx.doi.org/10.1007/978-1-4020-8979-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188496
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Leue, Stefan. editor. Merino, Pedro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79707-4">http://dx.doi.org/10.1007/978-3-540-79707-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers
ent://SD_ILS/0/SD_ILS:186242
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Basili, Victor R. editor. Rombach, Dieter. editor. Schneider, Kurt. editor. Kitchenham, Barbara. editor. Pfahl, Dietmar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71301-2">http://dx.doi.org/10.1007/978-3-540-71301-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007
ent://SD_ILS/0/SD_ILS:175575
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-806-7">http://dx.doi.org/10.1007/978-1-84628-806-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006
ent://SD_ILS/0/SD_ILS:175422
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-447-3">http://dx.doi.org/10.1007/1-84628-447-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005
ent://SD_ILS/0/SD_ILS:175257
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b139109">http://dx.doi.org/10.1007/b139109</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
IT Crisisology Patterns and Practices Smart Agility for Digital Future
ent://SD_ILS/0/SD_ILS:601612
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
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-981-95-1260-7">https://doi.org/10.1007/978-981-95-1260-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 2
ent://SD_ILS/0/SD_ILS:607837
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Hu, Jiangping. editor. (orcid)0000-0002-7559-8604 Zhang, Jin. editor. (orcid)0000-0002-7464-2247 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-3161-2">https://doi.org/10.1007/978-981-96-3161-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7-10, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:607901
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Hess, Anne. editor. (orcid)0000-0001-7614-5802 Susi, Angelo. editor. (orcid)0000-0002-5026-7462 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-88531-0">https://doi.org/10.1007/978-3-031-88531-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608842
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93706-4">https://doi.org/10.1007/978-3-031-93706-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security and Privacy in Smart Environments
ent://SD_ILS/0/SD_ILS:605758
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Pitropakis, Nikolaos. editor. (orcid)0000-0002-3392-9970 Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66708-4">https://doi.org/10.1007/978-3-031-66708-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 1
ent://SD_ILS/0/SD_ILS:607585
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Hu, Jiangping. editor. (orcid)0000-0002-7559-8604 Zhang, Jin. editor. (orcid)0000-0002-7464-2247 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-3013-4">https://doi.org/10.1007/978-981-96-3013-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606203
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77382-2">https://doi.org/10.1007/978-3-031-77382-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602352
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52183-6">https://doi.org/10.1007/978-3-031-52183-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
ent://SD_ILS/0/SD_ILS:604956
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67114-2">https://doi.org/10.1007/978-3-031-67114-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managing Information Technology
ent://SD_ILS/0/SD_ILS:603067
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Castillo, Francisco. author. Monoso, Korina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39016-6">https://doi.org/10.1007/978-3-031-39016-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603672
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60698-4">https://doi.org/10.1007/978-3-031-60698-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperatively Interacting Vehicles Methods and Effects of Automated Cooperation in Traffic
ent://SD_ILS/0/SD_ILS:604577
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Stiller, Christoph. editor. (orcid)0000-0003-4165-2075 Althoff, Matthias. editor. (orcid)0000-0003-3733-842X Burger, Christoph. editor. Deml, Barbara. editor. Eckstein, Lutz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60494-2">https://doi.org/10.1007/978-3-031-60494-2</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-03-20T22:43:02Z
2026-03-20T22:43:02Z
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/>
Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605082
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 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-031-68606-1">https://doi.org/10.1007/978-3-031-68606-1</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-03-20T22:43:02Z
2026-03-20T22:43:02Z
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/>
Challenges of Software Verification
ent://SD_ILS/0/SD_ILS:528145
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Arceri, Vincenzo. editor. Cortesi, Agostino. editor. Ferrara, Pietro. editor. Olliaro, Martina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9601-6">https://doi.org/10.1007/978-981-19-9601-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Knowledge Modelling via Open Linked Ontologies Ontologies in E-Governance
ent://SD_ILS/0/SD_ILS:528881
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Theocharis, Stamatios. author. Tsihrintzis, George A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-20585-9">https://doi.org/10.1007/978-3-031-20585-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning software engineering
ent://SD_ILS/0/SD_ILS:599078
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
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/>
Evolving software processes : trends and future directions
ent://SD_ILS/0/SD_ILS:597323
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Khan, Arif Ali, editor. Le, Dac-Nhuong, 1983- editor.<br/>Preferred Shelf Number QA76.76 .D47<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821779">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821779</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-03-20T22:43:02Z
2026-03-20T22:43:02Z
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/>
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:614260
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66845-1">https://doi.org/10.1007/978-3-319-66845-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:614261
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57288-8">https://doi.org/10.1007/978-3-319-57288-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615972
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Tonetta, Stefano. editor. Schoitsch, Erwin. 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-319-66284-8">https://doi.org/10.1007/978-3-319-66284-8</a><br/>Format: Electronic Resources<br/>Availability 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-20T22:43:02Z
2026-03-20T22:43:02Z
Author Choudrie, Jyoti. editor. (orcid)0000-0001-9349-7690 Islam, M. Sirajul. editor. Wahid, Fathul. editor. Bass, Julian M. editor. Priyatma, Johanes Eka. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Representing Scientific Knowledge The Role of Uncertainty
ent://SD_ILS/0/SD_ILS:611757
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Chen, Chaomei. author. Song, Min. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62543-0">https://doi.org/10.1007/978-3-319-62543-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scaling a Software Business The Digitalization Journey
ent://SD_ILS/0/SD_ILS:612811
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Fitzgerald, Brian. author. Stol, Klaas-Jan. author. (orcid)0000-0002-1038-5050 Minör, Sten. author. Cosmo, Henrik. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53116-8">https://doi.org/10.1007/978-3-319-53116-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Broker and Cloudlet for Workflow Scheduling
ent://SD_ILS/0/SD_ILS:617265
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Youn, Chan-Hyun. author. Chen, Min. author. Dazzi, Patrizio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617528
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Baumeister, Hubert. editor. Lichter, Horst. editor. Riebisch, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57633-6">https://doi.org/10.1007/978-3-319-57633-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:617841
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
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-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Failure-Modes-Based Software Reading
ent://SD_ILS/0/SD_ILS:617952
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Zhu, Yang-Ming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65103-3">https://doi.org/10.1007/978-3-319-65103-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data Technologies and Applications
ent://SD_ILS/0/SD_ILS:614642
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
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/>
Systems, Software and Services Process Improvement 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615588
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Kreiner, Christian. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44817-6">https://doi.org/10.1007/978-3-319-44817-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managing Information Technology
ent://SD_ILS/0/SD_ILS:617693
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Castillo, Francisco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-38891-5">https://doi.org/10.1007/978-3-319-38891-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement and Capability Determination 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:610970
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Clarke, Paul M. editor. (orcid)0000-0002-4487-627X O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-38980-6">https://doi.org/10.1007/978-3-319-38980-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611429
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. 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-319-45480-1">https://doi.org/10.1007/978-3-319-45480-1</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-03-20T22:43:02Z
2026-03-20T22:43:02Z
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/>
Beginning COBOL for Programmers
ent://SD_ILS/0/SD_ILS:618562
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Coughlan, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6254-1">https://doi.org/10.1007/978-1-4302-6254-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Platform Embedded Security Technology Revealed Safeguarding the Future of Computing with Intel Embedded Security and Management Engine
ent://SD_ILS/0/SD_ILS:618584
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Ruan, Xiaoyu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6572-6">https://doi.org/10.1007/978-1-4302-6572-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Linux High Availability Clustering
ent://SD_ILS/0/SD_ILS:618632
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author van Vugt, Sander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0079-7">https://doi.org/10.1007/978-1-4842-0079-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Game Development Tool Essentials
ent://SD_ILS/0/SD_ILS:618683
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Berinstein, Paula. author. Arnaud, Remi. author. Ardolino, Alessandro. author. Franco, Simon. author. Herubel, Adrien. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6701-0">https://doi.org/10.1007/978-1-4302-6701-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social software engineering : development and collaboration with social networking
ent://SD_ILS/0/SD_ILS:546764
2026-03-20T22:43:02Z
2026-03-20T22:43:02Z
Author Keyes, Jessica, 1950, author.<br/>Preferred Shelf Number QA76.758 .K479 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439853764">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>