Search Results for Programming. - Narrowed by: Computer simulation.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ps$003d300?dt=list
2026-03-20T19:44:03Z
Bayesian programming
ent://SD_ILS/0/SD_ILS:364384
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Bessiere, Pierre.<br/>Preferred Shelf Number QA76.6 B4764 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Understanding Modelling and Programming
ent://SD_ILS/0/SD_ILS:606763
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71280-7">https://doi.org/10.1007/978-3-031-71280-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB and Simulink in Action Programming, Scientific Computing and Simulation
ent://SD_ILS/0/SD_ILS:603494
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-1176-9">https://doi.org/10.1007/978-981-99-1176-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach
ent://SD_ILS/0/SD_ILS:618450
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Bessiere, Christian. editor. De Raedt, Luc. editor. Kotthoff, Lars. editor. Nijssen, Siegfried. editor. O'Sullivan, Barry. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50137-6">https://doi.org/10.1007/978-3-319-50137-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485755
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Brugali, Davide. editor. Broenink, Jan. editor. Kroeger, Torsten. editor. MacDonald, Bruce. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11900-7">https://doi.org/10.1007/978-3-319-11900-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Journey from Robot to Digital Human Mathematical Principles and Applications with MATLAB Programming
ent://SD_ILS/0/SD_ILS:334717
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Gu, Edward Y L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334717.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39047-0">http://dx.doi.org/10.1007/978-3-642-39047-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
ent://SD_ILS/0/SD_ILS:334837
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334837.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39698-4">http://dx.doi.org/10.1007/978-3-642-39698-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197507
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34327-8">http://dx.doi.org/10.1007/978-3-642-34327-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196569
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Collier, Rem. editor. Dix, Jürgen. editor. Novák, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28939-2">http://dx.doi.org/10.1007/978-3-642-28939-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
ent://SD_ILS/0/SD_ILS:207043
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-59-6">http://dx.doi.org/10.2991/978-94-91216-59-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Manufacturing Simulation with Plant Simulation and SimTalk Usage and Programming with Examples and Solutions
ent://SD_ILS/0/SD_ILS:191148
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Bangsow, Steffen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05074-9">http://dx.doi.org/10.1007/978-3-642-05074-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192787
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Braubach, Lars. editor. Briot, Jean-Pierre. editor. Thangarajah, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14843-9">http://dx.doi.org/10.1007/978-3-642-14843-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193567
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Ando, Noriaki. editor. Balakirsky, Stephen. editor. Hemker, Thomas. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17319-6">http://dx.doi.org/10.1007/978-3-642-17319-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object Oriented Simulation A Modeling and Programming Perspective
ent://SD_ILS/0/SD_ILS:171985
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Garrido, José M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0516-1">http://dx.doi.org/10.1007/978-1-4419-0516-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiobjective Programming and Goal Programming Theoretical Results and Practical Applications
ent://SD_ILS/0/SD_ILS:188745
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Barichard, Vincent. editor. Ehrgott, Matthias. editor. Gandibleux, Xavier. editor. T'Kindt, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85646-7">http://dx.doi.org/10.1007/978-3-540-85646-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185507
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Mueller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor. Malony, Allen D. editor. Voss, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68555-5">http://dx.doi.org/10.1007/978-3-540-68555-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:185774
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Chapman, Barbara. editor. Zheng, Weiming. editor. Gao, Guang R. editor. Sato, Mitsuhisa. editor. Ayguadé, Eduard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69303-1">http://dx.doi.org/10.1007/978-3-540-69303-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189195
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Carpin, Stefano. editor. Noda, Itsuki. editor. Pagello, Enrico. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89076-8">http://dx.doi.org/10.1007/978-3-540-89076-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention
ent://SD_ILS/0/SD_ILS:152267
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Trappl, Robert. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4390-2">http://dx.doi.org/10.1007/1-4020-4390-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483746
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484028
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486274
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484770
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32409-4">https://doi.org/10.1007/978-3-030-32409-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484889
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20652-9">https://doi.org/10.1007/978-3-030-20652-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399472
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399551
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399782
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98938-9">https://doi.org/10.1007/978-3-319-98938-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399353
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01090-4">https://doi.org/10.1007/978-3-030-01090-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400230
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
ent://SD_ILS/0/SD_ILS:401217
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611616
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Thomas, Nigel. editor. Forshaw, Matthew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61428-1">https://doi.org/10.1007/978-3-319-61428-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615971
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Huhn, Michaela. editor. Williams, Laurie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63194-3">https://doi.org/10.1007/978-3-319-63194-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617034
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66583-2">https://doi.org/10.1007/978-3-319-66583-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612356
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69483-2">https://doi.org/10.1007/978-3-319-69483-2</a><br/>Format: Electronic Resources<br/>Availability 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-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612150
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70848-5">https://doi.org/10.1007/978-3-319-70848-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617856
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611648
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Abrahamsson, Pekka. editor. Jedlitschka, Andreas. editor. Nguyen Duc, Anh. editor. (orcid)0000-0002-7063-9200 Felderer, Michael. editor. Amasaki, Sousuke. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49094-6">https://doi.org/10.1007/978-3-319-49094-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616250
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46559-3">https://doi.org/10.1007/978-3-319-46559-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611436
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41135-4">https://doi.org/10.1007/978-3-319-41135-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611725
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31559-1">https://doi.org/10.1007/978-3-319-31559-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611832
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49815-7">https://doi.org/10.1007/978-3-319-49815-7</a><br/>Format: Electronic Resources<br/>Availability 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-20T19:44:03Z
2026-03-20T19:44:03Z
Author Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616231
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46433-6">https://doi.org/10.1007/978-3-319-46433-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model and Data Engineering 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612126
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Bellatreche, Ladjel. editor. Pastor, Óscar. editor. Almendros Jiménez, Jesús M. editor. Aït-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45547-1">https://doi.org/10.1007/978-3-319-45547-1</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-20T19:44:03Z
2026-03-20T19:44:03Z
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/>
Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618449
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-35122-3">https://doi.org/10.1007/978-3-319-35122-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489547
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Klingert, Sonja. editor. Hesselbach-Serra, Xavier. editor. Perez Ortega, Maria. editor. Giuliani, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55149-9">https://doi.org/10.1007/978-3-642-55149-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485724
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486932
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54338-8">https://doi.org/10.1007/978-3-642-54338-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:482656
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Horváth, András. editor. Wolter, Katinka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10885-8">https://doi.org/10.1007/978-3-319-10885-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models@run.time Foundations, Applications, and Roadmaps
ent://SD_ILS/0/SD_ILS:485584
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Bencomo, Nelly. editor. France, Robert B. editor. Cheng, Betty H.C. editor. Aßmann, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487100
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13835-0">https://doi.org/10.1007/978-3-319-13835-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485624
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:486822
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format: Electronic Resources<br/>Availability 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-20T19:44:03Z
2026-03-20T19:44:03Z
Author Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
ent://SD_ILS/0/SD_ILS:603976
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Blum, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60103-3">https://doi.org/10.1007/978-3-031-60103-3</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-20T19:44:03Z
2026-03-20T19:44:03Z
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/>
Optimization of Chemical Processes A Sustainable Perspective
ent://SD_ILS/0/SD_ILS:603450
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Ponce-Ortega, José María. author. Ochoa-Barragán, Rogelio. author. (orcid)0000-0002-2187-5813 Ramírez-Márquez, César. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57270-8">https://doi.org/10.1007/978-3-031-57270-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deep Generative Modeling
ent://SD_ILS/0/SD_ILS:605103
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Tomczak, Jakub M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64087-2">https://doi.org/10.1007/978-3-031-64087-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Mechatronics An Integrated Approach
ent://SD_ILS/0/SD_ILS:527047
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Samanta, Biswanath. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29320-7">https://doi.org/10.1007/978-3-031-29320-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application of Gray System Theory in Fishery Science
ent://SD_ILS/0/SD_ILS:527991
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Chen, Xinjun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-0635-2">https://doi.org/10.1007/978-981-99-0635-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer models of process dynamics : from Newton to energy fields
ent://SD_ILS/0/SD_ILS:597834
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Rubin, Olis, author.<br/>Preferred Shelf Number QC52 .R83 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885689">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885689</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems engineering neural networks
ent://SD_ILS/0/SD_ILS:598111
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Migliaccio, Alessandro, author. Iannone, Giovanni, author.<br/>Preferred Shelf Number QA76.87 .M537 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling and simulation in Python
ent://SD_ILS/0/SD_ILS:559787
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Kinser, Jason M., 1962- author.<br/>Preferred Shelf Number QA76.9 .C65<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/e/9781003226581">https://www.taylorfrancis.com/books/e/9781003226581</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003226581">https://www.taylorfrancis.com/books/9781003226581</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483898
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:484045
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science
ent://SD_ILS/0/SD_ILS:484149
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Geshi, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-9802-5">https://doi.org/10.1007/978-981-13-9802-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486031
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes
ent://SD_ILS/0/SD_ILS:486074
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Geshi, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-6194-4">https://doi.org/10.1007/978-981-13-6194-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers
ent://SD_ILS/0/SD_ILS:616099
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51957-9">https://doi.org/10.1007/978-3-319-51957-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics
ent://SD_ILS/0/SD_ILS:593640
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Tolk, Andreas, editor. Ören, Tuncer I., editor.<br/>Preferred Shelf Number QA10.5<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613250
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71255-0">https://doi.org/10.1007/978-3-319-71255-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613299
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69404-7">https://doi.org/10.1007/978-3-319-69404-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615166
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53946-1">https://doi.org/10.1007/978-3-319-53946-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615970
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66335-7">https://doi.org/10.1007/978-3-319-66335-7</a><br/>Format: Electronic Resources<br/>Availability 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-20T19:44:03Z
2026-03-20T19:44:03Z
Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616190
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67471-1">https://doi.org/10.1007/978-3-319-67471-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616217
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54069-5">https://doi.org/10.1007/978-3-662-54069-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616233
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62075-6">https://doi.org/10.1007/978-3-319-62075-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616316
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57861-3">https://doi.org/10.1007/978-3-319-57861-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616611
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65765-3">https://doi.org/10.1007/978-3-319-65765-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Distributed Simulation with HLA
ent://SD_ILS/0/SD_ILS:611689
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61267-6">https://doi.org/10.1007/978-3-319-61267-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612253
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612618
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612856
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67035-5">https://doi.org/10.1007/978-3-319-67035-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Scientific Computing in C++
ent://SD_ILS/0/SD_ILS:617561
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73132-2">https://doi.org/10.1007/978-3-319-73132-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
ent://SD_ILS/0/SD_ILS:617778
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55417-4">https://doi.org/10.1007/978-3-319-55417-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
ent://SD_ILS/0/SD_ILS:617461
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611927
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Comyn-Wattiau, Isabelle. editor. Tanaka, Katsumi. editor. Song, Il-Yeol. editor. Yamamoto, Shuichiro. editor. Saeki, Motoshi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46397-1">https://doi.org/10.1007/978-3-319-46397-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616257
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47151-8">https://doi.org/10.1007/978-3-319-47151-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613096
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55669-7">https://doi.org/10.1007/978-3-319-55669-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Opportunistic Mobile Networks Advances and Applications
ent://SD_ILS/0/SD_ILS:615092
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Misra, Sudip. author. Saha, Barun Kumar. author. Pal, Sujata. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29031-7">https://doi.org/10.1007/978-3-319-29031-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616028
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42547-4">https://doi.org/10.1007/978-3-319-42547-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616053
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43425-4">https://doi.org/10.1007/978-3-319-43425-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616171
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50349-3">https://doi.org/10.1007/978-3-319-50349-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616218
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43144-4">https://doi.org/10.1007/978-3-319-43144-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616357
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51641-7">https://doi.org/10.1007/978-3-319-51641-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612972
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Rovatsos, Michael. editor. Vouros, George. editor. Julian, Vicente. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33509-4">https://doi.org/10.1007/978-3-319-33509-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Foundations for Mastering Change I
ent://SD_ILS/0/SD_ILS:617815
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Modularity and Composition I
ent://SD_ILS/0/SD_ILS:617818
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46969-0">https://doi.org/10.1007/978-3-319-46969-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617920
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56390-9">https://doi.org/10.1007/978-3-319-56390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617935
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29510-7">https://doi.org/10.1007/978-3-319-29510-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emotion Modeling Towards Pragmatic Computational Models of Affective Processes
ent://SD_ILS/0/SD_ILS:489042
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Bosse, Tibor. editor. Broekens, Joost. editor. Dias, João. editor. (orcid)0000-0002-1653-1821 van der Zwaan, Janneke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12973-0">https://doi.org/10.1007/978-3-319-12973-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488425
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44920-2">https://doi.org/10.1007/978-3-662-44920-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334071
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334071.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35867-8">http://dx.doi.org/10.1007/978-3-642-35867-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334871
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334871.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335215
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335215.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45404-2">http://dx.doi.org/10.1007/978-3-642-45404-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:334055
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334055.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using Event-B for Critical Device Software Systems
ent://SD_ILS/0/SD_ILS:331181
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331181.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332934
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332934.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334120
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334136
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334136.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36157-9">http://dx.doi.org/10.1007/978-3-642-36157-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
ent://SD_ILS/0/SD_ILS:334556
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334556.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334698
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334698.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335120
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.<br/>Preferred Shelf Number ONLINE(335120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive dynamic-system simulation
ent://SD_ILS/0/SD_ILS:544077
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Korn, Granino A. (Granino Arthur), 1922, author.<br/>Preferred Shelf Number QA76.9 .C65 K68 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439836439">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Multi-agent systems : simulation and applications
ent://SD_ILS/0/SD_ILS:547477
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Uhrmacher, Adelinde. Weyns, Danny.<br/>Preferred Shelf Number QA76.76 .I58 M864 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420070248">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Principles of object-oriented modeling and simulation with Modelica 2.1
ent://SD_ILS/0/SD_ILS:249658
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Fritzson, Peter A., 1952-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-oriented simulation reusability, adaptability, maintainability
ent://SD_ILS/0/SD_ILS:249591
2026-03-20T19:44:03Z
2026-03-20T19:44:03Z
Author Zobrist, George W. (George Winston), 1934- Leonard, James V.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263105">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263105</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>