Search Results for Case studies. - Narrowed by: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCase$002bstudies.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-04-14T21:31:29Z Dual Tableaux: Foundations, Methodology, Case Studies ent://SD_ILS/0/SD_ILS:205717 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Orlowska, Ewa. author.&#160;Goli&#324;ska Pilarek, Joanna. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0005-5">http://dx.doi.org/10.1007/978-94-007-0005-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15&ndash;20, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:402672 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. 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-91806-8">https://doi.org/10.1007/978-3-319-91806-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geospatial Infrastructure, Applications and Technologies: India Case Studies ent://SD_ILS/0/SD_ILS:399136 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Sarda, N.L. editor.&#160;Acharya, P.S. editor.&#160;Sen, S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2330-0">https://doi.org/10.1007/978-981-13-2330-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies ent://SD_ILS/0/SD_ILS:333688 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Reisig, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333688.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33278-4">http://dx.doi.org/10.1007/978-3-642-33278-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cross-Cultural Design. Methods, Practice, and Case Studies 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334737 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Rau, P. L. Patrick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334737.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39143-9">http://dx.doi.org/10.1007/978-3-642-39143-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335045 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Demey, Yan Tang. editor.&#160;Panetto, Herv&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335045.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41033-8">http://dx.doi.org/10.1007/978-3-642-41033-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197460 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Self-* and P2P for Network Management Design Principles and Case Studies ent://SD_ILS/0/SD_ILS:173546 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Marquezan, Clarissa Cassales. author.&#160;Granville, Lisandro Zambenedetti. 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-4471-4201-0">http://dx.doi.org/10.1007/978-1-4471-4201-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2012 Workshops Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197410 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Herrero, Pilar. editor.&#160;Panetto, Herv&eacute;. editor.&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. 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-33618-8">http://dx.doi.org/10.1007/978-3-642-33618-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Programming Concepts with Case Studies in Python ent://SD_ILS/0/SD_ILS:197831 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;&Uuml;&ccedil;oluk, G&ouml;kt&uuml;rk. author.&#160;Kalkan, Sinan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-7091-1343-1">http://dx.doi.org/10.1007/978-3-7091-1343-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Musical Performance A Comprehensive Approach: Theory, Analytical Tools, and Case Studies ent://SD_ILS/0/SD_ILS:191813 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Mazzola, Guerino. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11838-8">http://dx.doi.org/10.1007/978-3-642-11838-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Multidisciplinary Aspects of Wireless Sensor Networks Concepts, Integration, and Case Studies ent://SD_ILS/0/SD_ILS:176270 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Gavrilovska, Liljana. editor.&#160;Krco, Srdjan. editor.&#160;Milutinovic, Veljko. editor.&#160;Stojmenovic, Ivan. editor.&#160;Trobec, Roman. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84996-510-1">http://dx.doi.org/10.1007/978-1-84996-510-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to the Graphical Theory of Angular Momentum Case Studies ent://SD_ILS/0/SD_ILS:190525 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Balcar, Ewald. author.&#160;Lovesey, Stephen W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03118-2">http://dx.doi.org/10.1007/978-3-642-03118-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning Techniques for Multimedia Case Studies on Organization and Retrieval ent://SD_ILS/0/SD_ILS:187350 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Cord, Matthieu. editor.&#160;Cunningham, P&aacute;draig. 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-75171-7">http://dx.doi.org/10.1007/978-3-540-75171-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Machine Learning Techniques in Engineering and Management ent://SD_ILS/0/SD_ILS:608551 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Srinivasa Raju, Komaragiri. author. (orcid)0009-0006-9268-8229&#160;Nagesh Kumar, Dasika. author. (orcid)0000-0002-5294-8501&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-2621-2">https://doi.org/10.1007/978-981-96-2621-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605121 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Platzer, Andre. editor. (orcid)0000-0001-7238-5710&#160;Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828&#160;Pradella, Matteo. editor. (orcid)0000-0003-3039-1084&#160;Rossi, Matteo. editor. (orcid)0000-0002-9193-9560&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71177-0">https://doi.org/10.1007/978-3-031-71177-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Concise Introduction to Software Engineering With Open Source and GenAI ent://SD_ILS/0/SD_ILS:607111 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Jalote, Pankaj. 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-74318-4">https://doi.org/10.1007/978-3-031-74318-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023 ent://SD_ILS/0/SD_ILS:601834 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Platz, Roland. editor. (orcid)0000-0001-5800-5742&#160;Flynn, Garrison. editor.&#160;Neal, Kyle. editor. (orcid)0000-0001-7880-1498&#160;Ouellette, Scott. 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-37003-8">https://doi.org/10.1007/978-3-031-37003-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing in Carcinogenic Disease Detection ent://SD_ILS/0/SD_ILS:603580 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Das Sharma, Kaushik. author.&#160;Kar, Subhajit. author.&#160;Maitra, Madhubanti. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-2424-6">https://doi.org/10.1007/978-981-97-2424-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Twins for Vessel Life Cycle Service Innovation in Maritime Industry ent://SD_ILS/0/SD_ILS:604893 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Zhang, Houxiang. author. (orcid)0000-0003-0122-0964&#160;Li, Guoyuan. author. (orcid)0000-0001-7553-0899&#160;Hildre, Hans Petter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-4768-9">https://doi.org/10.1007/978-981-97-4768-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-04-14T21:31:29Z 2026-04-14T21:31:29Z 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/> Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications ent://SD_ILS/0/SD_ILS:602225 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-43540-9">https://doi.org/10.1007/978-3-031-43540-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computability and Complexity Foundations and Tools for Pursuing Scientific Applications ent://SD_ILS/0/SD_ILS:603504 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Downey, Rod. 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-53744-8">https://doi.org/10.1007/978-3-031-53744-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Self-Aware Computing Systems ent://SD_ILS/0/SD_ILS:611535 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Kounev, Samuel. editor.&#160;Kephart, Jeffrey O. editor.&#160;Milenkoski, Aleksandar. editor.&#160;Zhu, Xiaoyun. 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-47474-8">https://doi.org/10.1007/978-3-319-47474-8</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-04-14T21:31:29Z 2026-04-14T21:31:29Z 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/> Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613342 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Paskevich, Andrei. editor.&#160;Wies, Thomas. 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-72308-2">https://doi.org/10.1007/978-3-319-72308-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Architecture at Work Modelling, Communication and Analysis ent://SD_ILS/0/SD_ILS:614629 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Lankhorst, Marc. 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-53933-0">https://doi.org/10.1007/978-3-662-53933-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616010 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Bozzano, Marco. editor. (orcid)0000-0002-4135-103X&#160;Papadopoulos, Yiannis. 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-64119-5">https://doi.org/10.1007/978-3-319-64119-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616745 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;W&#261;sowski, Andrzej. editor.&#160;L&ouml;nn, Henrik. 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-42061-5">https://doi.org/10.1007/978-3-319-42061-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Simulation A Model Driven Engineering Approach ent://SD_ILS/0/SD_ILS:611189 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Top&ccedil;u, Okan. author.&#160;Durak, Umut. author.&#160;O&#287;uzt&uuml;z&uuml;n, Halit. author.&#160;Yilmaz, Levent. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-03050-0">https://doi.org/10.1007/978-3-319-03050-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611091 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;&Aacute;brah&aacute;m, Erika. editor.&#160;Huisman, Marieke. editor. (orcid)0000-0003-4467-072X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33693-0">https://doi.org/10.1007/978-3-319-33693-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611111 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Bo&scaron;na&#269;ki, Dragan. editor.&#160;Wijs, Anton. 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-32582-8">https://doi.org/10.1007/978-3-319-32582-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Metaheuristics Powerful Tools for Optimization ent://SD_ILS/0/SD_ILS:616800 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Blum, Christian. author.&#160;Raidl, G&uuml;nther R. 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-30883-8">https://doi.org/10.1007/978-3-319-30883-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Autism ent://SD_ILS/0/SD_ILS:617312 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Galitsky, Boris. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39972-0">https://doi.org/10.1007/978-3-319-39972-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Domain-Specific Conceptual Modeling Concepts, Methods and Tools ent://SD_ILS/0/SD_ILS:613986 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Karagiannis, Dimitris. editor.&#160;Mayr, Heinrich C. editor.&#160;Mylopoulos, John. editor. (orcid)0000-0002-8698-3292&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39417-6">https://doi.org/10.1007/978-3-319-39417-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367&#160;Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421&#160;Knapp, Alexander. 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-45943-1">https://doi.org/10.1007/978-3-319-45943-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nutrient Use Efficiency: from Basics to Advances ent://SD_ILS/0/SD_ILS:530456 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Rakshit, Amitava. editor.&#160;Singh, Harikesh Bahadur. editor.&#160;Sen, Avijit. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2169-2">https://doi.org/10.1007/978-81-322-2169-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Codecharts roadmaps and blueprints for object-oriented programs ent://SD_ILS/0/SD_ILS:318929 2026-04-14T21:31:29Z 2026-04-14T21:31:29Z Author&#160;Eden, A. H., 1967-&#160;Nicholson, J. (Jonathan), 1983-<br/>Preferred Shelf Number&#160;ONLINE(318929.1)<br/>Electronic Access&#160;Wiley InterScience <a href="http://dx.doi.org/10.1002/9780470891032">An electronic book accessible through the World Wide Web; click for information</a> Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=41806">http://www.books24x7.com/marc.asp?bookid=41806</a> Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=700550">http://public.eblib.com/choice/publicfullrecord.aspx?p=700550</a> ebrary <a href="http://site.ebrary.com/id/10465941">http://site.ebrary.com/id/10465941</a> EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>