Search Results for Systems analysis.

1.

Logistics Systems Analysis

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:

Availability

Online Library~1

Available:
Copies:

2.

Modern Power Systems Analysis

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:

Availability

Online Library~1

Available:
Copies:

3.

Stability Analysis of Markovian Jump Systems

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:

Availability

Online Library~1

Available:
Copies:

4.

Modal Analysis of Nonlinear Mechanical Systems

Author

Kerschen, Gaetan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-7091-1791-0

Format:

Availability

Online Library~1

Available:
Copies:

5.

Systems Analysis of Human Multigene Disorders

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:

Availability

Online Library~1

Available:
Copies:

6.

Iris Analysis for Biometric Recognition Systems

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:

Availability

Online Library~1

Available:
Copies:

7.

Mechatronic Systems Analysis, Design and Implementation

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:

Availability

Online Library~1

Available:
Copies:

8.

Stochastic Reachability Analysis of Hybrid Systems

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:

Availability

Online Library~1

Available:
Copies:

9.

Manufacturing Systems Modeling and Analysis

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:

Availability

Online Library~1

Available:
Copies:

10.

Substitution Dynamical Systems - Spectral Analysis

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:

Availability

Online Library~1

Available:
Copies:

11.

Matrices and Matroids for Systems Analysis

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:

Availability

Online Library~1

Available:
Copies:

12.

Manufacturing Systems Modeling and Analysis

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:

Availability

Online Library~1

Available:
Copies:

13.

Transportation Systems Analysis Models and Applications

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:

Availability

Online Library~1

Available:
Copies:

14.

Systems Analysis for Water Technology

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:

Availability

Online Library~1

Available:
Copies:

15.

Hybrid Intelligent Systems Analysis and Design

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:

Availability

Online Library~1

Available:
Copies:

16.

Microfluidic Technologies for Miniaturized Analysis Systems

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:

Availability

Online Library~1

Available:
Copies:

17.

Wavelets, Multiscale Systems and Hypercomplex Analysis

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:

Availability

Online Library~1

Available:
Copies:

18.

Stochastic Switching Systems Analysis and Design

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:

Availability

Online Library~1

Available:
Copies:

19.

Systems Analysis Approach for Complex Global Challenges

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:

Availability

Online Library~1

Available:
Copies:

20.

Analysis and Control of Underactuated Mechanical Systems

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:

Availability

Online Library~1

Available:
Copies:

21.

Signals and Transforms in Linear Systems Analysis

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:

Availability

Online Library~1

Available:
Copies:

22.

Analysis and Synthesis of Delta Operator Systems

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:

Availability

Online Library~1

Available:
Copies:

23.

Analysis and Synthesis of Networked Control Systems

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:

Availability

Online Library~1

Available:
Copies:

24.

Analysis and Design of Nonlinear Control Systems

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:

Availability

Online Library~1

Available:
Copies:

25.

Multimedia Multiprocessor Systems Analysis, Design and Management

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:

Availability

Online Library~1

Available:
Copies:

26.

Analysis and Design of Descriptor Linear Systems

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:

Availability

Online Library~1

Available:
Copies:

27.

Risk Analysis of Complex and Uncertain Systems

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:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for 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

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

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520840.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30820-8

Format:

Availability

Online Library~1

Available:
Copies:

29.

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

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520843.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30823-9

Format:

Availability

Online Library~1

Available:
Copies:

30.

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

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

Author

Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520864.1)

Electronic Access

https://doi.org/10.1007/978-3-031-31476-6

Format:

Availability

Online Library~1

Available:
Copies:

31.

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

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

Author

Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521082.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42626-1

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for 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

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

Author

Wehrmeister, Marco A. editor. Kreutz, Márcio. editor. Götz, Marcelo. editor. Henkler, Stefan. editor. Pimentel, Andy D. editor.

Preferred Shelf Number

XX(520563.1)

Electronic Access

https://doi.org/10.1007/978-3-031-26500-6

Format:

Availability

Online Library~1

Available:
Copies:

33.

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

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

Author

Milius, Birgit. editor. Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521180.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43366-5

Format:

Availability

Online Library~1

Available:
Copies:

34.

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

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

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:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

36.

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

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:

Availability

Online Library~1

Available:
Copies:

37.

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

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:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

39.

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

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:

Availability

Online Library~1

Available:
Copies:

40.

Design Sensitivity Analysis and Optimization of Electromagnetic Systems

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:

Availability

Online Library~1

Available:
Copies:

41.

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

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

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:

Availability

Online Library~1

Available:
Copies:

42.

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

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

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:

Availability

Online Library~1

Available:
Copies:

43.

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

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:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

45.

Point Processes for Reliability Analysis Shocks and Repairable Systems

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:

Availability

Online Library~1

Available:
Copies:

46.

Analysis and Modelling of Advanced Structures and Smart Systems

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:

Availability

Online Library~1

Available:
Copies:

47.

Thermal Analysis of Power Electronic Devices Used in Renewable Energy Systems

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:

Availability

Online Library~1

Available:
Copies:

48.

Qualitative and Quantitative Analysis of Nonlinear Systems Theory and Applications

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:

Availability

Online Library~1

Available:
Copies:

49.

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

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:

Availability

Online Library~1

Available:
Copies:

50.

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

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

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:

Availability

Online Library~1

Available:
Copies:

51.

Analysis and Simulation of Electrical and Computer Systems

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:

Availability

Online Library~1

Available:
Copies:

52.

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

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:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for 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

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

Author

Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519090.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46681-0

Format:

Availability

Online Library~1

Available:
Copies:

54.

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

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

Author

Sankaranarayanan, Sriram. editor. Vicario, Enrico. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518791.1)

Electronic Access

https://doi.org/10.1007/978-3-319-22975-1

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

56.

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

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:

Availability

Online Library~1

Available:
Copies:

57.

Systems Analysis of Chromatin-Related Protein Complexes in Cancer

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:

Availability

Online Library~1

Available:
Copies:

58.

Advanced Symbolic Analysis for VLSI Systems Methods and Applications

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:

Availability

Online Library~1

Available:
Copies:

59.

Control Design and Analysis for Underactuated Robotic Systems

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:

Availability

Online Library~1

Available:
Copies:

60.

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

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:

Availability

Online Library~1

Available:
Copies:

61.

Continuum Analysis of Biological Systems Conserved Quantities, Fluxes and Forces

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:

Availability

Online Library~1

Available:
Copies:

62.

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

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

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:

Availability

Online Library~1

Available:
Copies:

63.

Advanced Transport Systems Analysis, Modeling, and Evaluation of Performances

Author

Janić, Milan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6287-2

Format:

Availability

Online Library~1

Available:
Copies:

64.

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

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:

Availability

Online Library~1

Available:
Copies:

65.

Nostradamus 2014: Prediction, Modeling and Analysis of Complex Systems

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:

Availability

Online Library~1

Available:
Copies:

66.

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

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

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:

Availability

Online Library~1

Available:
Copies:

67.

Systems Analysis Tools for Better Health Care Delivery

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:

Availability

Online Library~1

Available:
Copies:

68.

Nostradamus 2013: Prediction, Modeling and Analysis of Complex Systems

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:

Availability

Online Library~1

Available:
Copies:

69.

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

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:

Availability

Online Library~1

Available:
Copies:

70.

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

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:

Availability

Online Library~1

Available:
Copies:

71.

Advances in Intelligent Analysis of Medical Data and Decision Support Systems

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:

Availability

Online Library~1

Available:
Copies:

72.

Stability Analysis and Design for Nonlinear Singular Systems

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:

Availability

Online Library~1

Available:
Copies:

73.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

74.

Analysis and Synthesis of Singular Systems with Time-Delays

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:

Availability

Online Library~1

Available:
Copies:

75.

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

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

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:

Availability

Online Library~1

Available:
Copies:

76.

Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications

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:

Availability

Online Library~1

Available:
Copies:

77.

Introduction to Systems Analysis Mathematically Modeling Natural Systems

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:

Availability

Online Library~1

Available:
Copies:

78.

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

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:

Availability

Online Library~1

Available:
Copies:

79.

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

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

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:

Availability

Online Library~1

Available:
Copies:

80.

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

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:

Availability

Online Library~1

Available:
Copies:

81.

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

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:

Availability

Online Library~1

Available:
Copies:

82.

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

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

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:

Availability

Online Library~1

Available:
Copies:

83.

New Frontiers of Network Analysis in Systems Biology

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:

Availability

Online Library~1

Available:
Copies:

84.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

85.

Dynamic Response of Linear Mechanical Systems Modeling, Analysis and Simulation

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:

Availability

Online Library~1

Available:
Copies:

86.

Methods of Optimization and Systems Analysis for Problems of Transcomputational Complexity

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:

Availability

Online Library~1

Available:
Copies:

87.

Complexity, Analysis and Control of Singular Biological Systems

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:

Availability

Online Library~1

Available:
Copies:

88.

Control Systems with Saturating Inputs Analysis Tools and Advanced Design

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:

Availability

Online Library~1

Available:
Copies:

89.

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

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

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:

Availability

Online Library~1

Available:
Copies:

90.

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

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

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:

Availability

Online Library~1

Available:
Copies:

91.

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

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

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:

Availability

Online Library~1

Available:
Copies:

92.

Fractional-Order Nonlinear Systems Modeling, Analysis and Simulation

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:

Availability

Online Library~1

Available:
Copies:

93.

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

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:

Availability

Online Library~1

Available:
Copies:

94.

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

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:

Availability

Online Library~1

Available:
Copies:

95.

Introduction to Modeling and Analysis of Stochastic Systems

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:

Availability

Online Library~1

Available:
Copies:

96.

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

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:

Availability

Online Library~1

Available:
Copies:

97.

Symmetries and Semi-invariants in the Analysis of Nonlinear Systems

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:

Availability

Online Library~1

Available:
Copies:

98.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

99.

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

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

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:

Availability

Online Library~1

Available:
Copies:

100.

Weighted Network Analysis Applications in Genomics and Systems Biology

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:

Availability

Online Library~1

Available:
Copies:

101.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

102.

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

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

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:

Availability

Online Library~1

Available:
Copies:

103.

Stability Analysis and Robust Control of Time-Delay Systems

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:

Availability

Online Library~1

Available:
Copies:

104.

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

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:

Availability

Online Library~1

Available:
Copies:

105.

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

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:

Availability

Online Library~1

Available:
Copies:

106.

Activity Systems Analysis Methods Understanding Complex Learning Environments

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:

Availability

Online Library~1

Available:
Copies:

107.

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics

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:

Availability

Online Library~1

Available:
Copies:

108.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

109.

Analysis and Control of Nonlinear Systems A Flatness-based Approach

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:

Availability

Online Library~1

Available:
Copies:

110.

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

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:

Availability

Online Library~1

Available:
Copies:

111.

Dynamical Analysis of Vehicle Systems Theoretical Foundations and Advanced Applications

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:

Availability

Online Library~1

Available:
Copies:

112.

Advanced Design of Mechanical Systems: From Analysis to Optimization

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:

Availability

Online Library~1

Available:
Copies:

113.

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

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

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:

Availability

Online Library~1

Available:
Copies:

114.

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

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

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:

Availability

Online Library~1

Available:
Copies:

115.

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

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:

Availability

Online Library~1

Available:
Copies:

116.

Scheduling in Distributed Computing Systems Analysis, Design and Models

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:

Availability

Online Library~1

Available:
Copies:

117.

Discontinuous Systems Lyapunov Analysis and Robust Synthesis under Uncertainty Conditions

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:

Availability

Online Library~1

Available:
Copies:

118.

Homogeneous Polynomial Forms for Robustness Analysis of Uncertain Systems

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:

Availability

Online Library~1

Available:
Copies:

119.

Analysis and Synthesis of Dynamical Systems with Time-Delays

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:

Availability

Online Library~1

Available:
Copies:

120.

Topics in Time Delay Systems Analysis, Algorithms and Control

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:

Availability

Online Library~1

Available:
Copies:

121.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

122.

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

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:

Availability

Online Library~1

Available:
Copies:

123.

Design and Analysis of Learning Classifier Systems A Probabilistic Approach

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:

Availability

Online Library~1

Available:
Copies:

124.

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

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:

Availability

Online Library~1

Available:
Copies:

125.

Analysis and Design of Information Systems Third Edition

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:

Availability

Online Library~1

Available:
Copies:

126.

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

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:

Availability

Online Library~1

Available:
Copies:

127.

The Delft Systems Approach Analysis and Design of Industrial Systems

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:

Availability

Online Library~1

Available:
Copies:

128.

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

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:

Availability

Online Library~1

Available:
Copies:

129.

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

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

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:

Availability

Online Library~1

Available:
Copies:

130.

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

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:

Availability

Online Library~1

Available:
Copies:

131.

Dynamic Analysis of Petri Net-Based Discrete Systems

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:

Availability

Online Library~1

Available:
Copies:

132.

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

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

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:

Availability

Online Library~1

Available:
Copies:

133.

Max-Plus Linear Stochastic Systems and Perturbation Analysis

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:

Availability

Online Library~1

Available:
Copies:

134.

Dissipative Systems Analysis and Control Theory and Applications

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:

Availability

Online Library~1

Available:
Copies:

135.

Modelling and Analysis of Hybrid Supervisory Systems A Petri Net Approach

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:

Availability

Online Library~1

Available:
Copies:

136.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

137.

Analysis and Design of Intelligent Systems using Soft Computing Techniques

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:

Availability

Online Library~1

Available:
Copies:

138.

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

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

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:

Availability

Online Library~1

Available:
Copies:

139.

Cover image for 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

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

Author

Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11691372

Format:

Availability

Online Library~1

Available:
Copies:

140.

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

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:

Availability

Online Library~1

Available:
Copies:

141.

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

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:

Availability

Online Library~1

Available:
Copies:

142.

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

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:

Availability

Online Library~1

Available:
Copies:

143.

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

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

Author

Asarin, Eugene. editor. Bouyer, Patricia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11867340

Format:

Availability

Online Library~1

Available:
Copies:

144.

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

Author

Butz, Martin V. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104669

Format:

Availability

Online Library~1

Available:
Copies:

145.

Analysis, Control and Optimization of Complex Dynamic Systems

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:

Availability

Online Library~1

Available:
Copies:

146.

Randomized Algorithms for Analysis and Control of Uncertain Systems

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:

Availability

Online Library~1

Available:
Copies:

147.

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

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:

Availability

Online Library~1

Available:
Copies:

148.

Multidisciplinary Methods for Analysis Optimization and Control of Complex Systems

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:

Availability

Online Library~1

Available:
Copies:

149.

Switched and Impulsive Systems Analysis, Design, and Applications

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:

Availability

Online Library~1

Available:
Copies:

150.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

151.

Structural Sensitivity Analysis and Optimization 1 Linear Systems

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:

Availability

Online Library~1

Available:
Copies:

152.

Structural Sensitivity Analysis and Optimization 2 Nonlinear Systems and Applications

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:

Availability

Online Library~1

Available:
Copies:

153.

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

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

Author

Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11603009

Format:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers

Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers

Author

Vishnevskiy, Vladimir M. editor. Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520232.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30648-8

Format:

Availability

Online Library~1

Available:
Copies:

155.

Cover image for 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

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

Author

Marchiori, Massimo. editor. Domínguez Mayo, Francisco José. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520266.1)

Electronic Access

https://doi.org/10.1007/978-3-031-24197-0

Format:

Availability

Online Library~1

Available:
Copies:

156.

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

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

Author

Simian, Dana. editor. Stoica, Laura Florentina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520284.1)

Electronic Access

https://doi.org/10.1007/978-3-031-27034-5

Format:

Availability

Online Library~1

Available:
Copies:

157.

Machine Learning and Mechanics Based Soft Computing Applications

Author

Nguyen, Thi Dieu Linh. editor. Lu, Joan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520290.1)

Electronic Access

https://doi.org/10.1007/978-981-19-6450-3

Format:

Availability

Online Library~1

Available:
Copies:

158.

Bioinformatics An Introductory Textbook

Author

Dandekar, Thomas. author. Kunz, Meik. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520293.1)

Electronic Access

https://doi.org/10.1007/978-3-662-65036-3

Format:

Availability

Online Library~1

Available:
Copies:

159.

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

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

Author

Patel, Kanubhai K. editor. Santosh, K. C. editor. Patel, Atul. editor. Ghosh, Ashish. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520296.1)

Electronic Access

https://doi.org/10.1007/978-3-031-27609-5

Format:

Availability

Online Library~1

Available:
Copies:

160.

Computer Aided Engineering of Batteries

Author

Santhanagopalan, Shriram. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520358.1)

Electronic Access

https://doi.org/10.1007/978-3-031-17607-4

Format:

Availability

Online Library~1

Available:
Copies:

161.

Genetic Programming Theory and Practice XIX

Author

Trujillo, Leonardo. editor. Winkler, Stephan M. editor. Silva, Sara. editor. Banzhaf, Wolfgang. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520304.1)

Electronic Access

https://doi.org/10.1007/978-981-19-8460-0

Format:

Availability

Online Library~1

Available:
Copies:

162.

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

Author

Liang, Qilian. editor. Wang, Wei. editor. Mu, Jiasong. editor. Liu, Xin. editor. Na, Zhenyu. editor.

Preferred Shelf Number

XX(520310.1)

Electronic Access

https://doi.org/10.1007/978-981-99-1256-8

Format:

Availability

Online Library~1

Available:
Copies:

163.

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

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

Author

Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.

Preferred Shelf Number

XX(520315.1)

Electronic Access

https://doi.org/10.1007/978-981-99-2356-4

Format:

Availability

Online Library~1

Available:
Copies:

164.

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

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

Author

Cunha, António. editor. M. Garcia, Nuno. editor. Marx Gómez, Jorge. editor. Pereira, Sandra. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520317.1)

Electronic Access

https://doi.org/10.1007/978-3-031-32029-3

Format:

Availability

Online Library~1

Available:
Copies:

165.

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

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

Author

Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520318.1)

Electronic Access

https://doi.org/10.1007/978-981-99-2443-1

Format:

Availability

Online Library~1

Available:
Copies:

166.

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

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

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

XX(520321.1)

Electronic Access

https://doi.org/10.1007/978-3-031-32213-6

Format:

Availability

Online Library~1

Available:
Copies:

167.

Cognitive Security A System-Scientific Approach

Author

Huang, Linan. author. Zhu, Quanyan. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520429.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30709-6

Format:

Availability

Online Library~1

Available:
Copies:

168.

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

Author

Conte, Donatello. editor. Fred, Ana. editor. Gusikhin, Oleg. editor. Sansone, Carlo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520436.1)

Electronic Access

https://doi.org/10.1007/978-3-031-39059-3

Format:

Availability

Online Library~1

Available:
Copies:

169.

Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings

Author

Karimi , Hamid Reza. editor. Wang, Ning. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520457.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34899-0

Format:

Availability

Online Library~1

Available:
Copies:

170.

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

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

Author

Jiang, Xiaolin. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520400.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30237-4

Format:

Availability

Online Library~1

Available:
Copies:

171.

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

Author

Pesado, Patricia. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520411.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34147-2

Format:

Availability

Online Library~1

Available:
Copies:

172.

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

Author

Uden, Lorna. editor. Ting, I-Hsien. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520417.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34045-1

Format:

Availability

Online Library~1

Available:
Copies:

173.

Cover image for Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I

Author

Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520498.1)

Electronic Access

https://doi.org/10.1007/978-3-031-35078-8

Format:

Availability

Online Library~1

Available:
Copies:

174.

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II

Author

Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520499.1)

Electronic Access

https://doi.org/10.1007/978-3-031-35081-8

Format:

Availability

Online Library~1

Available:
Copies:

175.

Data Protection in a Post-Pandemic Society Laws, Regulations, Best Practices and Recent Solutions

Author

Hewage, Chaminda. editor. Rahulamathavan, Yogachandran. editor. Ratnayake, Deepthi. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520503.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34006-2

Format:

Availability

Online Library~1

Available:
Copies:

176.

Cover image for Advances in Bias and Fairness in Information Retrieval 4th International Workshop, BIAS 2023, Dublin, Ireland, April 2, 2023, Revised Selected Papers

Advances in Bias and Fairness in Information Retrieval 4th International Workshop, BIAS 2023, Dublin, Ireland, April 2, 2023, Revised Selected Papers

Author

Boratto, Ludovico. editor. Faralli, Stefano. editor. Marras, Mirko. editor. Stilo, Giovanni. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520508.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37249-0

Format:

Availability

Online Library~1

Available:
Copies:

177.

Cover image for Computational Evolution of Neural and Morphological Development Towards Evolutionary Developmental Artificial Intelligence

Computational Evolution of Neural and Morphological Development Towards Evolutionary Developmental Artificial Intelligence

Author

Jin, Yaochu. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520509.1)

Electronic Access

https://doi.org/10.1007/978-981-99-1854-6

Format:

Availability

Online Library~1

Available:
Copies:

178.

Cover image for Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers

Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers

Author

Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520526.1)

Electronic Access

https://doi.org/10.1007/978-3-031-38864-4

Format:

Availability

Online Library~1

Available:
Copies:

179.

Cover image for Advances in Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

Advances in Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

Author

Nguyen, Ngoc Thanh. editor. (orcid) Botzheim, János. editor. Gulyás, László. editor. Nunez, Manuel. editor. Treur, Jan. editor.

Preferred Shelf Number

XX(520633.1)

Electronic Access

https://doi.org/10.1007/978-3-031-41774-0

Format:

Availability

Online Library~1

Available:
Copies:

180.

6G Enabled Fog Computing in IoT Applications and Opportunities

Author

Kumar, Mohit. editor. Gill, Sukhpal Singh. editor. Samriya, Jitendra Kumar. editor. Uhlig, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520648.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30101-8

Format:

Availability

Online Library~1

Available:
Copies:

181.

Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I

Author

Botto-Tobar, Miguel. editor. (orcid) Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)

Preferred Shelf Number

XX(520654.1)

Electronic Access

https://doi.org/10.1007/978-3-031-24985-3

Format:

Availability

Online Library~1

Available:
Copies:

182.

Cover image for Current Trends in Web Engineering ICWE 2022 International Workshops, BECS, SWEET and WALS, Bari, Italy, July 5-8, 2022, Revised Selected Papers

Current Trends in Web Engineering ICWE 2022 International Workshops, BECS, SWEET and WALS, Bari, Italy, July 5-8, 2022, Revised Selected Papers

Author

Agapito, Giuseppe. editor. Bernasconi, Anna. editor. Cappiello, Cinzia. editor. Khattak, Hasan Ali. editor. Ko, InYoung. editor.

Preferred Shelf Number

XX(520656.1)

Electronic Access

https://doi.org/10.1007/978-3-031-25380-5

Format:

Availability

Online Library~1

Available:
Copies:

183.

Cover image for Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Author

Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520837.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30047-9

Format:

Availability

Online Library~1

Available:
Copies:

184.

Cover image for Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520846.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30445-3

Format:

Availability

Online Library~1

Available:
Copies:

185.

Business Intelligence 8th International Conference, CBI 2023, Istanbul, Turkey, July 19-21, 2023, Proceedings

Author

El Ayachi, Rachid. editor. Fakir, Mohamed. editor. Baslam, Mohamed. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520596.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37872-0

Format:

Availability

Online Library~1

Available:
Copies:

186.

Cover image for Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers

Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers

Author

Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520599.1)

Electronic Access

https://doi.org/10.1007/978-3-031-39386-0

Format:

Availability

Online Library~1

Available:
Copies:

187.

Cover image for Towards AI-Aided Invention and Innovation 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Proceedings

Towards AI-Aided Invention and Innovation 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Proceedings

Author

Cavallucci, Denis. editor. Livotov, Pavel. editor. Brad, Stelian. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520601.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42532-5

Format:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part IV

Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part IV

Author

Rousseau, Jean-Jacques. editor. (orcid) Kapralos, Bill. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520874.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37745-7

Format:

Availability

Online Library~1

Available:
Copies:

189.

Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part I

Author

Rousseau, Jean-Jacques. editor. (orcid) Kapralos, Bill. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520875.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37660-3

Format:

Availability

Online Library~1

Available:
Copies:

190.

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

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

XX(520716.1)

Electronic Access

https://doi.org/10.1007/978-3-031-45682-4

Format:

Availability

Online Library~1

Available:
Copies:

191.

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

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

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

XX(520720.1)

Electronic Access

https://doi.org/10.1007/978-3-031-46739-4

Format:

Availability

Online Library~1

Available:
Copies:

192.

Handbook of Re-Engineering Software Intensive Systems into Software Product Lines

Author

Lopez-Herrejon, Roberto E. editor. Martinez, Jabier. editor. Guez Assunção, Wesley Klewerton. editor. Ziadi, Tewfik. editor. Acher, Mathieu. editor.

Preferred Shelf Number

XX(520251.1)

Electronic Access

https://doi.org/10.1007/978-3-031-11686-5

Format:

Availability

Online Library~1

Available:
Copies:

193.

Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing

Author

Nazareth, John Lawrence. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520189.1)

Electronic Access

https://doi.org/10.1007/978-3-031-21762-3

Format:

Availability

Online Library~1

Available:
Copies:

194.

Cover image for Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings

Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings

Author

Quan, Wei. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520200.1)

Electronic Access

https://doi.org/10.1007/978-981-19-9697-9

Format:

Availability

Online Library~1

Available:
Copies:

195.

ICDSMLA 2021 Proceedings of the 3rd International Conference on Data Science, Machine Learning and Applications

Author

Kumar, Amit. editor. Senatore, Sabrina. editor. Gunjan, Vinit Kumar. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520205.1)

Electronic Access

https://doi.org/10.1007/978-981-19-5936-3

Format:

Availability

Online Library~1

Available:
Copies:

196.

Mathematics for Computer Scientists A Practice-Oriented Approach

Author

Hartmann, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520344.1)

Electronic Access

https://doi.org/10.1007/978-3-658-40423-9

Format:

Availability

Online Library~1

Available:
Copies:

197.

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

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

Author

Taratukhin, Victor. editor. Levchenko, Artem. editor. Kupriyanov, Yury. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520348.1)

Electronic Access

https://doi.org/10.1007/978-3-031-32092-7

Format:

Availability

Online Library~1

Available:
Copies:

198.

Research and Innovation Forum 2022 Rupture, Resilience and Recovery in the Post-Covid World

Author

Visvizi, Anna. editor. Troisi, Orlando. editor. Grimaldi, Mara. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520359.1)

Electronic Access

https://doi.org/10.1007/978-3-031-19560-0

Format:

Availability

Online Library~1

Available:
Copies:

199.

Cover image for Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I

Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I

Author

Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.

Preferred Shelf Number

XX(520368.1)

Electronic Access

https://doi.org/10.1007/978-3-031-28180-8

Format:

Availability

Online Library~1

Available:
Copies:

200.

Cover image for Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings

Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings

Author

Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520735.1)

Electronic Access

https://doi.org/10.1007/978-981-99-8296-7

Format:

Availability

Online Library~1

Available:
Copies:

201.

Knowledge and Systems Sciences 22nd International Symposium, KSS 2023, Guangzhou, China, December 2-3, 2023, Proceedings

Author

Chen, Jian. editor. Huynh, Van-Nam. editor. Tang, Xijin. editor. Wu, Jiangning. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520738.1)

Electronic Access

https://doi.org/10.1007/978-981-99-8318-6

Format:

Availability

Online Library~1

Available:
Copies:

202.

Cover image for Machine Learning and Principles and Practice of Knowledge Discovery in Databases International Workshops of ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part I

Machine Learning and Principles and Practice of Knowledge Discovery in Databases International Workshops of ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part I

Author

Koprinska, Irena. editor. Mignone, Paolo. editor. Guidotti, Riccardo. editor. Jaroszewicz, Szymon. editor. Fröning, Holger. editor.

Preferred Shelf Number

XX(520754.1)

Electronic Access

https://doi.org/10.1007/978-3-031-23618-1

Format:

Availability

Online Library~1

Available:
Copies:

203.

Cover image for Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers

Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers

Author

Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520756.1)

Electronic Access

https://doi.org/10.1007/978-3-031-25088-0

Format:

Availability

Online Library~1

Available:
Copies:

204.

Cover image for Artificial Intelligence and Digitalization for Sustainable Development 10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022, Proceedings

Artificial Intelligence and Digitalization for Sustainable Development 10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022, Proceedings

Author

Woldegiorgis, Bereket H. editor. Mequanint, Kibret. editor. Bitew, Mekuanint A. editor. Beza, Teketay B. editor. Yibre, Abdulkerim M. editor.

Preferred Shelf Number

XX(520759.1)

Electronic Access

https://doi.org/10.1007/978-3-031-28725-1

Format:

Availability

Online Library~1

Available:
Copies:

205.

Architecture of Computing Systems 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings

Author

Goumas, Georgios. editor. Tomforde, Sven. editor. Brehm, Jürgen. editor. Wildermann, Stefan. editor. Pionteck, Thilo. editor.

Preferred Shelf Number

XX(520879.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42785-5

Format:

Availability

Online Library~1

Available:
Copies:

206.

Cover image for Machine Learning, Optimization, and Data Science 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I

Machine Learning, Optimization, and Data Science 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I

Author

Nicosia, Giuseppe. editor. Ojha, Varun. editor. La Malfa, Emanuele. editor. La Malfa, Gabriele. editor. Pardalos, Panos. editor.

Preferred Shelf Number

XX(520891.1)

Electronic Access

https://doi.org/10.1007/978-3-031-25599-1

Format:

Availability

Online Library~1

Available:
Copies:

207.

Cover image for Computer Vision - ACCV 2022 Workshops 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers

Computer Vision - ACCV 2022 Workshops 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers

Author

Zheng, Yinqiang. editor. Keleş, Hacer Yalim. editor. Koniusz, Piotr. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520893.1)

Electronic Access

https://doi.org/10.1007/978-3-031-27066-6

Format:

Availability

Online Library~1

Available:
Copies:

208.

Machine Learning, Optimization, and Data Science 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part II

Author

Nicosia, Giuseppe. editor. Ojha, Varun. editor. La Malfa, Emanuele. editor. La Malfa, Gabriele. editor. Pardalos, Panos. editor.

Preferred Shelf Number

XX(520894.1)

Electronic Access

https://doi.org/10.1007/978-3-031-25891-6

Format:

Availability

Online Library~1

Available:
Copies:

209.

Passive and Active Measurement 24th International Conference, PAM 2023, Virtual Event, March 21-23, 2023, Proceedings

Author

Brunstrom, Anna. editor. Flores, Marcel. editor. Fiore, Marco. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520896.1)

Electronic Access

https://doi.org/10.1007/978-3-031-28486-1

Format:

Availability

Online Library~1

Available:
Copies:

210.

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

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

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

XX(520693.1)

Electronic Access

https://doi.org/10.1007/978-3-031-45438-7

Format:

Availability

Online Library~1

Available:
Copies:

211.

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

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

Author

Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520699.1)

Electronic Access

https://doi.org/10.1007/978-3-031-45121-8

Format:

Availability

Online Library~1

Available:
Copies:

212.

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

Author

Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520700.1)

Electronic Access

https://doi.org/10.1007/978-3-031-45124-9

Format:

Availability

Online Library~1

Available:
Copies:

213.

Intelligent Reflecting Surface-Aided Physical-Layer Security

Author

Shu, Feng. author. Wang, Jiangzhou. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520702.1)

Electronic Access

https://doi.org/10.1007/978-3-031-41812-9

Format:

Availability

Online Library~1

Available:
Copies:

214.

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

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

Author

Kravets, Alla G. editor. (orcid) Shcherbakov, Maxim V. editor. Groumpos, Peter P. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520705.1)

Electronic Access

https://doi.org/10.1007/978-3-031-44615-3

Format:

Availability

Online Library~1

Available:
Copies:

215.

Cover image for Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

Author

Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520927.1)

Electronic Access

https://doi.org/10.1007/978-3-031-29786-1

Format:

Availability

Online Library~1

Available:
Copies:

216.

Cover image for Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

Author

Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.

Preferred Shelf Number

XX(520931.1)

Electronic Access

https://doi.org/10.1007/978-3-031-29927-8

Format:

Availability

Online Library~1

Available:
Copies:

217.

Cover image for Intelligent Human Computer Interaction 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers

Intelligent Human Computer Interaction 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers

Author

Zaynidinov, Hakimjon. editor. Singh, Madhusudan. editor. Tiwary, Uma Shanker. editor. Singh, Dhananjay. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520933.1)

Electronic Access

https://doi.org/10.1007/978-3-031-27199-1

Format:

Availability

Online Library~1

Available:
Copies:

218.

Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II

Author

Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.

Preferred Shelf Number

XX(520934.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30108-7

Format:

Availability

Online Library~1

Available:
Copies:

219.

Cover image for Persuasive Technology 18th International Conference, PERSUASIVE 2023, Eindhoven, The Netherlands, April 19-21, 2023, Proceedings

Persuasive Technology 18th International Conference, PERSUASIVE 2023, Eindhoven, The Netherlands, April 19-21, 2023, Proceedings

Author

Meschtscherjakov, Alexander. editor. Midden, Cees. editor. Ham, Jaap. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520937.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30933-5

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for Advances in Knowledge Discovery and Data Mining 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part III

Advances in Knowledge Discovery and Data Mining 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part III

Author

Kashima, Hisashi. editor. Ide, Tsuyoshi. editor. Peng, Wen-Chih. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520947.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33380-4

Format:

Availability

Online Library~1

Available:
Copies:

221.

Cover image for Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

Author

Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520949.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33620-1

Format:

Availability

Online Library~1

Available:
Copies:

222.

Towards Autonomous Robotic Systems 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings

Author

Iida, Fumiya. editor. Maiolino, Perla. editor. Abdulali, Arsen. editor. Wang, Mingfeng. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521131.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43360-3

Format:

Availability

Online Library~1

Available:
Copies:

223.

Cover image for Computational Data and Social Networks 11th International Conference, CSoNet 2022, Virtual Event, December 5-7, 2022, Proceedings

Computational Data and Social Networks 11th International Conference, CSoNet 2022, Virtual Event, December 5-7, 2022, Proceedings

Author

Dinh, Thang N. editor. Li, Minming. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520813.1)

Electronic Access

https://doi.org/10.1007/978-3-031-26303-3

Format:

Availability

Online Library~1

Available:
Copies:

224.

Cover image for Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Author

Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521142.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43835-6

Format:

Availability

Online Library~1

Available:
Copies:

225.

Cover image for Job Scheduling Strategies for Parallel Processing 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers

Author

Klusáček, Dalibor. editor. Corbalán, Julita. editor. Rodrigo, Gonzalo P. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521143.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43943-8

Format:

Availability

Online Library~1

Available:
Copies:

226.

Cover image for Cyber Security, Cryptology, and Machine Learning 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings

Cyber Security, Cryptology, and Machine Learning 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings

Author

Dolev, Shlomi. editor. Gudes, Ehud. editor. Paillier, Pascal. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520998.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34671-2

Format:

Availability

Online Library~1

Available:
Copies:

227.

Cover image for Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

Author

Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.

Preferred Shelf Number

XX(521001.1)

Electronic Access

https://doi.org/10.1007/978-3-031-36402-0

Format:

Availability

Online Library~1

Available:
Copies:

228.

Pattern Recognition and Image Analysis 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings

Author

Pertusa, Antonio. editor. Gallego, Antonio Javier. editor. Sánchez, Joan Andreu. editor. Domingues, Inês. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521002.1)

Electronic Access

https://doi.org/10.1007/978-3-031-36616-1

Format:

Availability

Online Library~1

Available:
Copies:

229.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part III

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Preferred Shelf Number

XX(521009.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37111-0

Format:

Availability

Online Library~1

Available:
Copies:

230.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Preferred Shelf Number

XX(521010.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37114-1

Format:

Availability

Online Library~1

Available:
Copies:

231.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VI

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Preferred Shelf Number

XX(521012.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37120-2

Format:

Availability

Online Library~1

Available:
Copies:

232.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Preferred Shelf Number

XX(521014.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37126-4

Format:

Availability

Online Library~1

Available:
Copies:

233.

Cover image for Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part I

Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part I

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Taniar, David. editor. Apduhan, Bernady O. editor. Braga, Ana Cristina. editor.

Preferred Shelf Number

XX(521016.1)

Electronic Access

https://doi.org/10.1007/978-3-031-36805-9

Format:

Availability

Online Library~1

Available:
Copies:

234.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IX

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Preferred Shelf Number

XX(521018.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37129-5

Format:

Availability

Online Library~1

Available:
Copies:

235.

Formal Concept Analysis 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings

Author

Dürrschnabel, Dominik. editor. López Rodríguez, Domingo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521020.1)

Electronic Access

https://doi.org/10.1007/978-3-031-35949-1

Format:

Availability

Online Library~1

Available:
Copies:

236.

Networked Systems 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings

Author

Mohaisen, David. editor. Wies, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521022.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37765-5

Format:

Availability

Online Library~1

Available:
Copies:

237.

Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part I

Author

Tan, Ying. editor. Shi, Yuhui. editor. Luo, Wenjian. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521023.1)

Electronic Access

https://doi.org/10.1007/978-3-031-36622-2

Format:

Availability

Online Library~1

Available:
Copies:

238.

Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part II

Author

Tan, Ying. editor. Shi, Yuhui. editor. Luo, Wenjian. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521024.1)

Electronic Access

https://doi.org/10.1007/978-3-031-36625-3

Format:

Availability

Online Library~1

Available:
Copies:

239.

Cover image for Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Author

Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521025.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34411-4

Format:

Availability

Online Library~1

Available:
Copies:

240.

Cover image for Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Author

Streitz, Norbert A. editor. Konomi, Shin'ichi. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521028.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34668-2

Format:

Availability

Online Library~1

Available:
Copies:

241.

Speech and Computer 25th International Conference, SPECOM 2023, Dharwad, India, November 29 - December 2, 2023, Proceedings, Part II

Author

Karpov, Alexey. editor. Samudravijaya, K. editor. Deepak, K. T. editor. Hegde, Rajesh M. editor. Agrawal, Shyam S. editor.

Preferred Shelf Number

XX(521335.1)

Electronic Access

https://doi.org/10.1007/978-3-031-48312-7

Format:

Availability

Online Library~1

Available:
Copies:

242.

Cover image for Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

Author

Nguyen, Ngoc Thanh. editor. Botzheim, János. editor. Gulyás, László. editor. Núñez, Manuel. editor. Treur, Jan. editor.

Preferred Shelf Number

XX(521308.1)

Electronic Access

https://doi.org/10.1007/978-3-031-41456-5

Format:

Availability

Online Library~1

Available:
Copies:

243.

Cover image for Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings

Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings

Author

Alonso, Omar. editor. Cousijn, Helena. editor. Silvello, Gianmaria. editor. Marrero, Mónica. editor. Teixeira Lopes, Carla. editor.

Preferred Shelf Number

XX(521310.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43849-3

Format:

Availability

Online Library~1

Available:
Copies:

244.

Cover image for Advanced Data Mining and Applications 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part II

Advanced Data Mining and Applications 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part II

Author

Yang, Xiaochun. editor. Suhartanto, Heru. editor. Wang, Guoren. editor. Wang, Bin. editor. Jiang, Jing. editor.

Preferred Shelf Number

XX(521313.1)

Electronic Access

https://doi.org/10.1007/978-3-031-46664-9

Format:

Availability

Online Library~1

Available:
Copies:

245.

Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part I

Author

Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.

Preferred Shelf Number

XX(521317.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47634-1

Format:

Availability

Online Library~1

Available:
Copies:

246.

Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part II

Author

Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.

Preferred Shelf Number

XX(521318.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47637-2

Format:

Availability

Online Library~1

Available:
Copies:

247.

Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part III

Author

Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.

Preferred Shelf Number

XX(521319.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47665-5

Format:

Availability

Online Library~1

Available:
Copies:

248.

Cover image for Information Security Practice and Experience 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings

Information Security Practice and Experience 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings

Author

Meng, Weizhi. editor. Yan, Zheng. editor. Piuri, Vincenzo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521323.1)

Electronic Access

https://doi.org/10.1007/978-981-99-7032-2

Format:

Availability

Online Library~1

Available:
Copies:

249.

Functional Neuroradiology Principles and Clinical Applications

Author

Faro, Scott H. editor. Mohamed, Feroze B. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521581.1)

Electronic Access

https://doi.org/10.1007/978-3-031-10909-6

Format:

Availability

Online Library~1

Available:
Copies:

250.

Cover image for Benchmarking, Measuring, and Optimizing 14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers

Benchmarking, Measuring, and Optimizing 14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers

Author

Gainaru, Ana. editor. Zhang, Ce. editor. Luo, Chunjie. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520861.1)

Electronic Access

https://doi.org/10.1007/978-3-031-31180-2

Format:

Availability

Online Library~1

Available:
Copies:

251.

Cover image for 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

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

Author

Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.

Preferred Shelf Number

XX(520610.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43662-8

Format:

Availability

Online Library~1

Available:
Copies:

252.

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 III

Author

Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.

Preferred Shelf Number

XX(520612.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43670-3

Format:

Availability

Online Library~1

Available:
Copies:

253.

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 IV

Author

Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.

Preferred Shelf Number

XX(520613.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43688-8

Format:

Availability

Online Library~1

Available:
Copies:

254.

Cover image for Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part II

Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part II

Author

Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.

Preferred Shelf Number

XX(520617.1)

Electronic Access

https://doi.org/10.1007/978-981-99-5971-6

Format:

Availability

Online Library~1

Available:
Copies:

255.

Bioinformatics An Introduction

Author

Ramsden, Jeremy. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520618.1)

Electronic Access

https://doi.org/10.1007/978-3-030-45607-8

Format:

Availability

Online Library~1

Available:
Copies:

256.

Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part II

Author

Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.

Preferred Shelf Number

XX(520760.1)

Electronic Access

https://doi.org/10.1007/978-3-031-28183-9

Format:

Availability

Online Library~1

Available:
Copies:

257.

Blockchain for Cybersecurity in Cyber-Physical Systems

Author

Maleh, Yassine. editor. Alazab, Mamoun. editor. Romdhani, Imed. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520763.1)

Electronic Access

https://doi.org/10.1007/978-3-031-25506-9

Format:

Availability

Online Library~1

Available:
Copies:

258.

Cover image for Information Technologies and Mathematical Modelling. Queueing Theory and Applications 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25-29, 2022, Revised Selected Papers

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25-29, 2022, Revised Selected Papers

Author

Dudin, Alexander. editor. (orcid) Nazarov, Anatoly. editor. (orcid) Moiseev, Alexander. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520767.1)

Electronic Access

https://doi.org/10.1007/978-3-031-32990-6

Format:

Availability

Online Library~1

Available:
Copies:

259.

Cover image for New Trends in Information and Communications Technology Applications 6th International Conference, NTICT 2022, Baghdad, Iraq, November 16-17, 2022, Proceedings

New Trends in Information and Communications Technology Applications 6th International Conference, NTICT 2022, Baghdad, Iraq, November 16-17, 2022, Proceedings

Author

Al-Bakry, Abbas M. editor. (orcid) Al-Mamory, Safaa O. editor. Sahib, Mouayad A. editor. (orcid) George, Loay E. editor. Aldhaibani, Jaafar A. editor. (orcid)

Preferred Shelf Number

XX(520772.1)

Electronic Access

https://doi.org/10.1007/978-3-031-35442-7

Format:

Availability

Online Library~1

Available:
Copies:

260.

Cover image for SOFSEM 2023: Theory and Practice of Computer Science 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15-18, 2023, Proceedings

SOFSEM 2023: Theory and Practice of Computer Science 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15-18, 2023, Proceedings

Author

Gąsieniec, Leszek. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520786.1)

Electronic Access

https://doi.org/10.1007/978-3-031-23101-8

Format:

Availability

Online Library~1

Available:
Copies:

261.

Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Author

Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520788.1)

Electronic Access

https://doi.org/10.1007/978-3-031-24841-2

Format:

Availability

Online Library~1

Available:
Copies:

262.

Cover image for Distributed Computing and Intelligent Technology 19th International Conference, ICDCIT 2023, Bhubaneswar, India, January 18-22, 2023, Proceedings

Distributed Computing and Intelligent Technology 19th International Conference, ICDCIT 2023, Bhubaneswar, India, January 18-22, 2023, Proceedings

Author

Molla, Anisur Rahaman. editor. Sharma, Gokarna. editor. Kumar, Pradeep. editor. Rawat, Sanjay. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520789.1)

Electronic Access

https://doi.org/10.1007/978-3-031-24848-1

Format:

Availability

Online Library~1

Available:
Copies:

263.

Cover image for Machine Learning for Cyber Security 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part III

Machine Learning for Cyber Security 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part III

Author

Xu, Yuan. editor. Yan, Hongyang. editor. Teng, Huang. editor. Cai, Jun. editor. Li, Jin. editor.

Preferred Shelf Number

XX(520795.1)

Electronic Access

https://doi.org/10.1007/978-3-031-20102-8

Format:

Availability

Online Library~1

Available:
Copies:

264.

Cover image for Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Author

Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520797.1)

Electronic Access

https://doi.org/10.1007/978-3-031-24950-1

Format:

Availability

Online Library~1

Available:
Copies:

265.

Cover image for Artificial Intelligence and Soft Computing 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part I

Artificial Intelligence and Soft Computing 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part I

Author

Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.

Preferred Shelf Number

XX(520800.1)

Electronic Access

https://doi.org/10.1007/978-3-031-23492-7

Format:

Availability

Online Library~1

Available:
Copies:

266.

Cover image for Biomedical and Computational Biology Second International Symposium, BECB 2022, Virtual Event, August 13-15, 2022, Revised Selected Papers

Biomedical and Computational Biology Second International Symposium, BECB 2022, Virtual Event, August 13-15, 2022, Revised Selected Papers

Author

Wen, Shiping. editor. Yang, Cihui. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520804.1)

Electronic Access

https://doi.org/10.1007/978-3-031-25191-7

Format:

Availability

Online Library~1

Available:
Copies:

267.

Cover image for Web Information Systems and Applications 20th International Conference, WISA 2023, Chengdu, China, September 15-17, 2023, Proceedings

Web Information Systems and Applications 20th International Conference, WISA 2023, Chengdu, China, September 15-17, 2023, Proceedings

Author

Yuan, Long. editor. Yang, Shiyu. editor. Li, Ruixuan. editor. Kanoulas, Evangelos. editor. Zhao, Xiang. editor.

Preferred Shelf Number

XX(521133.1)

Electronic Access

https://doi.org/10.1007/978-981-99-6222-8

Format:

Availability

Online Library~1

Available:
Copies:

268.

Cover image for Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

Author

Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Bitsch, Friedemann. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521134.1)

Electronic Access

https://doi.org/10.1007/978-3-031-40923-3

Format:

Availability

Online Library~1

Available:
Copies:

269.

Cover image for Experimental IR Meets Multilinguality, Multimodality, and Interaction 14th International Conference of the CLEF Association, CLEF 2023, Thessaloniki, Greece, September 18-21, 2023, Proceedings

Experimental IR Meets Multilinguality, Multimodality, and Interaction 14th International Conference of the CLEF Association, CLEF 2023, Thessaloniki, Greece, September 18-21, 2023, Proceedings

Author

Arampatzis, Avi. editor. Kanoulas, Evangelos. editor. Tsikrika, Theodora. editor. Vrochidis, Stefanos. editor. Giachanou, Anastasia. editor.

Preferred Shelf Number

XX(521135.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42448-9

Format:

Availability

Online Library~1

Available:
Copies:

270.

Cover image for Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

Author

Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.

Preferred Shelf Number

XX(521137.1)

Electronic Access

https://doi.org/10.1007/978-3-031-40953-0

Format:

Availability

Online Library~1

Available:
Copies:

271.

Cover image for Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part II

Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part II

Author

Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. (orcid) Tadeusiewicz, Ryszard. editor.

Preferred Shelf Number

XX(521138.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42508-0

Format:

Availability

Online Library~1

Available:
Copies:

272.

Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Author

Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521140.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42823-4

Format:

Availability

Online Library~1

Available:
Copies:

273.

Cover image for Fuzzy Logic and Technology, and Aggregation Operators 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings

Fuzzy Logic and Technology, and Aggregation Operators 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings

Author

Massanet, Sebastia. editor. Montes, Susana. editor. Ruiz-Aguilera, Daniel. editor. González-Hidalgo, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521080.1)

Electronic Access

https://doi.org/10.1007/978-3-031-39965-7

Format:

Availability

Online Library~1

Available:
Copies:

274.

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers

Author

Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521095.1)

Electronic Access

https://doi.org/10.1007/978-3-031-36889-9

Format:

Availability

Online Library~1

Available:
Copies:

275.

Cover image for Collaboration Technologies and Social Computing 29th International Conference, CollabTech 2023, Osaka, Japan, August 29-September 1, 2023, Proceedings

Collaboration Technologies and Social Computing 29th International Conference, CollabTech 2023, Osaka, Japan, August 29-September 1, 2023, Proceedings

Author

Takada, Hideyuki. editor. Marutschke, D. Moritz. editor. Alvarez, Claudio. editor. Inoue, Tomoo. editor. Hayashi, Yugo. editor.

Preferred Shelf Number

XX(521112.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42141-9

Format:

Availability

Online Library~1

Available:
Copies:

276.

Text, Speech, and Dialogue 26th International Conference, TSD 2023, Pilsen, Czech Republic, September 4-6, 2023, Proceedings

Author

Ekštein, Kamil. editor. Pártl, František. editor. Konopík, Miloslav. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521113.1)

Electronic Access

https://doi.org/10.1007/978-3-031-40498-6

Format:

Availability

Online Library~1

Available:
Copies:

277.

Cover image for Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings

Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings

Author

Boulier, François. editor. England, Matthew. editor. (orcid) Kotsireas, Ilias. editor. Sadykov, Timur M. editor. Vorozhtsov, Evgenii V. editor. (orcid)

Preferred Shelf Number

XX(521117.1)

Electronic Access

https://doi.org/10.1007/978-3-031-41724-5

Format:

Availability

Online Library~1

Available:
Copies:

278.

Cover image for Advances in Conceptual Modeling ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings

Advances in Conceptual Modeling ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings

Author

Sales, Tiago Prince. editor. Araújo, João. editor. Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(521265.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47112-4

Format:

Availability

Online Library~1

Available:
Copies:

279.

Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Author

Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521275.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47115-5

Format:

Availability

Online Library~1

Available:
Copies:

280.

Cover image for Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part III

Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part III

Author

Kamps, Jaap. editor. Goeuriot, Lorraine. editor. Crestani, Fabio. editor. Maistro, Maria. editor. Joho, Hideo. editor. (orcid)

Preferred Shelf Number

XX(521287.1)

Electronic Access

https://doi.org/10.1007/978-3-031-28241-6

Format:

Availability

Online Library~1

Available:
Copies:

281.

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Author

Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(521295.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33163-3

Format:

Availability

Online Library~1

Available:
Copies:

282.

Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings

Author

Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521296.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33469-6

Format:

Availability

Online Library~1

Available:
Copies:

283.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part II

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Preferred Shelf Number

XX(521298.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37108-0

Format:

Availability

Online Library~1

Available:
Copies:

284.

Cover image for Document Analysis and Recognition - ICDAR 2023 17th International Conference, San José, CA, USA, August 21-26, 2023, Proceedings, Part IV

Document Analysis and Recognition - ICDAR 2023 17th International Conference, San José, CA, USA, August 21-26, 2023, Proceedings, Part IV

Author

Fink, Gernot A. editor. Jain, Rajiv. editor. Kise, Koichi. editor. Zanibbi, Richard. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521304.1)

Electronic Access

https://doi.org/10.1007/978-3-031-41685-9

Format:

Availability

Online Library~1

Available:
Copies:

285.

Speech and Computer 25th International Conference, SPECOM 2023, Dharwad, India, November 29 - December 2, 2023, Proceedings, Part I

Author

Karpov, Alexey. editor. Samudravijaya, K. editor. Deepak, K. T. editor. Hegde, Rajesh M. editor. Agrawal, Shyam S. editor.

Preferred Shelf Number

XX(521334.1)

Electronic Access

https://doi.org/10.1007/978-3-031-48309-7

Format:

Availability

Online Library~1

Available:
Copies:

286.

Cover image for Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

Author

García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)

Preferred Shelf Number

XX(521307.1)

Electronic Access

https://doi.org/10.1007/978-3-031-40725-3

Format:

Availability

Online Library~1

Available:
Copies:

287.

Cover image for Information Integration and Web Intelligence 25th International Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4-6, 2023, Proceedings

Information Integration and Web Intelligence 25th International Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4-6, 2023, Proceedings

Author

Delir Haghighi, Pari. editor. Pardede, Eric. editor. Dobbie, Gillian. editor. Yogarajan, Vithya. editor. ER, Ngurah Agus Sanjaya. editor.

Preferred Shelf Number

XX(521336.1)

Electronic Access

https://doi.org/10.1007/978-3-031-48316-5

Format:

Availability

Online Library~1

Available:
Copies:

288.

Cover image for Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I

Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I

Author

Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521351.1)

Electronic Access

https://doi.org/10.1007/978-981-99-8085-7

Format:

Availability

Online Library~1

Available:
Copies:

289.

Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II

Author

Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521352.1)

Electronic Access

https://doi.org/10.1007/978-981-99-8088-8

Format:

Availability

Online Library~1

Available:
Copies:

290.

Cover image for Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I

Author

Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.

Preferred Shelf Number

XX(521363.1)

Electronic Access

https://doi.org/10.1007/978-3-031-49008-8

Format:

Availability

Online Library~1

Available:
Copies:

291.

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part II

Author

Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.

Preferred Shelf Number

XX(521364.1)

Electronic Access

https://doi.org/10.1007/978-3-031-49011-8

Format:

Availability

Online Library~1

Available:
Copies:

292.

Cover image for New Sustainable Horizons in Artificial Intelligence and Digital Solutions 22nd IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2023, Curitiba, Brazil, November 9-11, 2023, Proceedings

New Sustainable Horizons in Artificial Intelligence and Digital Solutions 22nd IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2023, Curitiba, Brazil, November 9-11, 2023, Proceedings

Author

Janssen, Marijn. editor. Pinheiro, Luiz. editor. Matheus, Ricardo. editor. Frankenberger, Fernanda. editor. (orcid) Dwivedi, Yogesh K. editor.

Preferred Shelf Number

XX(521365.1)

Electronic Access

https://doi.org/10.1007/978-3-031-50040-4

Format:

Availability

Online Library~1

Available:
Copies:

293.

Cover image for Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I

Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I

Author

Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521380.1)

Electronic Access

https://doi.org/10.1007/978-3-031-49432-1

Format:

Availability

Online Library~1

Available:
Copies:

294.

Cover image for Learning Technologies and Systems 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers

Learning Technologies and Systems 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers

Author

González-González, Carina S. editor. Fernández-Manjón, Baltasar. editor. Li, Frederick. editor. García-Peñalvo, Francisco José. editor. Sciarrone, Filippo. editor.

Preferred Shelf Number

XX(521395.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33023-0

Format:

Availability

Online Library~1

Available:
Copies:

295.

Clinical Laboratory Management

Author

Yadav, Shakti Kumar. editor. Gupta, Ruchika. editor. Singh, Sompal. editor. SpringerLink (Online service)