Search Results for Time. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTime.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list 2026-03-17T22:15:23Z Time and Petri Nets ent://SD_ILS/0/SD_ILS:335059 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Popova-Zeugmann, Louchka. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335059.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41115-1">http://dx.doi.org/10.1007/978-3-642-41115-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Real-Time Systems Theory and Practice ent://SD_ILS/0/SD_ILS:486558 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Erciyes, K. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22570-4">https://doi.org/10.1007/978-3-030-22570-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models@run.time Foundations, Applications, and Roadmaps ent://SD_ILS/0/SD_ILS:485584 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Bencomo, Nelly. editor.&#160;France, Robert B. editor.&#160;Cheng, Betty H.C. editor.&#160;A&szlig;mann, Uwe. 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-08915-7">https://doi.org/10.1007/978-3-319-08915-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed, Embedded and Real-time Java Systems ent://SD_ILS/0/SD_ILS:173076 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Higuera-Toledano, M. Teresa. editor.&#160;Wellings, Andy J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-8158-5">http://dx.doi.org/10.1007/978-1-4419-8158-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real-Time Systems Design Principles for Distributed Embedded Applications ent://SD_ILS/0/SD_ILS:173097 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Kopetz, Hermann. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-8237-7">http://dx.doi.org/10.1007/978-1-4419-8237-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications ent://SD_ILS/0/SD_ILS:173752 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Buttazzo, Giorgio C. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0676-1">http://dx.doi.org/10.1007/978-1-4614-0676-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Time Series Analysis and Innovative Computing ent://SD_ILS/0/SD_ILS:205310 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Ao, Sio-Iong. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-8768-3">http://dx.doi.org/10.1007/978-90-481-8768-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Soft Real-Time Systems Predictability vs. Efficiency ent://SD_ILS/0/SD_ILS:165478 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Buttazzo, Giorgio. author.&#160;Lipari, Giuseppe. author.&#160;Abeni, Luca. author.&#160;Caccamo, Marco. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28147-9">http://dx.doi.org/10.1007/0-387-28147-9</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-17T22:15:23Z 2026-03-17T22:15:23Z 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/> Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday ent://SD_ILS/0/SD_ILS:399861 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Jones, Cliff. editor.&#160;Wang, Ji. 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-030-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming ent://SD_ILS/0/SD_ILS:400976 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Kormanyos, Christopher. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-56718-0">https://doi.org/10.1007/978-3-662-56718-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysis ent://SD_ILS/0/SD_ILS:610680 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Meisen, Philipp. 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-15728-9">https://doi.org/10.1007/978-3-658-15728-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Time-frequency domain for segmentation and classification of non-stationary signals : the Stockwell Transform applied on bio-signals and electric signals ent://SD_ILS/0/SD_ILS:341996 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Moukadem, Ali, author.&#160;Abdeslam, Djaffar Ould, author.&#160;Dieterlen, Alain, author.<br/>Preferred Shelf Number&#160;ONLINE(341996.1)<br/>Electronic Access&#160;Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=1650849">http://public.eblib.com/choice/publicfullrecord.aspx?p=1650849</a> ebrary <a href="http://site.ebrary.com/id/10849270">http://site.ebrary.com/id/10849270</a> John Wiley <a href="http://dx.doi.org/10.1002/9781118908686">http://dx.doi.org/10.1002/9781118908686</a> MyiLibrary <a href="http://www.myilibrary.com?id=584586">http://www.myilibrary.com?id=584586</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded and Real Time System Development: A Software Engineering Perspective Concepts, Methods and Principles ent://SD_ILS/0/SD_ILS:489296 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Khan, Mohammad Ayoub. editor.&#160;Saeed, Saqib. editor.&#160;Darwish, Ashraf. editor.&#160;Abraham, Ajith. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-40888-5">https://doi.org/10.1007/978-3-642-40888-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro ASP.NET SignalR Real-Time Communication in .NET with SignalR 2.1 ent://SD_ILS/0/SD_ILS:618548 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Nayyeri, Keyvan. author.&#160;White, Darren. 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-6320-3">https://doi.org/10.1007/978-1-4302-6320-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming ent://SD_ILS/0/SD_ILS:333884 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Kormanyos, Christopher Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333884.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34688-0">http://dx.doi.org/10.1007/978-3-642-34688-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193244 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Giese, Holger. editor.&#160;Karsai, Gabor. editor.&#160;Lee, Edward. editor.&#160;Rumpe, Bernhard. editor.&#160;Sch&auml;tz, Bernhard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16277-0">http://dx.doi.org/10.1007/978-3-642-16277-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems ent://SD_ILS/0/SD_ILS:205633 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Lokuciejewski, Paul. author.&#160;Marwedel, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9929-7">http://dx.doi.org/10.1007/978-90-481-9929-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agility Across Time and Space Implementing Agile Methods in Global Software Projects ent://SD_ILS/0/SD_ILS:191998 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;&Scaron;mite, Darja. editor.&#160;Moe, Nils Brede. editor.&#160;&Aring;gerfalk, P&auml;r J. 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-12442-6">http://dx.doi.org/10.1007/978-3-642-12442-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Aktuelle Anwendungen in Technik und Wirtschaft Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 27. und 28. November 2008 ent://SD_ILS/0/SD_ILS:188674 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Halang, Wolfgang A. editor.&#160;Holleczek, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85324-4">http://dx.doi.org/10.1007/978-3-540-85324-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009 ent://SD_ILS/0/SD_ILS:191056 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Halang, Wolfgang A. editor.&#160;Holleczek, Peter. 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-04783-1">http://dx.doi.org/10.1007/978-3-642-04783-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobilit&auml;t und Echtzeit Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time) Boppard, 6./7. Dezember 2007 ent://SD_ILS/0/SD_ILS:187284 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Holleczek, Peter. editor.&#160;Vogel-Heuser, Birgit. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74837-3">http://dx.doi.org/10.1007/978-3-540-74837-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real-Time Object Uniform Design Methodology with UML ent://SD_ILS/0/SD_ILS:169647 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Duc, Bui Minh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-5977-3">http://dx.doi.org/10.1007/978-1-4020-5977-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bj&oslash;rner and Chaochen Zhou on the Occasion of Their 70th Birthdays ent://SD_ILS/0/SD_ILS:187366 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Jones, Cliff B. editor.&#160;Liu, Zhiming. editor.&#160;Woodcock, Jim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75221-9">http://dx.doi.org/10.1007/978-3-540-75221-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II ent://SD_ILS/0/SD_ILS:605987 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I ent://SD_ILS/0/SD_ILS:605988 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017&#160;Knapp, Alexander. editor. (orcid)0000-0002-4050-3249&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605299 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Blaas-Schenner, Claudia. editor.&#160;Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016&#160;Haas, Tobias. 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-73370-3">https://doi.org/10.1007/978-3-031-73370-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607375 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Formenti, Enrico. editor. (orcid)0000-0002-1007-7912&#160;Durand-Lose, J&eacute;r&ocirc;me. editor. (orcid)0000-0001-6506-074X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-81202-6">https://doi.org/10.1007/978-3-031-81202-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III ent://SD_ILS/0/SD_ILS:609023 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Object-based Programming with Go ent://SD_ILS/0/SD_ILS:609332 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Maurer, Christian. 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-44704-5">https://doi.org/10.1007/978-3-658-44704-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CyberSecurity in a DevOps Environment From Requirements to Monitoring ent://SD_ILS/0/SD_ILS:602151 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Sadovykh, Andrey. editor.&#160;Truscan, Dragos. editor.&#160;Mallouli, Wissam. editor.&#160;Cavalli, Ana Rosa. editor.&#160;Seceleanu, Cristina. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-42212-6">https://doi.org/10.1007/978-3-031-42212-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Chbeir, Richard. editor. (orcid)0000-0003-4112-1426&#160;Benslimane, Djamal. editor.&#160;Zervakis, Michalis. editor.&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Ngyuen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Design for Resilient Computer Systems ent://SD_ILS/0/SD_ILS:604307 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Schagaev, Igor. author.&#160;Gutknecht, J&uuml;rg. 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-55139-0">https://doi.org/10.1007/978-3-031-55139-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet Computing Principles of Distributed Systems and Emerging Internet-Based Technologies ent://SD_ILS/0/SD_ILS:604850 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Sunyaev, Ali. author. (orcid)0000-0002-4353-8519&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Exception Handling Fundamentals and Programming ent://SD_ILS/0/SD_ILS:602488 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Mejia Alvarez, Pedro. author.&#160;Gonzalez Torres, Raul E. author.&#160;Ortega Cisneros, Susana. 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-50681-9">https://doi.org/10.1007/978-3-031-50681-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872&#160;Serwe, Wendelin. 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-68150-9">https://doi.org/10.1007/978-3-031-68150-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architectures Topics Usually Missed in Textbooks ent://SD_ILS/0/SD_ILS:603356 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Nagl, Manfred. author.&#160;Westfechtel, Bernhard. 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-51335-0">https://doi.org/10.1007/978-3-031-51335-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2022-Winter ent://SD_ILS/0/SD_ILS:526961 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Lee, Roger. 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-26135-0">https://doi.org/10.1007/978-3-031-26135-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Official Google Cloud Certified Professional Data Engineer study guide ent://SD_ILS/0/SD_ILS:596021 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Sullivan, Dan, 1962-<br/>Preferred Shelf Number&#160;QA76.3<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Representing Scientific Knowledge The Role of Uncertainty ent://SD_ILS/0/SD_ILS:611757 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Chen, Chaomei. author.&#160;Song, Min. 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-62543-0">https://doi.org/10.1007/978-3-319-62543-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Organic Computing - Technical Systems for Survival in the Real World ent://SD_ILS/0/SD_ILS:612055 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;M&uuml;ller-Schloer, Christian. author.&#160;Tomforde, Sven. 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-68477-2">https://doi.org/10.1007/978-3-319-68477-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Mahmood, Zaigham. 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-54325-3">https://doi.org/10.1007/978-3-319-54325-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613532 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Yevtushenko, Nina. editor.&#160;Cavalli, Ana Rosa. editor.&#160;Yenig&uuml;n, H&uuml;sn&uuml;. 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-67549-7">https://doi.org/10.1007/978-3-319-67549-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615906 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Cabello, Enrique. editor.&#160;Cardoso, Jorge. editor.&#160;Ludwig, Andr&eacute;. editor.&#160;Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545&#160;van Sinderen, Marten. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-62569-0">https://doi.org/10.1007/978-3-319-62569-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:615930 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Legay, Axel. editor.&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-54577-5">https://doi.org/10.1007/978-3-662-54577-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615938 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Desai, Narayan. editor.&#160;Cirne, Walfredo. 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-61756-5">https://doi.org/10.1007/978-3-319-61756-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers ent://SD_ILS/0/SD_ILS:615974 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Ding, Chen. editor.&#160;Criswell, John. editor.&#160;Wu, Peng. 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-52709-3">https://doi.org/10.1007/978-3-319-52709-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616183 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Abate, Alessandro. editor. (orcid)0000-0002-5627-9093&#160;Boldo, Sylvie. 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-63501-9">https://doi.org/10.1007/978-3-319-63501-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:617812 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Aceto, Luca. editor.&#160;Bacci, Giorgio. editor.&#160;Bacci, Giovanni. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.&#160;Legay, Axel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Guide to Software Engineering From Fundamentals to Application Methods ent://SD_ILS/0/SD_ILS:617836 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;O'Regan, Gerard. 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-57750-0">https://doi.org/10.1007/978-3-319-57750-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:618018 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Blanas, Spyros. editor.&#160;Bordawekar, Rajesh. editor.&#160;Lahiri, Tirthankar. editor.&#160;Levandoski, Justin. editor.&#160;Pavlo, Andrew. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56111-0">https://doi.org/10.1007/978-3-319-56111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Igua&ccedil;u, Brazil, November 3-6, 2015, Proceedings ent://SD_ILS/0/SD_ILS:618261 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;G&ouml;tz, Marcelo. editor.&#160;Schirner, Gunar. editor.&#160;Wehrmeister, Marco Aur&eacute;lio. editor.&#160;Al Faruque, Mohammad Abdullah. editor.&#160;Rettberg, Achim. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90023-0">https://doi.org/10.1007/978-3-319-90023-0</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-17T22:15:23Z 2026-03-17T22:15:23Z 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/> Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:613659 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;de Lemos, Rog&eacute;rio. editor.&#160;Garlan, David. editor.&#160;Ghezzi, Carlo. editor.&#160;Giese, Holger. 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-74183-3">https://doi.org/10.1007/978-3-319-74183-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:617027 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Legay, Axel. editor.&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-54580-5">https://doi.org/10.1007/978-3-662-54580-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611423 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Rayadurgam, Sanjai. editor.&#160;Tkachuk, Oksana. 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-40648-0">https://doi.org/10.1007/978-3-319-40648-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Hannig, Frank. editor. (orcid)0000-0003-3663-6484&#160;Cardoso, Jo&atilde;o M.P. editor.&#160;Pionteck, Thilo. editor.&#160;Fey, Dietmar. editor. (orcid)0000-0002-6077-4732&#160;Schr&ouml;der-Preikschat, Wolfgang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612727 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Crnkovic, Ivica. editor.&#160;Troubitsyna, Elena. 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-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613038 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Fr&auml;nzle, Martin. editor.&#160;Markey, Nicolas. 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-44878-7">https://doi.org/10.1007/978-3-319-44878-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomic Road Transport Support Systems ent://SD_ILS/0/SD_ILS:615542 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;McCluskey, Thomas Leo. editor.&#160;Kotsialos, Apostolos. editor.&#160;M&uuml;ller, J&ouml;rg P. editor.&#160;Kl&uuml;gl, Franziska. editor.&#160;Rana, Omer. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25808-9">https://doi.org/10.1007/978-3-319-25808-9</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-17T22:15:23Z 2026-03-17T22:15:23Z 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/> Web Engineering 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings ent://SD_ILS/0/SD_ILS:618011 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Bozzon, Alessandro. editor. (orcid)0000-0002-3300-2913&#160;Cudr&eacute;-Mauroux, Philippe. editor.&#160;Pautasso, Cesare. 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-38791-8">https://doi.org/10.1007/978-3-319-38791-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pragmatic Evaluation of Software Architectures ent://SD_ILS/0/SD_ILS:618505 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Knodel, Jens. author.&#160;Naab, Matthias. 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-34177-4">https://doi.org/10.1007/978-3-319-34177-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding Control Flow Concurrent Programming Using &mu;C++ ent://SD_ILS/0/SD_ILS:612212 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Buhr, Peter A. 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-25703-7">https://doi.org/10.1007/978-3-319-25703-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Variation Based Dense 3D Reconstruction Application on Monocular Mini-Laparoscopic Sequences ent://SD_ILS/0/SD_ILS:612584 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Painer, Sven. 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-12698-8">https://doi.org/10.1007/978-3-658-12698-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:613640 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;&Aacute;brah&aacute;m, Erika. editor.&#160;Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618&#160;Johnsen, Einar Broch. 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-30734-3">https://doi.org/10.1007/978-3-319-30734-3</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-17T22:15:23Z 2026-03-17T22:15:23Z 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/> Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures ent://SD_ILS/0/SD_ILS:616134 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Software and Service Composition A Survey and Evaluating Review ent://SD_ILS/0/SD_ILS:616990 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Mohr, Felix. 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-34168-2">https://doi.org/10.1007/978-3-319-34168-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Engineering and Knowledge Management 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:617714 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662&#160;Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924&#160;Poggi, Francesco. editor.&#160;Vitali, Fabio. 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-49004-5">https://doi.org/10.1007/978-3-319-49004-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Mining Data Science in Action ent://SD_ILS/0/SD_ILS:617779 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;van der Aalst, Wil M. P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49851-4">https://doi.org/10.1007/978-3-662-49851-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Crisis Management for Software Development and Knowledge Transfer ent://SD_ILS/0/SD_ILS:618199 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Zykov, Sergey V. author. (orcid)0000-0002-2115-5461&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618305 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Bertogna, Marko. editor.&#160;Pinho, Lu&iacute;s Miguel. editor.&#160;Qui&ntilde;ones, Eduardo. 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-39083-3">https://doi.org/10.1007/978-3-319-39083-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Signal processing with free software practical experiments ent://SD_ILS/0/SD_ILS:341600 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Auger, Fran&ccedil;ois.<br/>Preferred Shelf Number&#160;ONLINE(341600.1)<br/>Electronic Access&#160;Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=1637657">http://public.eblib.com/choice/publicfullrecord.aspx?p=1637657</a> John Wiley <a href="http://onlinelibrary.wiley.com/book/10.1002/9781118579619">http://onlinelibrary.wiley.com/book/10.1002/9781118579619</a> John Wiley <a href="http://dx.doi.org/10.1002/9781118579619">http://dx.doi.org/10.1002/9781118579619</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unboxing Android USB A hands on approach with real world examples ent://SD_ILS/0/SD_ILS:618520 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Regupathy, Rajaram. 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-6209-1">https://doi.org/10.1007/978-1-4302-6209-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro JavaScript Development Coding, Capabilities, and Tooling ent://SD_ILS/0/SD_ILS:618524 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Odell, Den. 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-6269-5">https://doi.org/10.1007/978-1-4302-6269-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Python Quick Syntax Reference ent://SD_ILS/0/SD_ILS:618576 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Walters, Gregory. 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-6479-8">https://doi.org/10.1007/978-1-4302-6479-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Node.js Building Real-World Scalable Web Apps ent://SD_ILS/0/SD_ILS:618588 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Mardan, Azat. 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-6596-2">https://doi.org/10.1007/978-1-4302-6596-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> JavaScript Creativity Exploring the Modern Capabilities of JavaScript and HTML5 ent://SD_ILS/0/SD_ILS:618619 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Hudson, Shane. 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-5945-9">https://doi.org/10.1007/978-1-4302-5945-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Windows PowerShell Desired State Configuration Revealed ent://SD_ILS/0/SD_ILS:618637 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Chaganti, Ravikanth. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0016-2">https://doi.org/10.1007/978-1-4842-0016-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ASP.NET Web API 2: Building a REST Service from Start to Finish ent://SD_ILS/0/SD_ILS:618647 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Kurtz, Jamie. author.&#160;Wortman, Brian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0109-1">https://doi.org/10.1007/978-1-4842-0109-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro Vim ent://SD_ILS/0/SD_ILS:618676 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;McDonnell, Mark. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0250-0">https://doi.org/10.1007/978-1-4842-0250-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Game Development Tool Essentials ent://SD_ILS/0/SD_ILS:618683 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Berinstein, Paula. author.&#160;Arnaud, Remi. author.&#160;Ardolino, Alessandro. author.&#160;Franco, Simon. author.&#160;Herubel, Adrien. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Coder's Path to Wealth and Independence ent://SD_ILS/0/SD_ILS:618702 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Beckner, Mark. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0421-4">https://doi.org/10.1007/978-1-4842-0421-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> C# Deconstructed Discover how C# works on the .NET Framework ent://SD_ILS/0/SD_ILS:618703 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Rahman, Mohammad. 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-6671-6">https://doi.org/10.1007/978-1-4302-6671-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning Responsive Web Design with HTML5 and CSS3 ent://SD_ILS/0/SD_ILS:618558 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Fielding, Jonathan. 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-6695-2">https://doi.org/10.1007/978-1-4302-6695-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Truth About HTML5 ent://SD_ILS/0/SD_ILS:618559 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Owen, RJ. author.&#160;Stevens, Luke. 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-6416-3">https://doi.org/10.1007/978-1-4302-6416-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HTML5 Game Development Insights ent://SD_ILS/0/SD_ILS:618561 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;McAnlis, Colt. author.&#160;Lubbers, Peter. author.&#160;Jones, Brandon. author.&#160;Mazur, Andrzej. author.&#160;Bennett, Sean. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6698-3">https://doi.org/10.1007/978-1-4302-6698-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced C and C++ Compiling ent://SD_ILS/0/SD_ILS:618571 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Stevanovic, Milan. 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-6668-6">https://doi.org/10.1007/978-1-4302-6668-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Java 8 Recipes ent://SD_ILS/0/SD_ILS:618572 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Dea, Carl. author.&#160;Beaty, Mark. author.&#160;Guime, Freddy. author.&#160;OConner, John. author.&#160;Juneau, Josh. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6826-0">https://doi.org/10.1007/978-1-4302-6826-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning Hibernate ent://SD_ILS/0/SD_ILS:618541 2026-03-17T22:15:23Z 2026-03-17T22:15:23Z Author&#160;Minter, Dave. author.&#160;Linwood, Jeff. author.&#160;Ottinger, Joseph. 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-6518-4">https://doi.org/10.1007/978-1-4302-6518-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>