Search Results for Complex Systems. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComplex$002bSystems.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-03-21T22:48:31Z
Modeling Complex Systems
ent://SD_ILS/0/SD_ILS:172628
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Boccara, Nino. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-6562-2">http://dx.doi.org/10.1007/978-1-4419-6562-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Systems in Biomedicine
ent://SD_ILS/0/SD_ILS:204127
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Quarteroni, Alfio. editor. Formaggia, Luca. editor. Veneziani, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/88-470-0396-2">http://dx.doi.org/10.1007/88-470-0396-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulating Complex Systems by Cellular Automata
ent://SD_ILS/0/SD_ILS:191922
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Kroc, Jiri. editor. Sloot, Peter M.A. editor. Hoekstra, Alfons G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12203-3">http://dx.doi.org/10.1007/978-3-642-12203-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Intelligent Systems and Their Applications
ent://SD_ILS/0/SD_ILS:172308
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Xhafa, Fatos. editor. Barolli, Leonard. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-1636-5">http://dx.doi.org/10.1007/978-1-4419-1636-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence in Complex Decision Systems
ent://SD_ILS/0/SD_ILS:207029
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Ruan, Da. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-29-9">http://dx.doi.org/10.2991/978-94-91216-29-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamical Systems Examples of Complex Behaviour
ent://SD_ILS/0/SD_ILS:181889
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Jost, Jürgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28889-9">http://dx.doi.org/10.1007/3-540-28889-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Socionics Scalability of Complex Social Systems
ent://SD_ILS/0/SD_ILS:182780
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Fischer, Klaus. editor. Florian, Michael. editor. Malsch, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11594116">http://dx.doi.org/10.1007/11594116</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstraction in Artificial Intelligence and Complex Systems
ent://SD_ILS/0/SD_ILS:332194
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Saitta, Lorenza. author. Zucker, Jean-Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332194.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7052-6">http://dx.doi.org/10.1007/978-1-4614-7052-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigorous Development of Complex Fault-Tolerant Systems
ent://SD_ILS/0/SD_ILS:185062
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Butler, Michael. editor. Jones, Cliff B. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11916246">http://dx.doi.org/10.1007/11916246</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604265
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Gadouleau, Maximilien. editor. (orcid)0000-0003-4701-738X Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65887-7">https://doi.org/10.1007/978-3-031-65887-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401534
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Baetens, Jan M. editor. Kutrib, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92675-9">https://doi.org/10.1007/978-3-319-92675-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Project Management at the Edge of Chaos Social Techniques for Complex Systems
ent://SD_ILS/0/SD_ILS:401660
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Oswald, Alfred. author. Köhler, Jens. author. Schmitt, Roland. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48261-2">https://doi.org/10.1007/978-3-662-48261-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616154
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58631-1">https://doi.org/10.1007/978-3-319-58631-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Transfer Entropy Information Flow in Complex Systems
ent://SD_ILS/0/SD_ILS:615202
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Bossomaier, Terry. author. Barnett, Lionel. author. Harré, Michael. author. Lizier, Joseph T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43222-9">https://doi.org/10.1007/978-3-319-43222-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612842
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39300-1">https://doi.org/10.1007/978-3-319-39300-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII Special Issue on Big Data for Complex Urban Systems
ent://SD_ILS/0/SD_ILS:617300
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Anjomshoaa, Amin. editor. Hung, Patrick C. K. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53416-8">https://doi.org/10.1007/978-3-662-53416-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335022
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335022.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40867-0">http://dx.doi.org/10.1007/978-3-642-40867-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Based Approaches in Economic and Social Complex Systems VII Post-Proceedings of The AESCS International Workshop 2012
ent://SD_ILS/0/SD_ILS:335409
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Murata, Tadahiko. editor. Terano, Takao. editor. Takahashi, Shingo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335409.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54279-7">http://dx.doi.org/10.1007/978-4-431-54279-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitive Agent-based Computing-I A Unified Framework for Modeling Complex Adaptive Systems using Agent-based & Complex Network-based Methods
ent://SD_ILS/0/SD_ILS:335723
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Niazi, Muaz A. author. Hussain, Amir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335723.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-3852-2">http://dx.doi.org/10.1007/978-94-007-3852-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Large-Scale Complex IT Systems. Development, Operation and Management 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197466
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Calinescu, Radu. editor. Garlan, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34059-8">http://dx.doi.org/10.1007/978-3-642-34059-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nonlinear and Complex Dynamics Applications in Physical, Biological, and Financial Systems
ent://SD_ILS/0/SD_ILS:173625
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Machado, José António Tenreiro. author. Baleanu, Dumitru. author. Luo, Albert C. J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0231-2">http://dx.doi.org/10.1007/978-1-4614-0231-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performance Evaluation, Measurement and Characterization of Complex Systems Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193830
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18206-8">http://dx.doi.org/10.1007/978-3-642-18206-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
ent://SD_ILS/0/SD_ILS:199986
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Herde, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9949-1">http://dx.doi.org/10.1007/978-3-8348-9949-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Organic Computing — A Paradigm Shift for Complex Systems
ent://SD_ILS/0/SD_ILS:176737
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Müller-Schloer, Christian. editor. Schmeck, Hartmut. editor. Ungerer, Theo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0130-0">http://dx.doi.org/10.1007/978-3-0348-0130-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approximation Algorithms for Complex Systems Proceedings of the 6th International Conference on Algorithms for Approximation, Ambleside, UK, 31st August - 4th September 2009
ent://SD_ILS/0/SD_ILS:193442
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Georgoulis, Emmanuil H. editor. Iske, Armin. editor. Levesley, Jeremy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16876-5">http://dx.doi.org/10.1007/978-3-642-16876-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue International Workshops AICOL-I/IVR-XXIV Beijing, China, September19, 2009 and AICOL-II/JURIX 2009, Rotterdam,The Netherlands, December 16, 2009 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193324
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Casanovas, Pompeu. editor. Pagallo, Ugo. editor. Sartor, Giovanni. editor. Ajani, Gianmaria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16524-5">http://dx.doi.org/10.1007/978-3-642-16524-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
ent://SD_ILS/0/SD_ILS:192678
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Platzer, André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14509-4">http://dx.doi.org/10.1007/978-3-642-14509-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Creating Brain-Like Intelligence From Basic Principles to Complex Intelligent Systems
ent://SD_ILS/0/SD_ILS:189747
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Sendhoff, Bernhard. editor. Körner, Edgar. editor. Sporns, Olaf. editor. Ritter, Helge. editor. Doya, Kenji. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00616-6">http://dx.doi.org/10.1007/978-3-642-00616-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Based Approaches in Economic and Social Complex Systems IV Post-Proceedings of The AESCS International Workshop 2005
ent://SD_ILS/0/SD_ILS:203985
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Terano, Takao. editor. Kita, Hajime. editor. Deguchi, Hiroshi. editor. Kijima, Kyoichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-71307-4">http://dx.doi.org/10.1007/978-4-431-71307-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
ent://SD_ILS/0/SD_ILS:170051
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101185">http://dx.doi.org/10.1007/b101185</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-star Properties in Complex Information Systems Conceptual and Practical Foundations
ent://SD_ILS/0/SD_ILS:183081
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Babaoglu, Ozalp. editor. Jelasity, Márk. editor. Montresor, Alberto. editor. Fetzer, Christof. editor. Leonardi, Stefano. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136551">http://dx.doi.org/10.1007/b136551</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Based Simulation: From Modeling Methodologies to Real-World Applications Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004
ent://SD_ILS/0/SD_ILS:203863
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Terano, Takao. editor. Kita, Hajime. editor. Kaneda, Toshiyuki. editor. Arai, Kiyoshi. editor. Deguchi, Hiroshi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138317">http://dx.doi.org/10.1007/b138317</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulating Social Complexity A Handbook
ent://SD_ILS/0/SD_ILS:333042
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Edmonds, Bruce. editor. Meyer, Ruth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333042.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-93813-2">http://dx.doi.org/10.1007/978-3-540-93813-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Methods in Signal Processing and Digital Image Analysis
ent://SD_ILS/0/SD_ILS:187461
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Dahlhaus, Rainer. editor. Kurths, Jürgen. editor. Maass, Peter. editor. Timmer, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75632-3">http://dx.doi.org/10.1007/978-3-540-75632-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Dynamics in Communication Networks
ent://SD_ILS/0/SD_ILS:183323
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Kocarev, Ljupco. editor. Vattay, Gábor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b94627">http://dx.doi.org/10.1007/b94627</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:609219
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97573-8">https://doi.org/10.1007/978-3-031-97573-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:609226
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97567-7">https://doi.org/10.1007/978-3-031-97567-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:609229
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97570-7">https://doi.org/10.1007/978-3-031-97570-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:609244
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97554-7">https://doi.org/10.1007/978-3-031-97554-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:609245
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97557-8">https://doi.org/10.1007/978-3-031-97557-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:609246
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97564-6">https://doi.org/10.1007/978-3-031-97564-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Engineering Optimisation with the Bees Algorithm
ent://SD_ILS/0/SD_ILS:605961
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Pham, D. T. editor. (orcid)0000-0003-3148-2404 Hartono, Natalia. editor. (orcid)0000-0003-2314-1394 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64936-3">https://doi.org/10.1007/978-3-031-64936-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principle of Petri Nets
ent://SD_ILS/0/SD_ILS:606870
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Yuan, Chongyi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7336-7">https://doi.org/10.1007/978-981-97-7336-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608173
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90062-4">https://doi.org/10.1007/978-3-031-90062-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608174
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90065-5">https://doi.org/10.1007/978-3-031-90065-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IX
ent://SD_ILS/0/SD_ILS:601647
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65329-2">https://doi.org/10.1007/978-3-031-65329-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:608123
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65285-1">https://doi.org/10.1007/978-3-031-65285-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
ent://SD_ILS/0/SD_ILS:603504
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Downey, Rod. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:604432
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65238-7">https://doi.org/10.1007/978-3-031-65238-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:604433
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65282-0">https://doi.org/10.1007/978-3-031-65282-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:604434
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65318-6">https://doi.org/10.1007/978-3-031-65318-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part X
ent://SD_ILS/0/SD_ILS:604435
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65332-2">https://doi.org/10.1007/978-3-031-65332-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spiking Neural P Systems Theory, Applications and Implementations
ent://SD_ILS/0/SD_ILS:606517
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Wu, Tingfang. author. (orcid)0000-0001-8137-2436 Cabarle, Francis George C. author. Xue, Jie. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-9282-5">https://doi.org/10.1007/978-981-97-9282-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604501
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65154-0">https://doi.org/10.1007/978-3-031-65154-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part XI
ent://SD_ILS/0/SD_ILS:604502
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65343-8">https://doi.org/10.1007/978-3-031-65343-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:604771
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65273-8">https://doi.org/10.1007/978-3-031-65273-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605025
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65223-3">https://doi.org/10.1007/978-3-031-65223-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:610225
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65308-7">https://doi.org/10.1007/978-3-031-65308-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications
ent://SD_ILS/0/SD_ILS:602225
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Structural Decision Diagrams in Digital Test Theory and Applications
ent://SD_ILS/0/SD_ILS:602442
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44734-1">https://doi.org/10.1007/978-3-031-44734-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:603091
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Villani, Marco. editor. (orcid)0000-0002-5991-5470 Cagnoni, Stefano. editor. Serra, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57430-6">https://doi.org/10.1007/978-3-031-57430-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Admissible Consensus and Consensualization for Singular Multi-agent Systems
ent://SD_ILS/0/SD_ILS:528356
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-6990-4">https://doi.org/10.1007/978-981-19-6990-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612174
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Rossi, Federico. editor. Piotto, Stefano. editor. Concilio, Simona. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57711-1">https://doi.org/10.1007/978-3-319-57711-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612246
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence for Network Structure Analytics
ent://SD_ILS/0/SD_ILS:612359
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Gong, Maoguo. author. Cai, Qing. author. Ma, Lijia. author. Wang, Shanfeng. author. Lei, Yu. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4558-5">https://doi.org/10.1007/978-981-10-4558-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling of Tropospheric Delays Using ANFIS
ent://SD_ILS/0/SD_ILS:612519
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Suparta, Wayan. author. Alhasa, Kemal Maulana. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28437-8">https://doi.org/10.1007/978-3-319-28437-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610820
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33612-1">https://doi.org/10.1007/978-3-319-33612-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Simulation A Model Driven Engineering Approach
ent://SD_ILS/0/SD_ILS:611189
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03050-0">https://doi.org/10.1007/978-3-319-03050-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611230
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611885
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Rossi, Federico. editor. Mavelli, Fabio. editor. Stano, Pasquale. editor. Caivano, Danilo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32695-5">https://doi.org/10.1007/978-3-319-32695-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613592
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616739
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Psychology and Cognitive Ergonomics 13th International Conference, EPCE 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617616
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40030-3">https://doi.org/10.1007/978-3-319-40030-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616994
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47677-3">https://doi.org/10.1007/978-3-319-47677-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:332975
2026-03-21T22:48:31Z
2026-03-21T22:48:31Z
Author Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332975.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03473-7">http://dx.doi.org/10.1007/978-3-319-03473-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>