Search Results for Safety.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer science.

Author

SpringerLink (Online service)

(94)

Anderson, Tom. editor.

(8)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(5)

Dale, Chris. editor.

(4)

Redmill, Felix. editor.

(4)

Schoitsch, Erwin. editor.

(4)

Duffy, Vincent G. editor.

(3)

Guiochet, Jérémie. editor.

(3)

Jahankhani, Hamid. editor.

(3)

Artho, Cyrille. editor.

(2)

Daniel, Peter. editor.

(2)

Hessami, Ali G. editor.

(2)

Lecomte, Thierry. editor.

(2)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(2)

Masuzawa, Toshimitsu. editor.

(2)

Ortmeier, Frank. editor.

(2)

Petit, Franck. editor.

(2)

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331

(2)

Skavhaug, Amund. editor.

(2)

Tonetta, Stefano. editor.

(2)

Zhang, Zili. editor.

(2)

Ölveczky, Peter Csaba. editor.

(2)

Abidi, Mongi. editor.

(1)

Ahram, Tareq. editor.

(1)

Ahuja, Ravindra K. editor.

(1)

Ajit, Srividya. author.

(1)

Al-Nemrat, Ameer. editor.

(1)

Arezes, Pedro. editor.

(1)

Avritzer, Alberto. editor.

(1)

Bader, Markus. editor.

(1)

Bang, Magnus. editor.

(1)

Barley, Mike. editor.

(1)

Barrett, Clark. editor.

(1)

Bashroush, Rabih. editor.

(1)

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929

(1)

Bitsch, Friedemann. editor.

(1)

Blieberger, Johann. editor.

(1)

Bloem, Roderick. editor.

(1)

Bologna, Sandro. editor.

(1)

Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530

(1)

Boring, Ronald Laurids. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(1)

Breckenfelder, Christof. author.

(1)

Buth, Bettina. editor.

(1)

Castiglione, Arcangelo. editor.

(1)

Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Clarke, Edmund M. editor.

(1)

Cobb, Jorge. editor.

(1)

Dahll, Gustav. editor.

(1)

Datta, Ajoy K. editor.

(1)

Davies, Misty. editor.

(1)

Dohi, Tadashi. editor.

(1)

Dolev, Shlomi. editor.

(1)

Défago, Xavier. editor.

(1)

El Fallah Seghrouchni, Amal. author.

(1)

Erto, Pasquale. editor.

(1)

Fantechi, Alessandro. editor.

(1)

Fechtelkotter, Paul. editor.

(1)

Feng, Dengguo. editor.

(1)

Ficco, Massimo. editor.

(1)

Fischer, Michael. editor.

(1)

Flammini, Francesco. editor.

(1)

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

(1)

Ganguli, Anindya K. editor.

(1)

Gaycken, Sandro. editor.

(1)

Georgiadis, Apostolos. editor.

(1)

Georgiadis, Christos K. editor.

(1)

Geretshuber, Stefan. editor.

(1)

Gheorghe, A.V. editor.

(1)

Gheorghe, Adrian V. author.

(1)

Gizopoulos, Dimitris. editor.

(1)

Goonetilleke, Ravindra S. editor.

(1)

Gopinath, Divya. editor. (orcid)0000-0002-1242-7701

(1)

Gradinariu, Maria. editor.

(1)

Gran, Bjørn Axel. editor.

(1)

Grant, Casey C. author.

(1)

Guerraoui, Rachid. editor.

(1)

Górski, Janusz. editor.

(1)

Harrison, Michael D. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Higashino, Teruo. editor.

(1)

Holzmann, Frédéric. author.

(1)

Hsu, Feng. editor.

(1)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(1)

Iqbal, Rauf. editor.

(1)

Isermann, Rolf. author.

(1)

Kahsai, Temesghen. editor.

(1)

Karwowski, Waldemar. editor.

(1)

Katayama, Yoshiaki. editor.

(1)

Katina, Polinpapilinho F. author.

(1)

Kaâniche, Mohamed. editor.

(1)

Khanzode, Vivek. editor.

(1)

Kletti, Jürgen. editor.

(1)

Koschan, Andreas. editor.

(1)

Krüger, Jörg. editor.

(1)

Kulkarni, Sandeep. editor.

(1)

Kumar, Manoj. author.

(1)

Kuo, C.-C. Jay. editor.

(1)

Legatt, Michael. editor.

(1)

Li, He. editor.

(1)

Liu, Hu-Chen. author.

(1)

Liu, Yu. editor.

(1)

Lopez, Javier. editor.

(1)

Lund, Mass Soldal. author.

(1)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(1)

Masera, M. editor.

(1)

Massacci, Fabio. editor.

(1)

Mi, Jinhua. editor.

(1)

Moran, Alan. author.

(1)

Mouratidis, Haralambos. editor.

(1)

Möhring, Rolf H. editor.

(1)

Nakagawa, Toshio. editor.

(1)

Nickolay, Bertram. editor.

(1)

Nikoletseas, Sotiris. editor.

(1)

Oster, Norbert. editor.

(1)

Ottavi, Marco. editor.

(1)

Palanque, Philippe. editor.

(1)

Palmieri, Francesco. editor.

(1)

Papadopoulos, Yiannis. editor.

(1)

Pimenidis, Elias. editor.

(1)

Pinger, Ralf. editor.

(1)

Platzer, André. author.

(1)

Polikarpova, Nadia. editor.

(1)

Pollefeys, Marc. editor.

(1)

Pontarelli, Salvatore. editor.

(1)

Pop, Florin. editor.

(1)

Potiron, Katia. author.

(1)

Potop-Butucaru, Maria. editor.

(1)

Pulfer, Roland. author.

(1)

Rabe, Gerd. editor.

(1)

Ragnemalm, Eva L. editor.

(1)

Rajarajan, Muttukrishnan. editor.

(1)

Ray, Gaur G. editor.

(1)

Ray, Indrakshi. editor.

(1)

Richa, Andréa W. editor.

(1)

Romanovsky, Alexander. editor.

(1)

Saglietti, Francesca. editor.

(1)

Saunders, Sam C. author.

(1)

Scerri, Paul. editor.

(1)

Scheideler, Christian. editor.

(1)

Schiper, André. editor.

(1)

Schneider, Steve. editor.

(1)

Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443

(1)

Setola, Roberto. editor.

(1)

Seyfarth, Till. editor.

(1)

Shi, Nija. editor.

(1)

Sirjani, Marjan. editor.

(1)

Solhaug, Bjørnar. author.

(1)

Solozhentsev, E.D. author.

(1)

Spears, Diana. editor.

(1)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(1)

Stølen, Ketil. author.

(1)

Sujan, Mark-Alexander. editor.

(1)

Taillibert, Patrick. author.

(1)

Tenreiro de Magalhães, Sérgio. editor.

(1)

Thomas, Andrew R. author.

(1)

Tixeuil, Sébastien. editor.

(1)

Trapp, Mario. editor.

(1)

Troubitsyna, Elena A. editor.

(1)

Tryfonas, Theo. editor.

(1)

Unruh, Amy. editor.

(1)

Vamanu, Dan V. author.

(1)

Vanderdonckt, Jean. editor.

(1)

Veith, Helmut. editor.

(1)

Verma, Ajit Kumar. author.

(1)

Vieira, Marco. editor.

(1)

Villain, Vincent. editor.

(1)

Vittorini, Valeria. editor.

(1)

Vries, De L. editor.

(1)

Wagner, Stefan. author.

(1)

Wang, Dong. editor.

(1)

Wang, Guojun. editor.

(1)

Weijnen, M. editor.

(1)

Winckler, Marco. editor.

(1)

Winther, Rune. editor.

(1)

Wolter, Katinka. editor.

(1)

Xiang, Yang. editor.

(1)

Yamamoto, Sakae. editor.

(1)

Yamashita, Masafumi. editor.

(1)

Yang, Yuanyuan. editor.

(1)

Yung, Moti. editor.

(1)

Zaroliagis, Christos D. editor.

(1)

Zhou, Wanlei. editor.

(1)

van Moorsel, Aad. editor.

(1)

Ábrahám, Erika. editor.

(1)

Language

(93)

(1)

Publication Date

-

(12)

(12)

(11)

(10)

(8)

(8)

(7)

(6)

(5)

(4)

(4)

(2)

(2)

(1)

(1)

(1)

Subject

Software engineering.

(55)

Data protection.

(28)

(27)

Computer Communication Networks.

(22)

Artificial intelligence.

(15)

Computer Science Logic and Foundations of Programming.

(15)

Computer software.

(15)

Information Systems.

(15)

Compilers (Computer programs).

(14)

Compilers and Interpreters.

(14)

Computer system performance.

(13)

(13)

Theory of Computation.

(10)

Computer networks .

(9)

Computer engineering.

(8)

Computer Engineering and Networks.

(7)

(7)

Computer simulation.

(6)

Data encryption (Computer science).

(6)

Formal Languages and Automata Theory.

(6)

Machine theory.

(6)

Operating systems (Computers).

(6)

Application software.

(5)

Computer and Information Systems Applications.

(5)

Data and Information Security.

(5)

Engineering design.

(5)

(4)

Computer Modelling.

(4)

Management information systems.

(4)

Quality Control, Reliability, Safety and Risk.

(4)

Special Purpose and Application-Based Systems.

(4)

Computer Applications.

(3)

Computer programming.

(3)

Computer vision.

(3)

Computers and Society.

(3)

Computers, Special purpose.

(3)

(3)

Electronic digital computers -- Evaluation.

(3)

Information systems.

(3)

Medical records -- Data processing.

(3)

(3)

Programming Techniques.

(3)

System Performance and Evaluation.

(3)

Systems and Data Security.

(3)

The Computing Profession.

(3)

User Interfaces and Human Computer Interaction.

(3)

Algorithm Analysis and Problem Complexity.

(2)

(2)

(2)

Computer Science, general.

(2)

Data structures (Computer science).

(2)

Distribution (Probability theory).

(2)

Engineering economy.

(2)

Industrial safety.

(2)

Information Storage and Retrieval.

(2)

Information Systems Applications (incl. Internet).

(2)

Information storage and retrieval systems.

(2)

Information theory.

(2)

Logic, Symbolic and mathematical.

(2)

Medicine, Industrial.

(2)

Quality control.

(2)

(2)

Applied psychology.

(1)

Artificial Intelligence (incl. Robotics).

(1)

(1)

Biomedical engineering.

(1)

Business logistics.

(1)

Business planning.

(1)

Civil engineering.

(1)

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer graphics.

(1)

Computer network architectures.

(1)

Computer security.

(1)

Computers -- Law and legislation.

(1)

Control Structures and Microprogramming.

(1)

(1)

Data Encryption.

(1)

Data Structures and Information Theory.

(1)

Decision making.

(1)

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

(1)

Employee health promotion.

(1)

Engineering mathematics.

(1)

Geographical information systems.

(1)

Health Informatics.

(1)

Health care management.

(1)

Health services administration.

(1)

Human physiology.

(1)

Image processing -- Digital techniques.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information technology -- Management.

(1)

Logics and Meanings of Programs.

(1)

Management of Computing and Information Systems.

(1)

Marine engineering.

(1)

Mathematical optimization.

(1)

Mathematical statistics.

(1)

Microprogramming .

(1)

Models of Computation.

(1)

Multimedia systems.

(1)

Operating Systems.

(1)

Operations research.

(1)

Optical pattern recognition.

(1)

(1)

Philosophy of Technology.

(1)

Political Science, general.

(1)

Probability and Statistics in Computer Science.

(1)

Production engineering.

(1)

Project management.

(1)

Psychology, Experimental.

(1)

R & D/Technology Policy.

(1)

(1)

Security Services.

(1)

Simulation and Modeling.

(1)

(1)

Social sciences -- Data processing.

(1)

Sports-Psychological aspects.

(1)

Sports-Sociological aspects.

(1)

Statistical physics.

(1)

Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.

(1)

Systems engineering.

(1)

Systems theory.

(1)

Technology -- Philosophy.

(1)

Telecommunication.

(1)

Vehicle Engineering.

(1)

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

94 Results Found

Subscribe to search results

1 2 3 4 5 .. 8

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Author

Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Author

Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-29510-7

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Cyberspace Safety and Security 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings

Cyberspace Safety and Security 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings

Cyberspace Safety and Security 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings

Author

Wang, Guojun. editor. Ray, Indrakshi. editor. Feng, Dengguo. editor. Rajarajan, Muttukrishnan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332984.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03584-0

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Author

Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.

Preferred Shelf Number

ONLINE(332964.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03089-0

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Author

Duffy, Vincent G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334742.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39173-6

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

Author

Duffy, Vincent G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334745.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39182-8

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Human Interface and the Management of Information. Information and Interaction for Health, Safety, Mobility and Complex Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

Human Interface and the Management of Information. Information and Interaction for Health, Safety, Mobility and Complex Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

Human Interface and the Management of Information. Information and Interaction for Health, Safety, Mobility and Complex Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

Author

Yamamoto, Sakae. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334754.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39215-3

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings

Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings

Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings

Author

Bitsch, Friedemann. editor. Guiochet, Jérémie. editor. Kaâniche, Mohamed. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335005.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40793-2

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings

Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings

Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings

Author

Richa, Andréa W. editor. Scheideler, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-33536-5

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012

Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012

Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012

Author

Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2494-8

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Interoperable Electronic Safety Equipment Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Responders

Interoperable Electronic Safety Equipment Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Responders

Interoperable Electronic Safety Equipment Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Responders

Author

Grant, Casey C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-8277-2

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 8

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11