Search Results for Systems Theory. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bTheory.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?2025-12-19T06:55:19ZGeneral systems theory mathematical foundationsent://SD_ILS/0/SD_ILS:2573802025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Mesarović, Mihajlo D. Takahara, Yasuhiko, 1935-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124915404">http://www.sciencedirect.com/science/book/9780124915404</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Thriving Systems Theory and Metaphor-Driven Modelingent://SD_ILS/0/SD_ILS:1762152025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Waguespack, Leslie J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-302-2">http://dx.doi.org/10.1007/978-1-84996-302-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3995992025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91473-2">https://doi.org/10.1007/978-3-319-91473-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4006052025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4004632025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91476-3">https://doi.org/10.1007/978-3-319-91476-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4006412025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4006442025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Intelligence and Performance Management Theory, Systems and Industrial Applicationsent://SD_ILS/0/SD_ILS:3310822025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Rausch, Peter. editor. Sheta, Alaa F. editor. Ayesh, Aladdin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331082.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4866-1">http://dx.doi.org/10.1007/978-1-4471-4866-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342782025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334278.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346162025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334616.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38530-8">http://dx.doi.org/10.1007/978-3-642-38530-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:3352192025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335219.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-53856-8">http://dx.doi.org/10.1007/978-3-642-53856-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:3352202025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335220.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-53862-9">http://dx.doi.org/10.1007/978-3-642-53862-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343482025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334348.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:1962292025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27549-4">http://dx.doi.org/10.1007/978-3-642-27549-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:1962382025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27579-1">http://dx.doi.org/10.1007/978-3-642-27579-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965262025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965532025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28869-2">http://dx.doi.org/10.1007/978-3-642-28869-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1967852025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29863-9">http://dx.doi.org/10.1007/978-3-642-29863-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969952025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Askoxylakis, Ioannis. editor. Pöhls, Henrich C. editor. Posegga, Joachim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30955-7">http://dx.doi.org/10.1007/978-3-642-30955-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Intelligence Systems in Industrial Engineering With Recent Theory and Applicationsent://SD_ILS/0/SD_ILS:2070482025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Kahraman, Cengiz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-77-0">http://dx.doi.org/10.2991/978-94-91216-77-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941332025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Barthe, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19718-5">http://dx.doi.org/10.1007/978-3-642-19718-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941442025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Marchetti-Spaccamela, Alberto. editor. Segal, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19754-3">http://dx.doi.org/10.1007/978-3-642-19754-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory-Guided Modeling and Empiricism in Information Systems Researchent://SD_ILS/0/SD_ILS:1985222025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Heinzl, Armin. editor. Buxmann, Peter. editor. Wendt, Oliver. editor. Weitzel, Tim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7908-2781-1">http://dx.doi.org/10.1007/978-3-7908-2781-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941722025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19835-9">http://dx.doi.org/10.1007/978-3-642-19835-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design Research in Information Systems Theory and Practiceent://SD_ILS/0/SD_ILS:1723892025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Hevner, Alan. author. Chatterjee, Samir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-5653-8">http://dx.doi.org/10.1007/978-1-4419-5653-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918472025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Gordon, Andrew D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11957-6">http://dx.doi.org/10.1007/978-3-642-11957-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918572025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1919732025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Samarati, Pierangela. editor. Tunstall, Michael. editor. Posegga, Joachim. editor. Markantonakis, Konstantinos. editor. Sauveron, Damien. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12368-9">http://dx.doi.org/10.1007/978-3-642-12368-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1925352025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Hüllermeier, Eyke. editor. Kruse, Rudolf. editor. Hoffmann, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14055-6">http://dx.doi.org/10.1007/978-3-642-14055-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems Development Challenges in Practice, Theory, and Education Volume 1ent://SD_ILS/0/SD_ILS:1666272025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Wojtkowski, Wita. editor. Wojtkowski, Gregory. editor. Lang, Michael. editor. Conboy, Kieran. editor. Barry, Chris. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68772-8">http://dx.doi.org/10.1007/978-0-387-68772-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems Development Challenges in Practice, Theory, and Education Volume 2ent://SD_ILS/0/SD_ILS:1675922025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Barry, Chris. editor. Lang, Michael. editor. Wojtkowski, Wita. editor. Conboy, Kieran. editor. Wojtkowski, Gregory. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-78578-3">http://dx.doi.org/10.1007/978-0-387-78578-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Awareness Systems Advances in Theory, Methodology and Designent://SD_ILS/0/SD_ILS:1759802025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Markopoulos, Panos. editor. De Ruyter, Boris. editor. Mackay, Wendy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-477-5">http://dx.doi.org/10.1007/978-1-84882-477-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks Third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009, Proceedingsent://SD_ILS/0/SD_ILS:1907852025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Markowitch, Olivier. editor. Bilas, Angelos. editor. Hoepman, Jaap-Henk. editor. Mitchell, Chris J. editor. Quisquater, Jean-Jacques. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03944-7">http://dx.doi.org/10.1007/978-3-642-03944-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1910552025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04772-5">http://dx.doi.org/10.1007/978-3-642-04772-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897392025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897942025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00768-2">http://dx.doi.org/10.1007/978-3-642-00768-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882262025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Drossopoulou, Sophia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78739-6">http://dx.doi.org/10.1007/978-3-540-78739-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882462025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862132025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71209-1">http://dx.doi.org/10.1007/978-3-540-71209-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862442025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Nicola, Rocco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71316-6">http://dx.doi.org/10.1007/978-3-540-71316-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Mathematical Systems Theory Linear Systems, Identification and Controlent://SD_ILS/0/SD_ILS:1979522025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Heij, Christiaan. author. Ran, André. author. Schagen, Freek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-7549-2">http://dx.doi.org/10.1007/978-3-7643-7549-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1865132025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Sauveron, Damien. editor. Markantonakis, Konstantinos. editor. Bilas, Angelos. editor. Quisquater, Jean-Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72354-7">http://dx.doi.org/10.1007/978-3-540-72354-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1875222025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75867-9">http://dx.doi.org/10.1007/978-3-540-75867-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems Modeling and Simulation Theory and Applications, Asia Simulation Conference 2006ent://SD_ILS/0/SD_ILS:2039192025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Koyamada, Koji. editor. Tamura, Shinsuke. editor. Ono, Osamu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-49022-7">http://dx.doi.org/10.1007/978-4-431-49022-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systemsent://SD_ILS/0/SD_ILS:1753862025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Bowman, Howard. author. Gomez, Rodolfo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-336-1">http://dx.doi.org/10.1007/1-84628-336-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836042025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836172025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Sestoft, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11693024">http://dx.doi.org/10.1007/11693024</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1829152025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11556985">http://dx.doi.org/10.1007/11556985</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830512025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107194">http://dx.doi.org/10.1007/b107194</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830582025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Sagiv, Mooly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1823822025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Baik, Doo-Kwon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105611">http://dx.doi.org/10.1007/b105611</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviorsent://SD_ILS/0/SD_ILS:1813522025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Kurki-Suonio, Reino. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138956">http://dx.doi.org/10.1007/b138956</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems Development Advances in Theory, Practice, and Educationent://SD_ILS/0/SD_ILS:1655602025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Vasilecas, Olegas. editor. Wojtkowski, Wita. editor. Zupančič, Jože. editor. Caplinskas, Albertas. editor. Wojtkowski, W. Gregory. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28809-0">http://dx.doi.org/10.1007/0-387-28809-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Operator Perspective on Signals and Systemsent://SD_ILS/0/SD_ILS:1766682025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Frazho, Arthur E. author. Bhosri, Wisuwat. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0346-0292-1">http://dx.doi.org/10.1007/978-3-0346-0292-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Model-Based Systems Engineeringent://SD_ILS/0/SD_ILS:5273532025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-93582-5">https://doi.org/10.1007/978-3-030-93582-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Terminological Dictionary of Automatic Control, Systems and Roboticsent://SD_ILS/0/SD_ILS:5290512025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35755-8">https://doi.org/10.1007/978-3-031-35755-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Admissible Consensus and Consensualization for Singular Multi-agent Systemsent://SD_ILS/0/SD_ILS:5283562025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor 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/>Handbook of Dynamic Data Driven Applications Systemsent://SD_ILS/0/SD_ILS:4004362025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95504-9">https://doi.org/10.1007/978-3-319-95504-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Encyclopedia of Computational Neuroscienceent://SD_ILS/0/SD_ILS:5302842025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Jaeger, Dieter. editor. Jung, Ranu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4614-6675-8">https://doi.org/10.1007/978-1-4614-6675-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Methodologies in Pattern Recognition and Machine Learning Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012ent://SD_ILS/0/SD_ILS:3316692025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Latorre Carmona, Pedro. editor. Sánchez, J. Salvador. editor. Fred, Ana L.N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331669.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5076-4">http://dx.doi.org/10.1007/978-1-4614-5076-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Linear-Quadratic Controls in Risk-Averse Decision Making Performance-Measure Statistics and Control Decision Optimizationent://SD_ILS/0/SD_ILS:3316702025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Pham, Khanh D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331670.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5079-5">http://dx.doi.org/10.1007/978-1-4614-5079-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Trends of Research in Ontologies and Lexical Resources Ideas, Projects, Systemsent://SD_ILS/0/SD_ILS:3334892025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Oltramari, Alessandro. editor. Vossen, Piek. editor. Qin, Lu. editor. Hovy, Eduard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333489.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31782-8">http://dx.doi.org/10.1007/978-3-642-31782-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stochastic Reachability Analysis of Hybrid Systemsent://SD_ILS/0/SD_ILS:1734792025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Bujorianu, Luminita Manuela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2795-6">http://dx.doi.org/10.1007/978-1-4471-2795-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fault-Diagnosis Applications Model-Based Condition Monitoring: Actuators, Drives, Machinery, Plants, Sensors, and Fault-tolerant Systemsent://SD_ILS/0/SD_ILS:1921032025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Isermann, Rolf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12767-0">http://dx.doi.org/10.1007/978-3-642-12767-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Viability Theory New Directionsent://SD_ILS/0/SD_ILS:1933752025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Aubin, Jean-Pierre. author. Bayen, Alexandre M. author. Saint-Pierre, Patrick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16684-6">http://dx.doi.org/10.1007/978-3-642-16684-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analysis and Control of Boolean Networks A Semi-tensor Product Approachent://SD_ILS/0/SD_ILS:1684192025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Cheng, Daizhan. author. Qi, Hongsheng. author. Li, Zhiqiang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-097-7">http://dx.doi.org/10.1007/978-0-85729-097-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networked Control Systemsent://SD_ILS/0/SD_ILS:1684002025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Bemporad, Alberto. editor. Heemels, Maurice. editor. Johansson, Mikael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-033-5">http://dx.doi.org/10.1007/978-0-85729-033-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Discrete, Continuous, and Hybrid Petri Netsent://SD_ILS/0/SD_ILS:1914402025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor David, René. author. Alla, Hassane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10669-9">http://dx.doi.org/10.1007/978-3-642-10669-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Infrastructuresent://SD_ILS/0/SD_ILS:2051282025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Negenborn, Rudy R. editor. Lukszo, Zofia. editor. Hellendoorn, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3598-1">http://dx.doi.org/10.1007/978-90-481-3598-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling Complex Systemsent://SD_ILS/0/SD_ILS:1726282025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor 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/>Intelligent Engineering Systems and Computational Cyberneticsent://SD_ILS/0/SD_ILS:1702752025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Machado, J. A. Tenreiro. editor. Pátkai, Béla. editor. Rudas, Imre J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8678-6">http://dx.doi.org/10.1007/978-1-4020-8678-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification and Control of Hybrid Systems A Symbolic Approachent://SD_ILS/0/SD_ILS:1719022025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Tabuada, Paulo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0224-5">http://dx.doi.org/10.1007/978-1-4419-0224-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms and theory of computation handbook. Special topics and techniquesent://SD_ILS/0/SD_ILS:5410672025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Atallah, Mikhail J. Blanton, Marina.<br/>Preferred Shelf Number QA76.9 .A43 A433 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781584888215">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Model Order Reduction: Theory, Research Aspects and Applicationsent://SD_ILS/0/SD_ILS:1882592025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Schilders, Wilhelmus H. A. editor. Vorst, Henk A. editor. Rommes, Joost. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78841-6">http://dx.doi.org/10.1007/978-3-540-78841-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Optimierungsmethoden Eine Einführungent://SD_ILS/0/SD_ILS:1876822025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Jungnickel, Dieter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76790-9">http://dx.doi.org/10.1007/978-3-540-76790-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Sense of Touch and its Rendering Progress in Haptics Researchent://SD_ILS/0/SD_ILS:1883162025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Bicchi, Antonio. editor. Buss, Martin. editor. Ernst, Marc O. editor. Peer, Angelika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79035-8">http://dx.doi.org/10.1007/978-3-540-79035-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling and Simulation Tools for Emerging Telecommunication Networks Needs, Trends, Challenges and Solutionsent://SD_ILS/0/SD_ILS:1660082025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Nejat Ince, A. editor. Topuz, Ercan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-34167-6">http://dx.doi.org/10.1007/0-387-34167-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Linear Systemsent://SD_ILS/0/SD_ILS:1681292025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Antsaklis, Panos J. author. Michel, Anthony N. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-8176-4435-0">http://dx.doi.org/10.1007/0-8176-4435-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy Modeling and Fuzzy Controlent://SD_ILS/0/SD_ILS:1681842025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Zhang, Huaguang. author. Liu, Derong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4539-7">http://dx.doi.org/10.1007/978-0-8176-4539-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Théorie élémentaire et pratique de la commande par les régimes glissantsent://SD_ILS/0/SD_ILS:1840732025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Lopez, Pierre. author. Nouri, Ahmed Saïd. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-34480-2">http://dx.doi.org/10.1007/3-540-34480-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approachent://SD_ILS/0/SD_ILS:1681502025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Pavlov, Alexey. author. Wouw, Nathan. author. Nijmeijer, Henk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-8176-4465-2">http://dx.doi.org/10.1007/0-8176-4465-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Combinatorial Optimization Supplement Volume Bent://SD_ILS/0/SD_ILS:1649832025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Du, Ding-Zhu. editor. Pardalos, Panos M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b102533">http://dx.doi.org/10.1007/b102533</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numerical Methods for General and Structured Eigenvalue Problemsent://SD_ILS/0/SD_ILS:1817672025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor Kressner, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28502-4">http://dx.doi.org/10.1007/3-540-28502-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Discrete, Continuous, and Hybrid Petri Netsent://SD_ILS/0/SD_ILS:1810092025-12-19T06:55:19Z2025-12-19T06:55:19ZAuthor David, René. author. Alla, Hassane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138130">http://dx.doi.org/10.1007/b138130</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>