Search Results for System safety.

1.

HACCP system auditing for food safety : principles and techniques

Author

Lorenzo, Luis Couto, author.

Preferred Shelf Number

TX531 .L67 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394254750

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Proceedings of the 6th International Conference on Electrical Engineering and Information Technologies for Rail Transportation (EITRT) 2023 Safety Assurance and Operation Maintenance Technology of Rail Transportation System

Proceedings of the 6th International Conference on Electrical Engineering and Information Technologies for Rail Transportation (EITRT) 2023 Safety Assurance and Operation Maintenance Technology of Rail Transportation System

Author

Yang, Jianwei. editor. (orcid)0000-0003-2536-2334 Yao, Dechen. editor. Jia, Limin. editor. Qin, Yong. editor. (orcid)0000-0002-6519-8316 Liu, Zhigang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Natural Disaster Warning System for High-Speed Railway Safety Operation

Author

Hu, Qizhou. author. (orcid)0000-0002-2653-7872 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Learning and relearning equipment complexity : achieving safety in engineering complex systems

Author

Andonov, Sasho, author.

Preferred Shelf Number

TA169.7

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003404811
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

5.

Guidelines for process safety knowledge management

Author

American Institute of Chemical Engineers. Center for Chemical Process Safety, issuing body. John Wiley & Sons, publisher.

Preferred Shelf Number

T55

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394187744

Format:

Availability

Online Library~1

Available:
Copies:

6.

Systems engineering for the digital age : practitioner perspectives

Author

Verma, Dinesh, 1964- editor.

Preferred Shelf Number

TA168 .S8854 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394203314

Format:

Availability

Online Library~1

Available:
Copies:

7.

Essentials of biological security : a global perspective

Author

Shang, Lijun, editor. Zhang, Weiwen (Professor of microbiology and biochemical engineering), editor. Dando, Malcolm, editor.

Preferred Shelf Number

JZ5865 .B56 E88 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394189045

Format:

Availability

Online Library~1

Available:
Copies:

8.

Analytical chemistry : a toolkit for scientists and laboratory technicians

Author

Ham, Bryan M., author. MaHam, Aihui, 1974- author.

Preferred Shelf Number

QD78 .H36 2024 EB

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119894490

Format:

Availability

Online Library~1

Available:
Copies:

9.

Control and Safety Analysis of Intensified Chemical Processes

Author

Patle, Dipesh Shikchand, editor. Rangaiah, Gade Pandu, editor.

Preferred Shelf Number

TP150 .S24 P38 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9783527843657

Format:

Availability

Online Library~1

Available:
Copies:

10.

Lifts and Escalators A user manual

Author

Unger, Dieter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Fault-Tolerant Cooperative Control of Unmanned Aerial Vehicles

Author

Yu, Ziquan. author. Zhang, Youmin. author. Jiang, Bin. author. Su, Chun-Yi. author. (orcid)0000-0002-1869-5563 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Road Traffic Analysis, Theoretical Approaches and Practical Solutions

Author

Macioszek, Elżbieta. editor. Jurdana, Irena. editor. Sierpiński, Grzegorz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

15th International Congress on Agricultural Mechanization and Energy in Agriculture ANKAgEng'2023

Author

Cavallo, Eugenio. editor. Auat Cheein, Fernando. editor. (orcid)0000-0002-6347-7696 Marinello, Francesco. editor. Saçılık, Kamil. editor. Muthukumarappan, Kasiviswanathan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Belt Drying of Sludge

Author

Heindl, Albert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-66512-1

Format:

Availability

Online Library~1

Available:
Copies:

15.

Model-Based Reliability Systems Engineering

Author

Ren, Yi. author. Qian, Cheng. author. Yang, Dezhen. author. Feng, Qiang. author. (orcid)0000-0003-2454-7839 Sun, Bo. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-0275-0

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Compliance and Initiative in the Production of Safety A Systems Perspective on Managing Tensions and Building Complementarity

Compliance and Initiative in the Production of Safety A Systems Perspective on Managing Tensions and Building Complementarity

Author

Le Coze, Jean-Christophe. editor. (orcid)0000-0001-8164-5641 Journé, Benoît. editor. (orcid)0000-0001-9207-6317 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Proceedings of the 7th International Conference on Construction, Architecture and Technosphere Safety ICCATS 2023

Author

Radionov, Andrey A. editor. Ulrikh, Dmitrii V. editor. Timofeeva, Svetlana S. editor. Alekhin, Vladimir N. editor. Gasiyarov, Vadim R. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Nanomaterials for Biomedical and Bioengineering Applications

Author

Javed, Rabia. editor. (orcid)0000-0002-3599-8144 Chen, Jen-Tsung. editor. (orcid)0000-0002-3540-4449 Khalil, Ali Talha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0221-3

Format:

Availability

Online Library~1

Available:
Copies:

19.

Smart Transportation and Green Mobility Safety Green Mobility

Author

Wang, Wuhong. editor. Jin, Lisheng. editor. (orcid)0000-0002-3086-1333 Tan, Haiqiu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2443-7

Format:

Availability

Online Library~1

Available:
Copies:

20.

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Author

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Automotive Chassis Engineering

Author

Barton, David C. author. Fieldhouse, John D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Safety Culture and Leading Indicators for Safety in the Maritime and Offshore Environment

Author

Olsen, Alexander. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

IoT and AI in Agriculture Smart Automation Systems for increasing Agricultural Productivity to Achieve SDGs and Society 5.0

Author

Ahamed, Tofael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-1263-2

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cooperatively Interacting Vehicles Methods and Effects of Automated Cooperation in Traffic

Author

Stiller, Christoph. editor. (orcid)0000-0003-4165-2075 Althoff, Matthias. editor. (orcid)0000-0003-3733-842X Burger, Christoph. editor. Deml, Barbara. editor. Eckstein, Lutz. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

Infrastructure robotics : methodologies, robotic systems and applications

Author

Liu, Dikai, editor.

Preferred Shelf Number

TJ211 .I48144 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394162871

Format:

Availability

Online Library~1

Available:
Copies:

26.

Human machine interface : making healthcare digital

Author

Malviya, Rishabha, editor. Sundram, Sonali, editor. Prajapati, Bhupendra, editor Singh, Sudarshan Kumar, editor

Preferred Shelf Number

R859.7 .A78 H86 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394200344

Format:

Availability

Online Library~1

Available:
Copies:

27.

Liver Ultrasound : From Basics to Advanced Applications.

Author

Lim, Adrian K. P. Rosselli, Matteo.

Preferred Shelf Number

RC847.5 .I42

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119612650

Format:

Availability

Online Library~1

Available:
Copies:

28.

Industrial control systems

Author

Pal, Vipin Chandra, editor Tripathi, Suman Lata, editor Ganguli, Souvik, editor

Preferred Shelf Number

TS156.8 .I58 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119829430

Format:

Availability

Online Library~1

Available:
Copies:

29.

Mathematical modeling of complex reaction systems in the oil and gas industry

Author

Ancheyta, Jorge, editor. Zagoyuiko, Andrey, editor. Elyshev, Andrey, editor.

Preferred Shelf Number

HD9560.5 .M38 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394220052

Format:

Availability

Online Library~1

Available:
Copies:

30.

Mathematical models using artificial intelligence for surveillance systems

Preferred Shelf Number

TK7882 .E2 M38 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394200733

Format:

Availability

Online Library~1

Available:
Copies:

31.

Online social networks in business frameworks

Author

Rathi, Sudhir Kumar, editor. Keswani, Bright. Saxena, Rakesh Kumar. Kapoor, Sumit Kumar. Gupta, Sangita.

Preferred Shelf Number

HF5415.1265 .O55 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394231126

Format:

Availability

Online Library~1

Available:
Copies:

32.

Urban transportation systems : sustainability and future development

Author

Meshram, Kundan, author.

Preferred Shelf Number

TA1205 .M47 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228416

Format:

Availability

Online Library~1

Available:
Copies:

33.

Autonomous Vehicles and Virtual Reality The New Automobile Industrial Revolution

Author

Kemeny, Andras. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Convergence: Breaking Down Barriers Between Disciplines Proceedings of the International Conference on Healthcare Systems Ergonomics and Patient Safety, HEPS2022

Convergence: Breaking Down Barriers Between Disciplines Proceedings of the International Conference on Healthcare Systems Ergonomics and Patient Safety, HEPS2022

Author

Melles, Marijke. editor. (orcid)0000-0002-6342-6493 Albayrak, Armaĝan. editor. Goossens, Richard H.M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Automation and Innovation with Computational Techniques for Futuristic Smart, Safe and Sustainable Manufacturing Processes

Automation and Innovation with Computational Techniques for Futuristic Smart, Safe and Sustainable Manufacturing Processes

Author

Realyvásquez Vargas, Arturo. editor. Satapathy, Suchismita. editor. (orcid)0000-0002-4805-1793 García Alcaraz, Jorge Luis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

The Intelligent Safety of Automobile

Author

Wang, Jianqiang. author. Nie, Bingbing. author. (orcid)0000-0002-8529-8613 Wang, Hong. author. (orcid)0000-0002-5127-2941 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Sustainable Food Systems (Volume II) SFS: Novel Sustainable Green Technologies, Circular Strategies, Food Safety & Diversity

Author

Thakur, Monika. editor. (orcid)0000-0001-6903-9323 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Lectures on Nonlinear Dynamics

Author

Castilho Piqueira, José Roberto. editor. (orcid)0000-0003-0153-6686 Nigro Mazzilli, Carlos Eduardo. editor. Pesce, Celso Pupo. editor. (orcid)0000-0002-2004-011X Franzini, Guilherme Rosa. editor. (orcid)0000-0001-5900-7635 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Generic Systems Engineering A Methodical Approach to Complexity Management

Author

Schlüter, Nadine. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-67994-4

Format:

Availability

Online Library~1

Available:
Copies:

40.

Advanced Techniques of Artificial Intelligence in IT Security Systems

Author

Korytkowski, Marcin. author. (orcid)0000-0002-6002-2733 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Sustainable Food Systems (Volume I) SFS: Framework, Sustainable Diets, Traditional Food Culture & Food Production

Author

Thakur, Monika. editor. (orcid)0000-0001-6903-9323 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Recent Advances in Aerospace Engineering Select Proceedings of MRAE 2023

Author

Singh, Sanjay. editor. (orcid)0000-0003-3831-6433 Ramulu, Perumalla Janaki. editor. Gautam, Sachin Singh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-1306-6

Format:

Availability

Online Library~1

Available:
Copies:

43.

Human Factors and Ergonomics Toward an Inclusive and Sustainable Future HFEM 2023

Author

Ng, Yee Guan. editor. (orcid)0000-0001-7373-2139 Daruis, Dian D.I. editor. Abdul Wahat, Nor Wahiza. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Biomass-based Cosmetics Research Trends and Future Outlook

Author

Arung, Enos Tangke. editor. Fatriasari, Widya. editor. (orcid)0000-0002-5166-9498 Kusuma, Irawan Wijaya. editor. Kuspradini, Harlinda. editor. Shimizu, Kuniyoshi. editor. (orcid)0000-0003-3803-6060

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-1908-2

Format:

Availability

Online Library~1

Available:
Copies:

45.

Heavy Duty Rotating Equipment From Concept to Operation - A Practice-oriented Engineering Guide

Author

Sperber, Axel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-44717-5

Format:

Availability

Online Library~1

Available:
Copies:

46.

Marine Technology

Author

Widjaja, Raden Sjarief. editor. Hasanudin. editor. Hermawan, Yuda Apri. editor. Ismail, Azman. editor. (orcid)0000-0001-6857-5423 Zulkipli, Fatin Nur. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Vehicle System Dynamics Theoretical Modeling and Application

Author

Zhao, Youqun. author. Lin, Fen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2019-4

Format:

Availability

Online Library~1

Available:
Copies:

48.

Control and Information Sciences Select Proceedings of CISCON 2023

Author

Thirunavukkarasu, I. editor. Kumar, Roshan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-5866-1

Format:

Availability

Online Library~1

Available:
Copies:

49.

Detection of Karst Voids at Deep Pile Foundation

Author

Liu, Liu. author. Shi, Zhenming. author. Peng, Ming. author. (orcid)0000-0001-9134-4391 Li, Shaojun. author. (orcid)0000-0002-9956-0205 Tao, Fengjuan. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-5834-0

Format:

Availability

Online Library~1

Available:
Copies:

50.

Non-invasive and Non-destructive Methods for Food Integrity

Author

Jiménez-Carvelo, Ana María. editor. Arroyo-Cerezo, Alejandra. editor. (orcid)0000-0002-0618-7094 Cuadros-Rodríguez, Luis. editor. (orcid)0000-0003-0162-7211 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Disaster management : preparedness and mitigation

Author

Akbar, Saima, author. Singh, Suraj Kumar, 1983- author. Kanga, Shruti, 1984- author.

Preferred Shelf Number

HV551.2 .A33 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394317004

Format:

Availability

Online Library~1

Available:
Copies:

52.

Automotive Human-Machine Interaction (HMI) Evaluation Method

Author

Ma, Jun. author. Gong, Zaiyan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Control and Information Sciences Select Proceedings of CISCON 2022

Author

George, V. I. editor. Santhosh, K. V. editor. (orcid)0000-0003-4394-5947 Lakshminarayanan, Samavedham. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

The ECPH Encyclopedia of Mining and Metallurgy

Author

Xu, Kuangdi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-2086-0

Format:

Availability

Online Library~1

Available:
Copies:

55.

Optimal Vessel Planning in Natural Inland Waterways

Author

Moreno Nadales, Juan. author. Muñoz de la Peña, David. author. Limon, Daniel. author. Alamo, Teodoro. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

On-site Inspection and Dam Safety Evaluation

Author

Xiang, Yan. author. Fu, Zhimin. author. Liu, Chengdong. author. Zhang, Kai. author. Wang, Yakun. author. (orcid)0000-0003-1892-7990

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-3987-5

Format:

Availability

Online Library~1

Available:
Copies:

57.

Dynamics of Transportation Ecosystem, Modeling, and Control

Author

Sharma, Sunil Kumar. editor. (orcid)0000-0002-6809-2410 Upadhyay, Ram Krishna. editor. (orcid)0000-0002-7202-2052 Kumar, Vikram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0437-8

Format:

Availability

Online Library~1

Available:
Copies:

58.

Food Safety and Quality in the Global South

Author

Ogwu, Matthew Chidozie. editor. (orcid)0000-0001-6054-1667 Izah, Sylvester Chibueze. editor. Ntuli, Nontuthuko Rosemary. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2428-4

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Recent Advancements in Sustainable Agricultural Practices Harnessing Technology for Water Resources, Irrigation and Environmental Management

Recent Advancements in Sustainable Agricultural Practices Harnessing Technology for Water Resources, Irrigation and Environmental Management

Author

Yasheshwar. editor. Mishra, Anil Kumar. editor. Kumar, Mukesh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2155-9

Format:

Availability

Online Library~1

Available:
Copies:

60.

Microbial Toxins in Food Systems: Causes, Mechanisms, Complications, and Metabolism

Author

Moneim Elhadi Sulieman, Abdel. editor. (orcid)0000-0002-9202-6624 Alshammari, Nawaf Ibrahim. editor. (orcid)0000-0001-7525-8573 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

61.

Database and Expert Systems Applications - DEXA 2024 Workshops IWCFS, AISys, CIU, Naples, Italy, August 26-28, 2024, Proceedings

Author

Moser, Bernhard. editor. Fischer, Lukas. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Sametinger, Johannes. editor. (orcid)0000-0002-0637-6602 Glock, Anna-Christina. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

High-Speed Maglev Train's Levitation and Guidance Control The Key Technologies

Author

Long, Zhiqiang. author. (orcid)0000-0001-5129-6874 Wang, Zhiqiang. author. Zhai, Mingda. author. (orcid)0000-0002-3538-1304 Li, Xiaolong. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2309-6

Format:

Availability

Online Library~1

Available:
Copies:

63.

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Author

Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings

Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings

Author

Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

Cover image for Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings

Author

Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Smart Transportation and Green Mobility Safety Traffic Safety

Author

Wang, Wuhong. editor. Guo, Hongwei. editor. Jiang, Xiaobei. editor. Shi, Jian. editor. Sun, Dongxian. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-3052-0

Format:

Availability

Online Library~1

Available:
Copies:

67.

Man-Machine-Environment System Engineering Proceedings of the 24th Conference on MMESE

Author

Long, Shengzhao. editor. Dhillon, Balbir S. editor. Ye, Long. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-7139-4

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Using Shared Mental Models and Organisational Learning to Support Safety and Security Through Cyberspace: A Computational Analysis Approach

Using Shared Mental Models and Organisational Learning to Support Safety and Security Through Cyberspace: A Computational Analysis Approach

Author

Roelofsma, Peter H.M.P. editor. Jabeen, Fakhra. editor. Taal, H. Rob. editor. (orcid)0000-0002-7300-4577 Treur, Jan. editor. (orcid)0000-0003-2466-9158 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Active System Control Design of System Resilience

Author

Schagaev, Igor. author. Kirk, Brian. author. SpringerLink (Online service)