Search Results for Systems analysis. - Narrowed by: Electronic Library

Logistics Systems Analysis

2026-04-14T19:58:48Z

Author Daganzo, Carlos F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-27516-9
Format: Electronic Resources
Availability Online Library~1

Hydrocarbon migration systems analysis

2026-04-14T19:58:48Z

Author Verweij, J. M.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444891037
Format: Electronic Resources
Availability Online Library~1

Modern Power Systems Analysis

2026-04-14T19:58:48Z

Author Wang, Xi-Fan. author. Song, Yonghua. author. Irving, Malcolm. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-72853-7
Format: Electronic Resources
Availability Online Library~1

Analysis of queueing systems

2026-04-14T19:58:48Z

Author White, John A., 1939- Schmidt, J. William (Joseph William), author. Bennett, George Kemble, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780127469508
Format: Electronic Resources
Availability Online Library~1

Cost analysis of electronic systems

2026-04-14T19:58:48Z

Author Sandborn, Peter.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=504190
Format: Electronic Resources
Availability Online Library~1

Analysis of water resource systems

2026-04-14T19:58:48Z

Author Votruba, Ladislav. Kos, Zdeněk.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444989444
Format: Electronic Resources
Availability Online Library~1

Southern Baltic Coastal Systems Analysis

2026-04-14T19:58:48Z

Author Schubert, Hendrik. editor. Müller, Felix. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-13682-5
Format: Electronic Resources
Availability Online Library~1

Stability Analysis of Markovian Jump Systems

2026-04-14T19:58:48Z

Author Kang, Yu. author. Zhao, Yun-Bo. author. Zhao, Ping. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3860-0
Format: Electronic Resources
Availability Online Library~1

Systems Analysis of Human Multigene Disorders

2026-04-14T19:58:48Z

Author Maltsev, Natalia. editor. Rzhetsky, Andrey. editor. Gilliam, T. Conrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-8778-4
Format: Electronic Resources
Availability Online Library~1

Modeling and analysis of communicating systems

2026-04-14T19:58:48Z

Author Groote, J. F. (Jan Friso), 1965-, author. Mousavi, Mohammad Reza, 1978-, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number ONLINE(364967.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6895438
Format: Electronic Resources
Availability Online Library~1

Modal Analysis of Nonlinear Mechanical Systems

2026-04-14T19:58:48Z

Author Kerschen, Gaetan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-7091-1791-0
Format: Electronic Resources
Availability Online Library~1

Iris Analysis for Biometric Recognition Systems

2026-04-14T19:58:48Z

Author Bodade, Rajesh M. author. Talbar, Sanjay N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-1853-1
Format: Electronic Resources
Availability Online Library~1

Mechatronic Systems Analysis, Design and Implementation

2026-04-14T19:58:48Z

Author Boukas, El-Kébir. author. AL-Sunni, Fouad M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22324-2
Format: Electronic Resources
Availability Online Library~1

Stochastic Reachability Analysis of Hybrid Systems

2026-04-14T19:58:48Z

Author Bujorianu, Luminita Manuela. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2795-6
Format: Electronic Resources
Availability Online Library~1

Disturbance analysis for power systems

2026-04-14T19:58:48Z

Author Ibrahim, Mohamed A., 1943- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6047600
Format: Electronic Resources
Availability Online Library~1

Routledge handbook of world-systems analysis

2026-04-14T19:58:48Z

Author Babones, Salvatore J. Chase-Dunn, Christopher K.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Manufacturing Systems Modeling and Analysis

2026-04-14T19:58:48Z

Author Curry, Guy L. author. Feldman, Richard M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16618-1
Format: Electronic Resources
Availability Online Library~1

Economic systems analysis and assessment

2026-04-14T19:58:48Z

Author Sage, Andrew P. Rouse, William B.
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=675043 Wiley InterScience - Full Text Online http://onlinelibrary.wiley.com/book/10.1002/9781118015490 http://swb.eblib.com/patron/FullRecord.aspx?p=675043
Format: Electronic Resources
Availability Online Library~1

Matrices and Matroids for Systems Analysis

2026-04-14T19:58:48Z

Author Murota, Kazuo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03994-2
Format: Electronic Resources
Availability Online Library~1

Substitution Dynamical Systems - Spectral Analysis

2026-04-14T19:58:48Z

Author Queffélec, Martine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11212-6
Format: Electronic Resources
Availability Online Library~1

Transportation Systems Analysis Models and Applications

2026-04-14T19:58:48Z

Author Cascetta, Ennio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75857-2
Format: Electronic Resources
Availability Online Library~1

Manufacturing Systems Modeling and Analysis

2026-04-14T19:58:48Z

Author Curry, Guy L. author. Feldman, Richard M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88763-8
Format: Electronic Resources
Availability Online Library~1

Systems Analysis for Water Technology

2026-04-14T19:58:48Z

Author Gujer, Willi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77278-1
Format: Electronic Resources
Availability Online Library~1

Hybrid Intelligent Systems Analysis and Design

2026-04-14T19:58:48Z

Author Castillo, Oscar. editor. Melin, Patricia. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-37421-3
Format: Electronic Resources
Availability Online Library~1

Microfluidic Technologies for Miniaturized Analysis Systems

2026-04-14T19:58:48Z

Author Hardt, Steffen. editor. Schönfeld, Friedhelm. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68424-6
Format: Electronic Resources
Availability Online Library~1

How to do systems analysis

2026-04-14T19:58:48Z

Author Gibson, John E. Scherer, William T. Gibson, William F. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470130599 MyiLibrary, Table of contents http://www.myilibrary.com?id=90112&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006033568-b.html
Format: Electronic Resources
Availability Online Library~1

Engineering analysis of smart material systems

2026-04-14T19:58:48Z

Author Leo, Donald J. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0740/2006103082-b.html John Wiley http://dx.doi.org/10.1002/9780470209721
Format: Electronic Resources
Availability Online Library~1

Analysis and control of linear systems

2026-04-14T19:58:48Z

Author Larminat, Philippe de. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470612521
Format: Electronic Resources
Availability Online Library~1

Stochastic Switching Systems Analysis and Design

2026-04-14T19:58:48Z

Author Boukas, El-Kébir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-8176-4452-0
Format: Electronic Resources
Availability Online Library~1

Wavelets, Multiscale Systems and Hypercomplex Analysis

2026-04-14T19:58:48Z

Author Alpay, Daniel. editor. Luger, Annemarie. editor. Woracek, Harald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-7643-7588-4
Format: Electronic Resources
Availability Online Library~1

Real-time systems design and analysis

2026-04-14T19:58:48Z

Author Laplante, Phillip A. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237056
Format: Electronic Resources
Availability Online Library~1

Electric power systems analysis and control

2026-04-14T19:58:48Z

Author Saccomanno, Fabio, 1933- John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237367
Format: Electronic Resources
Availability Online Library~1

Analysis of faulted power systems

2026-04-14T19:58:48Z

Author Anderson, P. M. (Paul M.), 1926-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263441
Format: Electronic Resources
Availability Online Library~1

Electrical power systems design and analysis

2026-04-14T19:58:48Z

Author El-Hawary, M. E.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5266298
Format: Electronic Resources
Availability Online Library~1

Water and wastewater systems analysis

2026-04-14T19:58:48Z

Author Stephenson, David, 1943-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444429452
Format: Electronic Resources
Availability Online Library~1

Random signal analysis in engineering systems

2026-04-14T19:58:48Z

Author Komo, John J.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124186606
Format: Electronic Resources
Availability Online Library~1

Design sensitivity analysis of structural systems

2026-04-14T19:58:48Z

Author Haug, Edward J. Choi, Kyung K. Komkov, Vadim.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123329202
Format: Electronic Resources
Availability Online Library~1

Microprobe analysis of biological systems

2026-04-14T19:58:48Z

Author Conference on Techniques and Applications of Microprobe Analysis of Cells and Tissues (1980 : Battelle Conference Center) Hutchinson, Thomas E. Somlyo, Andrew P. (Andrew Paul), 1930- Battelle Conference Center.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123628800
Format: Electronic Resources
Availability Online Library~1

The analysis of feedback systems

2026-04-14T19:58:48Z

Author Willems, Jan C.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267357
Format: Electronic Resources
Availability Online Library~1

Systems Analysis Approach for Complex Global Challenges

2026-04-14T19:58:48Z

Author Mensah, Priscilla. editor. Katerere, David. editor. Hachigonta, Sepo. editor. Roodt, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71486-8
Format: Electronic Resources
Availability Online Library~1

Food and feed safety systems and analysis

2026-04-14T19:58:48Z

Author Ricke, Steven C., 1957- editor. Atungulu, Griffiths Gregory, editor. Rainwater, Chase E., editor. Park, Si Hong, editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128118351
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Networked Control Systems

2026-04-14T19:58:48Z

Author You, Keyou. author. Xiao, Nan. author. Xie, Lihua. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6615-3
Format: Electronic Resources
Availability Online Library~1

Analysis and Control of Underactuated Mechanical Systems

2026-04-14T19:58:48Z

Author Choukchou-Braham, Amal. author. Cherki, Brahim. author. Djemaï, Mohamed. author. Busawon, Krishna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-02636-7
Format: Electronic Resources
Availability Online Library~1

Signals and Transforms in Linear Systems Analysis

2026-04-14T19:58:48Z

Author Wasylkiwskyj, Wasyl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331330.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3287-6
Format: Electronic Resources
Availability Online Library~1

The longue duree and world-systems analysis

2026-04-14T19:58:48Z

Author Lee, Richard E., 1945- Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Analysis and Synthesis of Delta Operator Systems

2026-04-14T19:58:48Z

Author Yang, Hongjiu. author. Xia, Yuanqing. author. Shi, Peng. author. Zhao, Ling. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28774-9
Format: Electronic Resources
Availability Online Library~1

Analysis and Synthesis of Networked Control Systems

2026-04-14T19:58:48Z

Author Xia, Yuanqing. author. Fu, Mengyin. author. Liu, Guo-Ping. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17925-9
Format: Electronic Resources
Availability Online Library~1

Risk and Safety Analysis of Nuclear Systems

2026-04-14T19:58:48Z

Author Lee, John C., 1941- author. McCormick, Norman J., 1938- author. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information MyiLibrary, Table of contents http://www.myilibrary.com?id=325614&ref=toc Books24x7 http://www.books24x7.com/marc.asp?bookid=43276 http://site.ebrary.com/lib/alltitles/Doc?id=10494682
Format: Electronic Resources
Availability Online Library~1

Multimedia Multiprocessor Systems Analysis, Design and Management

2026-04-14T19:58:48Z

Author Kumar, Akash. author. Corporaal, Henk. author. Mesman, Bart. author. Ha, Yajun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0083-3
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Descriptor Linear Systems

2026-04-14T19:58:48Z

Author Duan, Guang-Ren. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6397-0
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Nonlinear Control Systems

2026-04-14T19:58:48Z

Author Cheng, Daizhan. author. Hu, Xiaoming. author. Shen, Tielong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11550-9
Format: Electronic Resources
Availability Online Library~1

Risk Analysis of Complex and Uncertain Systems

2026-04-14T19:58:48Z

Author Cox, Louis Anthony. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-89014-2
Format: Electronic Resources
Availability Online Library~1

Chemical biophysics : quantitative analysis of cellular systems

2026-04-14T19:58:48Z

Author Beard, Daniel A., 1971- author. Qian, Hong, 1960- author.
Preferred Shelf Number QP517 .P49 B43 2008
Electronic Access https://doi.org/10.1017/CBO9780511803345
Format: Electronic Resources
Availability Online Library~1

Analysis of electric machinery and drive systems

2026-04-14T19:58:48Z

Author Krause, Paul C. Wasynczuk, Oleg. Sudhoff, Scott D. Krause, Paul C. Analysis of electric machinery.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265638
Format: Electronic Resources
Availability Online Library~1

Real-time systems scheduling, analysis, and verification

2026-04-14T19:58:48Z

Author Cheng, Albert M. K.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/0471224626 Knovel http://app.knovel.com/web/toc.v/cid:kpRTSSAV05 MyiLibrary, Table of contents http://www.myilibrary.com?id=36651&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley041/2003268015.html Knovel
Format: Electronic Resources
Availability Online Library~1

Manufacturing information & data systems analysis, design & practice

2026-04-14T19:58:48Z

Author Cecelja, Franjo.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781857180312
Format: Electronic Resources
Availability Online Library~1

Systems analysis for librarians and information professionals

2026-04-14T19:58:48Z

Author Osborne, Larry N. Nakamura, Margaret.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=38714
Format: Electronic Resources
Availability Online Library~1

Physiological control systems analysis, simulation, and estimation

2026-04-14T19:58:48Z

Author Khoo, Michael C. K.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263864
Format: Electronic Resources
Availability Online Library~1

Food service systems : analysis, design, and implementation

2026-04-14T19:58:48Z

Author Livingston, G. E. (Gideon Eleazar), 1927- Chang, Charlotte M.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124531505
Format: Electronic Resources
Availability Online Library~1

Qualitative analysis of large scale dynamical systems

2026-04-14T19:58:48Z

Author Michel, Anthony N. Miller, Richard K.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124938502
Format: Electronic Resources
Availability Online Library~1

Lab-on-a-chip miniaturized systems for (bio)chemical analysis and synthesis

2026-04-14T19:58:48Z

Author Oosterbroek, R. Edwin. Berg, A. van den (Albert)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444511003
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

2026-04-14T19:58:48Z

Author Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42626-1
Format: Electronic Resources
Availability Online Library~1

Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers

2026-04-14T19:58:48Z

Author Wehrmeister, Marco A. editor. Kreutz, Márcio. editor. Götz, Marcelo. editor. Henkler, Stefan. editor. Pimentel, Andy D. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26500-6
Format: Electronic Resources
Availability Online Library~1

Analysis and Design for Positive Stochastic Jump Systems

2026-04-14T19:58:48Z

Author Qi, Wenhai. author. Zong, Guangdeng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-5490-0
Format: Electronic Resources
Availability Online Library~1

Fluid Power Systems A Lecture Note in Modelling, Analysis and Control

2026-04-14T19:58:48Z

Author Hansen, Anders Hedegaard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-15089-0
Format: Electronic Resources
Availability Online Library~1

Big Data Management and Analysis for Cyber Physical Systems Selected Papers of BDET 2022

2026-04-14T19:58:48Z

Author Tang, Loon Ching. editor. Wang, Hongzhi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-17548-0
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Markov Jump Discrete Systems

2026-04-14T19:58:48Z

Author Kao, Yonggui. author. Zhang, Panpan. author. Wang, Changhong. author. Xia, Hongwei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5748-4
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

2026-04-14T19:58:48Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30820-8
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

2026-04-14T19:58:48Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30823-9
Format: Electronic Resources
Availability Online Library~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings

2026-04-14T19:58:48Z

Author Milius, Birgit. editor. Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43366-5
Format: Electronic Resources
Availability Online Library~1

Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation

2026-04-14T19:58:48Z

Author van Gulijk, Coen. editor. (orcid)0000-0003-4541-2693 Zaitseva, Elena. editor. Kvassay, Miroslav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40997-4
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Control Laws for Advanced Driver-Assistance Systems Theory and Applications

2026-04-14T19:58:48Z

Author Mimmo, Nicola. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22520-8
Format: Electronic Resources
Availability Online Library~1

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

2026-04-14T19:58:48Z

Author Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31476-6
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

2026-04-14T19:58:48Z

Author André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29662-9
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 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, Part II

2026-04-14T19:58:48Z

Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17465-1
Format: Electronic Resources
Availability Online Library~1

Design Sensitivity Analysis and Optimization of Electromagnetic Systems

2026-04-14T19:58:48Z

Author Park, Il Han. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-0230-5
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

2026-04-14T19:58:48Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17502-3
Format: Electronic Resources
Availability Online Library~1

Human Activity Recognition and Behaviour Analysis For Cyber-Physical Systems in Smart Environments

2026-04-14T19:58:48Z

Author Chen, Liming. author. (orcid)0000-0003-0200-7989 Nugent, Chris D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19408-6
Format: Electronic Resources
Availability Online Library~1

Analysis of Chaotic Behavior in Non-linear Dynamical Systems Models and Algorithms for Quaternions

2026-04-14T19:58:48Z

Author Piórek, Michał. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94887-4
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 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, Part I

2026-04-14T19:58:48Z

Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17462-0
Format: Electronic Resources
Availability Online Library~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2026-04-14T19:58:48Z

Author Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18744-6
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2026-04-14T19:58:48Z

Author Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources
Availability Online Library~1

Analysis and Simulation of Electrical and Computer Systems

2026-04-14T19:58:48Z

Author Mazur, Damian. editor. Gołębiowski, Marek. editor. Korkosz, Mariusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63949-9
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings

2026-04-14T19:58:48Z

Author Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01042-3
Format: Electronic Resources
Availability Online Library~1

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 I

2026-04-14T19:58:48Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89960-2
Format: Electronic Resources
Availability Online Library~1

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 II

2026-04-14T19:58:48Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89963-3
Format: Electronic Resources
Availability Online Library~1

Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach

2026-04-14T19:58:48Z

Author Parkinson, Simon. editor. (orcid)0000-0002-1747-9914 Crampton, Andrew. editor. (orcid)0000-0002-4635-9102 Hill, Richard. editor. (orcid)0000-0003-0105-7730 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92624-7
Format: Electronic Resources
Availability Online Library~1

Handheld Total Chemical and Biological Analysis Systems Bridging NMR, Digital Microfluidics, and Semiconductors

2026-04-14T19:58:48Z

Author Lei, Ka-Meng. author. Mak, Pui-In. author. Law, Man-Kay. author. Martins, Rui Paulo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67825-2
Format: Electronic Resources
Availability Online Library~1

Point Processes for Reliability Analysis Shocks and Repairable Systems

2026-04-14T19:58:48Z

Author Cha, Ji Hwan. author. Finkelstein, Maxim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73540-5
Format: Electronic Resources
Availability Online Library~1

Analysis and Modelling of Advanced Structures and Smart Systems

2026-04-14T19:58:48Z

Author Altenbach, Holm. editor. Carrera, Erasmo. editor. Kulikov, Gennady. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6895-9
Format: Electronic Resources
Availability Online Library~1

Thermal Analysis of Power Electronic Devices Used in Renewable Energy Systems

2026-04-14T19:58:48Z

Author Albarbar, Alhussein. author. Batunlu, Canras. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59828-4
Format: Electronic Resources
Availability Online Library~1

Qualitative and Quantitative Analysis of Nonlinear Systems Theory and Applications

2026-04-14T19:58:48Z

Author Zgurovsky, Michael Z. author. Kasyanov, Pavlo O. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59840-6
Format: Electronic Resources
Availability Online Library~1

Clinical costing techniques and analysis in modern healthcare systems

2026-04-14T19:58:48Z

Author Ma, Ronald, 1961- editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5082-2
Format: Electronic Resources
Availability Online Library~1

Modeling methods for business information systems analysis and design

2026-04-14T19:58:48Z

Author Guedria, Wided, 1982- editor. Guerreiro, Sergio, 1976- editor. Krogstie, John, editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5522-3
Format: Electronic Resources
Availability Online Library~1

A complete guide to the futures market : technical analysis and trading systems, fundamental analysis, options, spreads, and trading principles

2026-04-14T19:58:48Z

Author Schwager, Jack D., 1948- author. Etzkorn, Mark, author.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Megaproject risk analysis and simulation : a dynamic systems approach

2026-04-14T19:58:48Z

Author Boateng, Prince, author. Chen, Zhen, author. Ogunlana, Stephen O., 1957-, author.
Preferred Shelf Number ONLINE
Electronic Access https://www.emerald.com/insight/publication/doi/10.1108/9781786358301
Format: Electronic Resources
Availability Online Library~1

Handbook of system safety and security : cyber risk and risk management, cyber security, threat analysis, functional safety, software systems, and cyber physical systems

2026-04-14T19:58:48Z

Author Griffor, Edward R., editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128037737
Format: Electronic Resources
Availability Online Library~1

Systems Analysis and Synthesis : Bridging Computer Science and Information Technology

2026-04-14T19:58:48Z

Author Dwyer, Barry, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128053041
Format: Electronic Resources
Availability Online Library~1

Organizations and Unusual Routines A Systems Analysis of Dysfunctional Feedback Processes

2026-04-14T19:58:48Z

Author Rice, Ronald E.. Cooper, Stephen D..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

2026-04-14T19:58:48Z

Author Sankaranarayanan, Sriram. editor. Vicario, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22975-1
Format: Electronic Resources
Availability Online Library~1

Fuzzy Control Systems with Time-Delay and Stochastic Perturbation Analysis and Synthesis

2026-04-14T19:58:48Z

Author Wu, Ligang. author. Su, Xiaojie. author. Shi, Peng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11316-6
Format: Electronic Resources
Availability Online Library~1

Non-functional Requirements in Systems Analysis and Design

2026-04-14T19:58:48Z

Author Adams, Kevin MacG. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18344-2
Format: Electronic Resources
Availability Online Library~1

Frequency Domain Analysis and Design of Nonlinear Systems based on Volterra Series Expansion A Parametric Characteristic Approach

2026-04-14T19:58:48Z

Author Jing, Xingjian. author. Lang, Ziqiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12391-2
Format: Electronic Resources
Availability Online Library~1

Analysis and Simulation of Electrical and Computer Systems

2026-04-14T19:58:48Z

Author Gołębiowski, Lesław. editor. Mazur, Damian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11248-0
Format: Electronic Resources
Availability Online Library~1

Analysis and Control of Complex Dynamical Systems Robust Bifurcation, Dynamic Attractors, and Network Complexity

2026-04-14T19:58:48Z

Author Aihara, Kazuyuki. editor. Imura, Jun-ichi. editor. Ueta, Tetsushi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-55013-6
Format: Electronic Resources
Availability Online Library~1

Cyberphysical Systems for Epilepsy and Related Brain Disorders Multi-parametric Monitoring and Analysis for Diagnosis and Optimal Disease Management

2026-04-14T19:58:48Z

Author Voros, Nikolaos S. editor. Antonopoulos, Christos P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-20049-1
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2026-04-14T19:58:48Z

Author Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-46681-0
Format: Electronic Resources
Availability Online Library~1

Lab-on-a-Chip Devices and Micro-Total Analysis Systems A Practical Guide

2026-04-14T19:58:48Z

Author Castillo-León, Jaime. editor. Svendsen, Winnie E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08687-3
Format: Electronic Resources
Availability Online Library~1

Linear Parameter-Varying and Time-Delay Systems Analysis, Observation, Filtering & Control

2026-04-14T19:58:48Z

Author Briat, Corentin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44050-6
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Singular Markovian Jump Systems

2026-04-14T19:58:48Z

Author Wang, Guoliang. author. Zhang, Qingling. author. Yan, Xinggang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08723-8
Format: Electronic Resources
Availability Online Library~1

Planning and Control of Maintenance Systems Modelling and Analysis

2026-04-14T19:58:48Z

Author Duffuaa, Salih O. author. Raouf, A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19803-3
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

2026-04-14T19:58:48Z

Author Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10512-3
Format: Electronic Resources
Availability Online Library~1

Vehicle-Manipulator Systems Modeling for Simulation, Analysis, and Control

2026-04-14T19:58:48Z

Author From, Pål Johan. author. Gravdahl, Jan Tommy. author. Pettersen, Kristin Ytterstad. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-5463-1
Format: Electronic Resources
Availability Online Library~1

Nostradamus 2014: Prediction, Modeling and Analysis of Complex Systems

2026-04-14T19:58:48Z

Author Zelinka, Ivan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. (orcid)0000-0003-0901-5105 Chen, Guanrong. editor. Snasel, Vaclav. editor. Abraham, Ajith. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07401-6
Format: Electronic Resources
Availability Online Library~1

A Systems Theoretic Approach to Systems and Synthetic Biology II: Analysis and Design of Cellular Systems

2026-04-14T19:58:48Z

Author Kulkarni, Vishwesh V. editor. Stan, Guy-Bart. editor. Raman, Karthik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-9047-5
Format: Electronic Resources
Availability Online Library~1

Advanced Symbolic Analysis for VLSI Systems Methods and Applications

2026-04-14T19:58:48Z

Author Shi, Guoyong. author. Tan, Sheldon X.-D. author. Tlelo Cuautle, Esteban. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-1103-5
Format: Electronic Resources
Availability Online Library~1

Continuum Analysis of Biological Systems Conserved Quantities, Fluxes and Forces

2026-04-14T19:58:48Z

Author Suraishkumar, G.K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54468-2
Format: Electronic Resources
Availability Online Library~1

Transient analysis of power systems : solution techniques, tools, and applications

2026-04-14T19:58:48Z

Author Martinez-Velasco, Juan A., author. IEEE Xplore (Online Service), distributor. Wiley, publisher.
Preferred Shelf Number ONLINE(365000.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6987689
Format: Electronic Resources
Availability Online Library~1

Object-oriented analysis and design for information systems : modeling with UML, OCL, and IFML

2026-04-14T19:58:48Z

Author Wazlawick, Raul Sidnei, author.
Preferred Shelf Number ONLINE(356034.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124186736
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-04-14T19:58:48Z

Author Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54862-8
Format: Electronic Resources
Availability Online Library~1

Correlation-based network analysis of cancer metabolism A new systems biology approach in metabolomics

2026-04-14T19:58:48Z

Author Armitage, Emily G. author. Kotze, Helen L. author. Williams, Kaye J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-0615-4
Format: Electronic Resources
Availability Online Library~1

Control Design and Analysis for Underactuated Robotic Systems

2026-04-14T19:58:48Z

Author Xin, Xin. author. Liu, Yannian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6251-3
Format: Electronic Resources
Availability Online Library~1

Systems Analysis of Chromatin-Related Protein Complexes in Cancer

2026-04-14T19:58:48Z

Author Emili, Andrew. editor. Greenblatt, Jack. editor. Wodak, Shoshana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-7931-4
Format: Electronic Resources
Availability Online Library~1

Analysis and synthesis of fault-tolerant control systems

2026-04-14T19:58:48Z

Author Mahmoud, Magdi S. Xia, Yuanqing.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Advanced Transport Systems Analysis, Modeling, and Evaluation of Performances

2026-04-14T19:58:48Z

Author Janić, Milan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6287-2
Format: Electronic Resources
Availability Online Library~1

Systems Analysis Tools for Better Health Care Delivery

2026-04-14T19:58:48Z

Author Pardalos, Panos M. editor. Georgiev, Pando G. editor. Papajorgji, Petraq. editor. Neugaard, Britta. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331674.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5094-8
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Analysis of Medical Data and Decision Support Systems

2026-04-14T19:58:48Z

Author Kountchev, Roumen. editor. Iantovics, Barna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332660.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00029-9
Format: Electronic Resources
Availability Online Library~1

Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications

2026-04-14T19:58:48Z

Author Tempo, Roberto. author. Calafiore, Giuseppe. author. Dabbene, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331024.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4610-0
Format: Electronic Resources
Availability Online Library~1

Stability Analysis and Design for Nonlinear Singular Systems

2026-04-14T19:58:48Z

Author Yang, Chunyu. author. Zhang, Qingling. author. Zhou, Linna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333529.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32144-3
Format: Electronic Resources
Availability Online Library~1

Nostradamus: Modern Methods of Prediction, Modeling and Analysis of Nonlinear Systems

2026-04-14T19:58:48Z

Author Zelinka, Ivan. editor. Rössler, Otto E. editor. Snášel, Václav. editor. Abraham, Ajith. editor. Corchado, Emilio S. editor.
Preferred Shelf Number ONLINE(333682.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33227-2
Format: Electronic Resources
Availability Online Library~1

Radial Basis Function (RBF) Neural Network Control for Mechanical Systems Design, Analysis and Matlab Simulation

2026-04-14T19:58:48Z

Author Liu, Jinkun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333890.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34816-7
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2026-04-14T19:58:48Z

Author Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334278.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36742-7
Format: Electronic Resources
Availability Online Library~1

Analysis and Synthesis of Singular Systems with Time-Delays

2026-04-14T19:58:48Z

Author Wu, Zheng-Guang. author. Su, Hongye. author. Shi, Peng. author. Chu, Jian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334442.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37497-5
Format: Electronic Resources
Availability Online Library~1

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

2026-04-14T19:58:48Z

Author Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE(334682.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38853-8
Format: Electronic Resources
Availability Online Library~1

Analysis, Control and Optimal Operations in Hybrid Power Systems Advanced Techniques and Applications for Linear and Nonlinear Systems

2026-04-14T19:58:48Z

Author Bizon, Nicu. editor. Shayeghi, Hossein. editor. Mahdavi Tabatabaei, Naser. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331215.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5538-6
Format: Electronic Resources
Availability Online Library~1

Production Planning and Control for Semiconductor Wafer Fabrication Facilities Modeling, Analysis, and Systems

2026-04-14T19:58:48Z

Author Mönch, Lars. author. Fowler, John W. author. Mason, Scott J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331515.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4472-5
Format: Electronic Resources
Availability Online Library~1

Nostradamus 2013: Prediction, Modeling and Analysis of Complex Systems

2026-04-14T19:58:48Z

Author Zelinka, Ivan. editor. Chen, Guanrong. editor. Rössler, Otto E. editor. Snasel, Vaclav. editor. Abraham, Ajith. editor.
Preferred Shelf Number ONLINE(332763.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00542-3
Format: Electronic Resources
Availability Online Library~1

Introduction to Systems Analysis Mathematically Modeling Natural Systems

2026-04-14T19:58:48Z

Author Imboden, Dieter M. author. Pfenninger, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333343.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30639-6
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

2026-04-14T19:58:48Z

Author Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334913.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40229-6
Format: Electronic Resources
Availability Online Library~1

Application of Dimensional Analysis in Systems Modeling and Control Design

2026-04-14T19:58:48Z

Author Balaguer, Pedro
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/PBCE090E
Format: Electronic Resources
Availability Online Library~1

Geomorphic analysis of river systems an approach to reading the landscape

2026-04-14T19:58:48Z

Author Fryirs, Kirstie A. Brierley, Gary J.
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=1032536 Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118305454 John Wiley http://dx.doi.org/10.1002/9781118305454 http://swb.eblib.com/patron/FullRecord.aspx?p=1032536
Format: Electronic Resources
Availability Online Library~1

Reliability analysis of dynamic systems efficient probabilistic methods and aerospace applications

2026-04-14T19:58:48Z

Author Wu, Bin, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124077119
Format: Electronic Resources
Availability Online Library~1

Real-time systems design and analysis tools for the practitioner

2026-04-14T19:58:48Z

Author Laplante, Phillip A. Ovaska, Seppo J., 1956- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168883
Format: Electronic Resources
Availability Online Library~1

Frequency-domain analysis and design of distributed control systems

2026-04-14T19:58:48Z

Author Tian, Yu-Ping.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6305386
Format: Electronic Resources
Availability Online Library~1

Information Quality and Management Accounting A Simulation Analysis of Biases in Costing Systems

2026-04-14T19:58:48Z

Author Leitner, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33209-8
Format: Electronic Resources
Availability Online Library~1

New Frontiers of Network Analysis in Systems Biology

2026-04-14T19:58:48Z

Author Ma'ayan, Avi. editor. MacArthur, Ben D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-4330-4
Format: Electronic Resources
Availability Online Library~1

Landslide Analysis and Early Warning Systems Local and Regional Case Study in the Swabian Alb, Germany

2026-04-14T19:58:48Z

Author Thiebes, Benni. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27526-5
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2026-04-14T19:58:48Z

Author Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28756-5
Format: Electronic Resources
Availability Online Library~1

Complexity, Analysis and Control of Singular Biological Systems

2026-04-14T19:58:48Z

Author Zhang, Qingling. author. Liu, Chao. author. Zhang, Xue. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2303-3
Format: Electronic Resources
Availability Online Library~1

Control Systems with Saturating Inputs Analysis Tools and Advanced Design

2026-04-14T19:58:48Z

Author Corradini, Maria Letizia. author. Cristofaro, Andrea. author. Giannoni, Fabio. author. Orlando, Giuseppe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2506-8
Format: Electronic Resources
Availability Online Library~1

Methods of Optimization and Systems Analysis for Problems of Transcomputational Complexity

2026-04-14T19:58:48Z

Author Sergienko, Ivan V. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4211-0
Format: Electronic Resources
Availability Online Library~1

Dynamic Response of Linear Mechanical Systems Modeling, Analysis and Simulation

2026-04-14T19:58:48Z

Author Angeles, Jorge. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1027-1
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

2026-04-14T19:58:48Z

Author Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33365-1
Format: Electronic Resources
Availability Online Library~1

The handbook of work analysis methods, systems, applications and science of work measurement in organizations

2026-04-14T19:58:48Z

Author Wilson, Mark A. (Mark Alan), 1952-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Systemic design methodologies for electrical energy systems analysis, synthesis and management

2026-04-14T19:58:48Z

Author Roboam, Xavier.
Preferred Shelf Number ONLINE
Electronic Access Connect to MyiLibrary resource. John Wiley http://dx.doi.org/10.1002/9781118569863
Format: Electronic Resources
Availability Online Library~1

Human-nature interactions in the anthropocene potentials of social-ecological systems analysis

2026-04-14T19:58:48Z

Author Glaser, Marion.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Life-cycle analysis of energy systems from methodology to applications

2026-04-14T19:58:48Z

Author Sørensen, Bent, 1941- Royal Society of Chemistry (Great Britain)
Preferred Shelf Number ONLINE(342990.1)
Electronic Access Royal Society of Chemistry An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources
Availability Online Library~1

Advanced Sliding Mode Control for Mechanical Systems Design, Analysis and MATLAB Simulation

2026-04-14T19:58:48Z

Author Liu, Jinkun. author. Wang, Xinhua. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20907-9
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

2026-04-14T19:58:48Z

Author Fahrenberg, Uli. editor. Tripakis, Stavros. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24310-3
Format: Electronic Resources
Availability Online Library~1

Research in Systems Analysis and Design: Models and Methods 4th SIGSAND/PLAIS EuroSymposium 2011, Gdańsk, Poland, September 29, 2011, Revised Selected Papers

2026-04-14T19:58:48Z

Author Wrycza, Stanisław. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25676-9
Format: Electronic Resources
Availability Online Library~1

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

2026-04-14T19:58:48Z

Author Herde, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9949-1
Format: Electronic Resources
Availability Online Library~1

Symmetries and Semi-invariants in the Analysis of Nonlinear Systems

2026-04-14T19:58:48Z

Author Menini, Laura. author. Tornambè, Antonio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-612-2
Format: Electronic Resources
Availability Online Library~1

Introduction to Modeling and Analysis of Stochastic Systems

2026-04-14T19:58:48Z

Author Kulkarni, V. G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1772-0
Format: Electronic Resources
Availability Online Library~1

Weighted Network Analysis Applications in Genomics and Systems Biology

2026-04-14T19:58:48Z

Author Horvath, Steve. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8819-5
Format: Electronic Resources
Availability Online Library~1

Fractional-Order Nonlinear Systems Modeling, Analysis and Simulation

2026-04-14T19:58:48Z

Author Petráš, Ivo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18101-6
Format: Electronic Resources
Availability Online Library~1

Periodic Review Inventory Systems Performance Analysis and Optimization of Inventory Systems within Supply Chains

2026-04-14T19:58:48Z

Author Wensing, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20479-1
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings

2026-04-14T19:58:48Z

Author Chaki, Nabendu. editor. Cortesi, Agostino. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27245-5
Format: Electronic Resources
Availability Online Library~1

Design and Analysis of Biomolecular Circuits Engineering Approaches to Systems and Synthetic Biology

2026-04-14T19:58:48Z

Author Koeppl, Heinz. editor. Setti, Gianluca. editor. di Bernardo, Mario. editor. Densmore, Douglas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6766-4
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2026-04-14T19:58:48Z

Author Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19835-9
Format: Electronic Resources
Availability Online Library~1

Systems analysis for sustainable engineering theory and applications

2026-04-14T19:58:48Z

Author Chang, Ni-Bin.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Transients in electrical systems analysis, recognition, and mitigation

2026-04-14T19:58:48Z

Author Das, J. C., 1934-
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Chaos in electric drive systems analysis, control, and application

2026-04-14T19:58:48Z

Author Chau, K. T. Wang, Zheng, 1979-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6016258 IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6016258
Format: Electronic Resources
Availability Online Library~1

Mechanical design handbook measurement, analysis, and control of dynamic systems

2026-04-14T19:58:48Z

Author Rothbart, Harold A. Brown, Thomas H., Jr.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Failure analysis a practical guide for manufacturers of electronic components and systems

2026-04-14T19:58:48Z

Author Bâzu, M. I. (Marius I.), 1948- Băjenescu, Titu I., 1938-
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781119990093 Books24x7 http://www.books24x7.com/marc.asp?bookid=41699
Format: Electronic Resources
Availability Online Library~1

Stability Analysis of Fuzzy-Model-Based Control Systems Linear-Matrix-Inequality Approach

2026-04-14T19:58:48Z

Author Lam, Hak-Keung. author. Leung, Frank Hung-Fat. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17844-3
Format: Electronic Resources
Availability Online Library~1

Guide to yeast genetics functional genomics, proteomics, and other systems analysis

2026-04-14T19:58:48Z

Author Weissman, Jonathan. Guthrie, Christine. Fink, Gerald R.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/bookseries/00766879 ScienceDirect http://www.sciencedirect.com/science/book/9780123751720
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

2026-04-14T19:58:48Z

Author Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15297-9
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2026-04-14T19:58:48Z

Author Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12002-2
Format: Electronic Resources
Availability Online Library~1

Activity Systems Analysis Methods Understanding Complex Learning Environments

2026-04-14T19:58:48Z

Author Yamagata-Lynch, Lisa C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6321-5
Format: Electronic Resources
Availability Online Library~1

Stability Analysis and Robust Control of Time-Delay Systems

2026-04-14T19:58:48Z

Author Wu, Min. author. He, Yong. author. She, Jin-Hua. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03037-6
Format: Electronic Resources
Availability Online Library~1

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics

2026-04-14T19:58:48Z

Author Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14509-4
Format: Electronic Resources
Availability Online Library~1

Responsible Leadership Systems An Empirical Analysis of Integrating Corporate Responsibility into Leadership Systems

2026-04-14T19:58:48Z

Author Hansen, Erik G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8349-8675-7
Format: Electronic Resources
Availability Online Library~1

Restructured electric power systems analysis of electricity markets with equilibrium models

2026-04-14T19:58:48Z

Author Zhang, Xiao-Ping.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5599325
Format: Electronic Resources
Availability Online Library~1

Direct methods for stability analysis of electric power systems

2026-04-14T19:58:48Z

Author Chiang, H. (Hsiao-Dong)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5732791
Format: Electronic Resources
Availability Online Library~1

Quasilinear Control Performance Analysis and Design of Feedback Systems with Nonlinear Sensors and Actuators

2026-04-14T19:58:48Z

Author Ching, ShiNung. Eun, Yongsoon. Gokcek, Cevat. Kabamba, Pierre T.. Meerkov, Semyon M..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Political atlas of the modern world an experiment in multidimensional statistical analysis of the political systems of modern states

2026-04-14T19:58:48Z

Author Melʹvilʹ, A. I͡U. (Andreĭ I͡Urʹevich) Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2026-04-14T19:58:48Z

Author Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00768-2
Format: Electronic Resources
Availability Online Library~1

Analysis and Control of Nonlinear Systems A Flatness-based Approach

2026-04-14T19:58:48Z

Author Levine, Jean. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00839-9
Format: Electronic Resources
Availability Online Library~1

AC Machine Systems Mathematical Model and Parameters, Analysis, and System Performance

2026-04-14T19:58:48Z

Author Gao, Jingde. author. Wang, Xiangheng. author. Zhang, Linzheng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01153-5
Format: Electronic Resources
Availability Online Library~1

Topics in Time Delay Systems Analysis, Algorithms and Control

2026-04-14T19:58:48Z

Author Loiseau, Jean Jacques. editor. Michiels, Wim. editor. Niculescu, Silviu-Iulian. editor. Sipahi, Rifat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02897-7
Format: Electronic Resources
Availability Online Library~1

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

2026-04-14T19:58:48Z

Author Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04284-3
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

2026-04-14T19:58:48Z

Author Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04368-0
Format: Electronic Resources
Availability Online Library~1

Bio-inspired Hybrid Intelligent Systems for Image Analysis and Pattern Recognition

2026-04-14T19:58:48Z

Author Melin, Patricia. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04516-5
Format: Electronic Resources
Availability Online Library~1

Scheduling in Distributed Computing Systems Analysis, Design and Models

2026-04-14T19:58:48Z

Author Vidyarthi, Deo Prakash. author. Sarker, Biplab Kumer. author. Tripathi, Anil Kumar. author. Yang, Laurence Tianruo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-74483-4
Format: Electronic Resources
Availability Online Library~1

Analysis and Synthesis of Dynamical Systems with Time-Delays

2026-04-14T19:58:48Z

Author Xia, Yuanqing. author. Fu, Mengyin. author. Shi, Peng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02696-6
Format: Electronic Resources
Availability Online Library~1

Homogeneous Polynomial Forms for Robustness Analysis of Uncertain Systems

2026-04-14T19:58:48Z

Author Chesi, Graziano. author. Garulli, Andrea. author. Tesi, Alberto. author. Vicino, Antonio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-781-3
Format: Electronic Resources
Availability Online Library~1

Dynamical Analysis of Vehicle Systems Theoretical Foundations and Advanced Applications

2026-04-14T19:58:48Z

Author Schiehlen, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-211-76666-8
Format: Electronic Resources
Availability Online Library~1

Advanced Design of Mechanical Systems: From Analysis to Optimization

2026-04-14T19:58:48Z

Author Ambrósio, Jorge A. C. editor. Eberhard, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-211-99461-0
Format: Electronic Resources
Availability Online Library~1

Discontinuous Systems Lyapunov Analysis and Robust Synthesis under Uncertainty Conditions

2026-04-14T19:58:48Z

Author Orlov, Yury V. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-984-4
Format: Electronic Resources
Availability Online Library~1

Power systems modelling and fault analysis theory and practice

2026-04-14T19:58:48Z

Author Tleis, Nasser D.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750680745
Format: Electronic Resources
Availability Online Library~1

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

2026-04-14T19:58:48Z

Author Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Nonlinear Control Systems In Honor of Alberto Isidori

2026-04-14T19:58:48Z

Author Astolfi, Alessandro. editor. Marconi, Lorenzo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74358-3
Format: Electronic Resources
Availability Online Library~1

Design and Analysis of Learning Classifier Systems A Probabilistic Approach

2026-04-14T19:58:48Z

Author Drugowitsch, Jan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79866-8
Format: Electronic Resources
Availability Online Library~1

The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems

2026-04-14T19:58:48Z

Author Pezzulo, Giovanni. editor. Butz, Martin V. editor. Castelfranchi, Cristiano. editor. Falcone, Rino. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87702-8
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2026-04-14T19:58:48Z

Author Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78800-3
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Information Systems Third Edition

2026-04-14T19:58:48Z

Author Langer, Arthur M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-655-1
Format: Electronic Resources
Availability Online Library~1

Hydrogen-based Autonomous Power Systems Techno-economic Analysis of the Integration of Hydrogen in Autonomous Power Systems

2026-04-14T19:58:48Z

Author Zoulias, Emmanuel I. author. Lymberopoulos, N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-247-0
Format: Electronic Resources
Availability Online Library~1

The Delft Systems Approach Analysis and Design of Industrial Systems

2026-04-14T19:58:48Z

Author Veeke, Hans P.M. author. Lodewijks, Gabriël. author. Ottjes, Jaap A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-177-0
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

2026-04-14T19:58:48Z

Author Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85778-5
Format: Electronic Resources
Availability Online Library~1

Secure computer and network systems modeling, analysis and design

2026-04-14T19:58:48Z

Author Ye, Nong. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0833/2007037133-b.html John Wiley http://dx.doi.org/10.1002/9780470023273
Format: Electronic Resources
Availability Online Library~1

Systems analysis & design fundamentals a business process redesign approach

2026-04-14T19:58:48Z

Author Kock, Ned F., 1964-
Preferred Shelf Number ONLINE(369466.1)
Electronic Access SAGE knowledge http://sk.sagepub.com/books/systems-analysis-and-design-fundamentals
Format: Electronic Resources
Availability Online Library~1

LMI Approach to Analysis and Control of Takagi-Sugeno Fuzzy Systems with Time Delay

2026-04-14T19:58:48Z

Author Lin, Chong. author. Wang, Qing-Guo. author. Lee, Tong Heng. author. He, Yong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-49554-3
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Intelligent Systems using Soft Computing Techniques

2026-04-14T19:58:48Z

Author Melin, Patricia. editor. Castillo, Oscar. editor. Ramírez, Eduardo Gomez. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72432-2
Format: Electronic Resources
Availability Online Library~1

Systems engineering with SysML/UML modeling, analysis, design

2026-04-14T19:58:48Z

Author Weilkiens, Tim.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123742742
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

2026-04-14T19:58:48Z

Author Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75454-1
Format: Electronic Resources
Availability Online Library~1

Max-Plus Linear Stochastic Systems and Perturbation Analysis

2026-04-14T19:58:48Z

Author Heidergott, Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-38995-0
Format: Electronic Resources
Availability Online Library~1

Mathematical Modeling of Biological Systems, Volume I Cellular Biophysics, Regulatory Networks, Development, Biomedicine, and Data Analysis

2026-04-14T19:58:48Z

Author Deutsch, Andreas. editor. Brusch, Lutz. editor. Byrne, Helen. editor. Vries, Gerda de. editor. Herzel, Hanspeter. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4558-8
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2026-04-14T19:58:48Z

Author Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71209-1
Format: Electronic Resources
Availability Online Library~1

Dynamic Analysis of Petri Net-Based Discrete Systems

2026-04-14T19:58:48Z

Author Karatkevich, Andrei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71560-3
Format: Electronic Resources
Availability Online Library~1

Dissipative Systems Analysis and Control Theory and Applications

2026-04-14T19:58:48Z

Author Brogliato, Bernard. author. Maschke, Bernhard. author. Lozano, Rogelio. author. Egeland, Olav. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-517-2
Format: Electronic Resources
Availability Online Library~1

Modelling and Analysis of Hybrid Supervisory Systems A Petri Net Approach

2026-04-14T19:58:48Z

Author Villani, Emilia. author. Miyagi, Paulo E. author. Valette, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-651-3
Format: Electronic Resources
Availability Online Library~1

Systems with hysteresis analysis, identification and control using the Bouc-Wen model

2026-04-14T19:58:48Z

Author Ikhouane, Faycal. Rodellar, José. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0739/2007019894-b.html John Wiley http://dx.doi.org/10.1002/9780470513200
Format: Electronic Resources
Availability Online Library~1

Systems engineering with SysML/UML modeling, analysis, design

2026-04-14T19:58:48Z

Author Weilkiens, Tim.
Preferred Shelf Number ONLINE(313039.1)
Electronic Access Knovel http://app.knovel.com/hotlink/toc/id:kpSESMLUM6/systems-engineering-with Knovel http://app.knovel.com/web/toc.v/cid:kpSESMLUM6
Format: Electronic Resources
Availability Online Library~1

Analysis and design of hybrid systems 2006 a proceedings volume from the 2nd IFAC Conference, 7-9 June, 2006, Alghero, Italy

2026-04-14T19:58:48Z

Author ADHS 06 (2006 : Alghero, Italy) Cassandras, Christos G. International Federation of Automatic Control.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780080446134
Format: Electronic Resources
Availability Online Library~1

Wisdom, Knowledge, and Management A Critique and Analysis of Churchman’s Systems Approach

2026-04-14T19:58:48Z

Author Gigch, John P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-36506-0
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2026-04-14T19:58:48Z

Author Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11691372
Format: Electronic Resources
Availability Online Library~1

Harmonic Analysis and Rational Approximation Their Rôles in Signals, Control and Dynamical Systems

2026-04-14T19:58:48Z

Author Fournier, J. -D. editor. Grimm, J. editor. Leblond, J. editor. Partington, J. R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11601609
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

2026-04-14T19:58:48Z

Author Asarin, Eugene. editor. Bouyer, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11867340
Format: Electronic Resources
Availability Online Library~1

Document Analysis Systems VII 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006. Proceedings

2026-04-14T19:58:48Z

Author Bunke, Horst. editor. Spitz, A. Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11669487
Format: Electronic Resources
Availability Online Library~1

Rule-Based Evolutionary Online Learning Systems A Principled Approach to LCS Analysis and Design

2026-04-14T19:58:48Z

Author Butz, Martin V. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104669
Format: Electronic Resources
Availability Online Library~1

Phased array antennas Floquet analysis, synthesis, BFNs, and active array systems

2026-04-14T19:58:48Z

Author Bhattacharyya, Arun. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access Click for information John Wiley http://dx.doi.org/10.1002/0471769126 Books24x7 http://www.books24x7.com/marc.asp?bookid=46197
Format: Electronic Resources
Availability Online Library~1

Structural Sensitivity Analysis and Optimization 1 Linear Systems

2026-04-14T19:58:48Z

Author Choi, Kyung K. author. Kim, Nam Ho. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138709
Format: Electronic Resources
Availability Online Library~1

Structural Sensitivity Analysis and Optimization 2 Nonlinear Systems and Applications

2026-04-14T19:58:48Z

Author Choi, Kyung K. author. Kim, Nam Ho. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138895
Format: Electronic Resources
Availability Online Library~1

Randomized Algorithms for Analysis and Control of Uncertain Systems

2026-04-14T19:58:48Z

Author Tempo, Roberto. author. Dabbene, Fabrizio. author. Calafiore, Giuseppe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137802
Format: Electronic Resources
Availability Online Library~1

Multidisciplinary Methods for Analysis Optimization and Control of Complex Systems

2026-04-14T19:58:48Z

Author Capasso, Vincenzo. editor. Périaux, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138707
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2026-04-14T19:58:48Z

Author Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107194
Format: Electronic Resources
Availability Online Library~1

Analysis, Control and Optimization of Complex Dynamic Systems

2026-04-14T19:58:48Z

Author Boukas, El Kébir. editor. Malhamé, Roland P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135410
Format: Electronic Resources
Availability Online Library~1

Mathematical Systems Theory I Modelling, State Space Analysis, Stability and Robustness

2026-04-14T19:58:48Z

Author Hinrichsen, Diederich. author. Pritchard, Anthony J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137541
Format: Electronic Resources
Availability Online Library~1

Switched and Impulsive Systems Analysis, Design, and Applications

2026-04-14T19:58:48Z

Author Li, Zhengguo. author. Soh, Yengchai. author. Wen, Changyun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b100366
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

2026-04-14T19:58:48Z

Author Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11603009
Format: Electronic Resources
Availability Online Library~1

Scalable continuous media streaming systems architecture, design, analysis and implementation

2026-04-14T19:58:48Z

Author Lee, Jack Y. B. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access Click for information John Wiley http://dx.doi.org/10.1002/047001539X
Format: Electronic Resources
Availability Online Library~1

Numerical methods for linear control systems design and analysis

2026-04-14T19:58:48Z

Author Datta, Biswa Nath.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780122035906
Format: Electronic Resources
Availability Online Library~1

Random vibrations analysis of structural and mechanical systems

2026-04-14T19:58:48Z

Author Lutes, L. D. (Loren D.) Sarkani, Shahram.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750677653
Format: Electronic Resources
Availability Online Library~1

Analysis and design of low-voltage power systems an engineer's field guide

2026-04-14T19:58:48Z

Author Kasicki, Ismail. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/352760233X Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley047/2004300203.html Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482096 John Wiley http://onlinelibrary.wiley.com/book/10.1002/352760233X
Format: Electronic Resources
Availability Online Library~1

Validation of communications systems with SDL the art of SDL simulation and reachability analysis

2026-04-14T19:58:48Z

Author Doldi, Laurent. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/0470014156 Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley046/2003276074.html
Format: Electronic Resources
Availability Online Library~1

Validation of communications systems with SDL the art of SDL simulation and reachability analysis

2026-04-14T19:58:48Z

Author Doldi, Laurent.
Preferred Shelf Number ONLINE(318807.1)
Electronic Access Click for information Full text available from Wiley InterScience Authentication may be required EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=90981 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=163119
Format: Electronic Resources
Availability Online Library~1

Designing teaching strategies an applied behavior analysis systems approach

2026-04-14T19:58:48Z

Author Greer, Robert Douglas, 1942-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123008503
Format: Electronic Resources
Availability Online Library~1

Reliability of computer systems and networks fault tolerance, analysis and design

2026-04-14T19:58:48Z

Author Shooman, Martin L. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/047122460X Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/2002265406.html
Format: Electronic Resources
Availability Online Library~1

Systems analysis and modeling a macro to micro approach with multidisciplinary applications

2026-04-14T19:58:48Z

Author Boyd, Donald W. (Donald William), 1930-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780121218515
Format: Electronic Resources
Availability Online Library~1

Data engineering fuzzy mathematics in systems theory and data analysis

2026-04-14T19:58:48Z

Author Wolkenhauer, Olaf, 1966-
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/0471224340
Format: Electronic Resources
Availability Online Library~1

Fuzzy control systems design and analysis a linear matrix inequality approach

2026-04-14T19:58:48Z

Author Tanaka, Kazuo, 1962- Wang, Hua O.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/0471224596 Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/2001024238.html HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/46472181.html
Format: Electronic Resources
Availability Online Library~1

Data engineering fuzzy mathematics in systems theory and data analysis

2026-04-14T19:58:48Z

Author Wolkenhauer, Olaf, 1966-
Preferred Shelf Number ONLINE(318799.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=215163 ebrary http://site.ebrary.com/id/10272362 EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=98952 MyiLibrary http://www.myilibrary.com?id=26475 John Wiley http://dx.doi.org/10.1002/0471224340
Format: Electronic Resources
Availability Online Library~1

Modeling for reliability analysis Markov modeling for reliability, maintainability, safety, and supportability analyses of complex computer systems

2026-04-14T19:58:48Z

Author Pukite, Jan, 1928- Pukite, Paul.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263338
Format: Electronic Resources
Availability Online Library~1

European electricity systems in transition a comparative analysis of policy and regulation in Western Europe

2026-04-14T19:58:48Z

Author Midttun, Atle, 1952-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780080429946
Format: Electronic Resources
Availability Online Library~1

Engineering vibration analysis with application to control systems

2026-04-14T19:58:48Z

Author Beards, C. F.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780340631836
Format: Electronic Resources
Availability Online Library~1

Planning, design, and analysis of cellular manufacturing systems

2026-04-14T19:58:48Z

Author Kamrani, Ali K. Parsaei, H. R. Liles, Donald H.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444818157
Format: Electronic Resources
Availability Online Library~1

Analysis and control of nonlinear infinite dimensional systems

2026-04-14T19:58:48Z

Author Barbu, Viorel.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780120781454
Format: Electronic Resources
Availability Online Library~1

Adaptation in natural and artificial systems an introductory analysis with applications to biology, control, and artificial intelligence

2026-04-14T19:58:48Z

Author Holland, John H. (John Henry), 1929-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267401
Format: Electronic Resources
Availability Online Library~1

Control and dynamic systems advances in theory and applications. Volume 42, Analysis and control system techniques for electric power systems. Part 2 of 4

2026-04-14T19:58:48Z

Author Leondes, Cornelius T.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780120127429
Format: Electronic Resources
Availability Online Library~1

Control and dynamic systems advances in theory and applications. Volume 41, Analysis and control system techniques for electric power systems. Part 1 of 4

2026-04-14T19:58:48Z

Author Leondes, Cornelius T.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780120127412
Format: Electronic Resources
Availability Online Library~1

Analysis and control system techniques for electric power systems. Part 4 of 4

2026-04-14T19:58:48Z

Author Leondes, Cornelius T.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780120127443
Format: Electronic Resources
Availability Online Library~1

Life, brain and consciousness new perceptions through targeted systems analysis

2026-04-14T19:58:48Z

Author Sommerhoff, Gerd.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444884367
Format: Electronic Resources
Availability Online Library~1

Evaluation of analytical methods in biological systems. A, Analysis of biogenic amines

2026-04-14T19:58:48Z

Author Baker, Glen B., 1947- Coutts, Ronald Thomson.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444421104
Format: Electronic Resources
Availability Online Library~1

Statistical energy analysis of dynamical systems theory and applications

2026-04-14T19:58:48Z

Author Lyon, Richard H.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276891
Format: Electronic Resources
Availability Online Library~1

Computer methods in the analysis of large-scale social systems; proceedings of a conference held at the Joint Center for Urban Studies of the Massachusetts Institute of Technology and Harvard University in Cambridge, Massachusetts on October 19-21, 1964.

2026-04-14T19:58:48Z

Author Beshers, James M., ed. Joint Center for Urban Studies.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267219
Format: Electronic Resources
Availability Online Library~1

Novel approach to sustainable temperate horticulture

2026-04-14T19:58:48Z

Author Nayik, Gulzar Ahmad, editor. Wani, Sajad H., editor. Khursheed, Vajahat, editor. Ansari, Mohammad Javed, editor.
Preferred Shelf Number ONLINE
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003412489 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Web Information Systems and Technologies 16th International Conference, WEBIST 2020, November 3-5, 2020, and 17th International Conference, WEBIST 2021, October 26-28, 2021, Virtual Events, Revised Selected Papers

2026-04-14T19:58:48Z

Author Marchiori, Massimo. editor. Domínguez Mayo, Francisco José. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-24197-0
Format: Electronic Resources
Availability Online Library~1

Modelling and Development of Intelligent Systems 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers

2026-04-14T19:58:48Z

Author Simian, Dana. editor. Stoica, Laura Florentina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27034-5
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Mechanics Based Soft Computing Applications

2026-04-14T19:58:48Z

Author Nguyen, Thi Dieu Linh. editor. Lu, Joan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6450-3
Format: Electronic Resources
Availability Online Library~1

Bioinformatics An Introductory Textbook

2026-04-14T19:58:48Z

Author Dandekar, Thomas. author. Kunz, Meik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-65036-3
Format: Electronic Resources
Availability Online Library~1

Soft Computing and Its Engineering Applications 4th International Conference, icSoftComp 2022, Changa, Anand, India, December 9-10, 2022, Proceedings

2026-04-14T19:58:48Z

Author Patel, Kanubhai K. editor. Santosh, K. C. editor. Patel, Atul. editor. Ghosh, Ashish. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27609-5
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice XIX

2026-04-14T19:58:48Z

Author Trujillo, Leonardo. editor. Winkler, Stephan M. editor. Silva, Sara. editor. Banzhaf, Wolfgang. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-8460-0
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in China Proceedings of the 4th International Conference on Artificial Intelligence in China

2026-04-14T19:58:48Z

Author Liang, Qilian. editor. Wang, Wei. editor. Mu, Jiasong. editor. Liu, Xin. editor. Na, Zhenyu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1256-8
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I

2026-04-14T19:58:48Z

Author Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2356-4
Format: Electronic Resources
Availability Online Library~1

Wireless Mobile Communication and Healthcare 11th EAI International Conference, MobiHealth 2022, Virtual Event, November 30 - December 2, 2022, Proceedings

2026-04-14T19:58:48Z

Author Cunha, António. editor. M. Garcia, Nuno. editor. Marx Gómez, Jorge. editor. Pereira, Sandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32029-3
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I

2026-04-14T19:58:48Z

Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2443-1
Format: Electronic Resources
Availability Online Library~1

Smart Technologies, Systems and Applications 3rd International Conference, SmartTech-IC 2022, Cuenca, Ecuador, November 16-18, 2022, Revised Selected Papers

2026-04-14T19:58:48Z

Author Narváez, Fabián R. editor. Urgilés, Fernando. editor. Bastos-Filho, Teodiano Freire. editor. Salgado-Guerrero, Juan Pablo. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32213-6
Format: Electronic Resources
Availability Online Library~1

New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings

2026-04-14T19:58:48Z

Author Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42941-5
Format: Electronic Resources
Availability Online Library~1

Mathematics for Computer Scientists A Practice-Oriented Approach

2026-04-14T19:58:48Z

Author Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-40423-9
Format: Electronic Resources
Availability Online Library~1

International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I

2026-04-14T19:58:48Z

Author Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5844-3
Format: Electronic Resources
Availability Online Library~1

Information Systems and Design Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12-13, 2022, Revised Selected Papers

2026-04-14T19:58:48Z

Author Taratukhin, Victor. editor. Levchenko, Artem. editor. Kupriyanov, Yury. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32092-7
Format: Electronic Resources
Availability Online Library~1

Smart Cities 5th Ibero-American Congress, ICSC-CITIES 2022, Cuenca, Ecuador, November 28-30, 2022, Revised Selected Papers

2026-04-14T19:58:48Z

Author Nesmachnow, Sergio. editor. (orcid) Hernández Callejo, Luis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28454-0
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Intelligent Communication 7th EAI International Conference, MLICOM 2022, Virtual Event, October 23-24, 2022, Proceedings

2026-04-14T19:58:48Z

Author Jiang, Xiaolin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30237-4
Format: Electronic Resources
Availability Online Library~1

Performance Evaluation Methodologies and Tools 15th EAI International Conference, VALUETOOLS 2022, Virtual Event, November 2022, Proceedings

2026-04-14T19:58:48Z

Author Hyytiä, Esa. editor. Kavitha, Veeraruna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31234-2
Format: Electronic Resources
Availability Online Library~1

Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers

2026-04-14T19:58:48Z

Author Pesado, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34147-2
Format: Electronic Resources
Availability Online Library~1

Knowledge Management in Organisations 17th International Conference, KMO 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings

2026-04-14T19:58:48Z

Author Uden, Lorna. editor. Ting, I-Hsien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34045-1
Format: Electronic Resources
Availability Online Library~1

Cognitive Security A System-Scientific Approach

2026-04-14T19:58:48Z

Author Huang, Linan. author. Zhu, Quanyan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30709-6
Format: Electronic Resources
Availability Online Library~1

Deep Learning Theory and Applications 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedings

2026-04-14T19:58:48Z

Author Conte, Donatello. editor. Fred, Ana. editor. Gusikhin, Oleg. editor. Sansone, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39059-3
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers

2026-04-14T19:58:48Z

Author Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Seidewitz, Edwin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38821-7
Format: Electronic Resources
Availability Online Library~1

Metadata and Semantic Research 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers

2026-04-14T19:58:48Z

Author Garoufallou, Emmanouel. editor. (orcid) Vlachidis, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39141-5
Format: Electronic Resources
Availability Online Library~1

Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part I

2026-04-14T19:58:48Z

Author Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43662-8
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings

2026-04-14T19:58:48Z

Author Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36336-8
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023, Proceedings

2026-04-14T19:58:48Z

Author Maldonado-Mahauad, Jorge. editor. Herrera-Tapia, Jorge. editor. Zambrano-Martínez, Jorge Luis. editor. Berrezueta, Santiago. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45438-7
Format: Electronic Resources
Availability Online Library~1

Advanced Communication and Intelligent Systems Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part I

2026-04-14T19:58:48Z

Author Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45121-8
Format: Electronic Resources
Availability Online Library~1

Advanced Communication and Intelligent Systems Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part II

2026-04-14T19:58:48Z

Author Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45124-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Reflecting Surface-Aided Physical-Layer Security

2026-04-14T19:58:48Z

Author Shu, Feng. author. Wang, Jiangzhou. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-41812-9
Format: Electronic Resources
Availability Online Library~1

Creativity in Intelligent Technologies and Data Science 5th International Conference, CIT&DS 2023, Volgograd, Russia, September 11-15, 2023, Proceedings

2026-04-14T19:58:48Z

Author Kravets, Alla G. editor. (orcid) Shcherbakov, Maxim V. editor. Groumpos, Peter P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44615-3
Format: Electronic Resources
Availability Online Library~1

Technologies and Innovation 9th International Conference, CITI 2023, Guayaquil, Ecuador, November 13-16, 2023, Proceedings

2026-04-14T19:58:48Z

Author Valencia-García, Rafael. editor. Bucaram-Leverone, Martha. editor. Del Cioppo-Morstadt, Javier. editor. Vera-Lucio, Néstor. editor. Centanaro-Quiroz, Pablo Humberto. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45682-4
Format: Electronic Resources
Availability Online Library~1

Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings

2026-04-14T19:58:48Z

Author Figueroa-García, Juan Carlos. editor. Hernández, German. editor. Villa Ramirez, Jose Luis. editor. Gaona García, Elvis Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46739-4
Format: Electronic Resources
Availability Online Library~1

Industrial Networks and Intelligent Systems 9th EAI International Conference, INISCOM 2023, Ho Chi Minh City, Vietnam, August 2-3, 2023, Proceedings

2026-04-14T19:58:48Z

Author Vo, Nguyen-Son. editor. Tran, Hoai-An. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47359-3
Format: Electronic Resources
Availability Online Library~1