Search Results for System 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 engineering.

Author

SpringerLink (Online service)

(10)

Batchelor, Bruce G. editor.

(1)

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

(1)

Bergeron, Janick. author.

(1)

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

(1)

Fischer, Lukas. editor.

(1)

Glock, Anna-Christina. editor.

(1)

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

(1)

Grant, Casey C. author.

(1)

Izykowski, Jan. author.

(1)

Luftensteiner, Sabrina. editor.

(1)

Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953

(1)

Mayr, Michael. editor.

(1)

Moser, Bernhard. editor.

(1)

Rosolowski, Eugeniusz. author.

(1)

Saha, Murari Mohan. author.

(1)

Sametinger, Johannes. editor. (orcid)0000-0002-0637-6602

(1)

Schoitsch, Erwin. editor.

(1)

Shi, Nija. editor.

(1)

Tehranipoor, Mohammad. editor.

(1)

Tonetta, Stefano. editor.

(1)

Tryfonas, Theo. editor.

(1)

Werdich, Martin. editor.

(1)

Language

(9)

(1)

Publication Date

-

(3)

(2)

(2)

(1)

(1)

(1)

Subject

(6)

(5)

Computer Engineering and Networks.

(4)

Computer networks .

(4)

Computer science.

(4)

Software engineering.

(4)

Artificial intelligence.

(3)

Application software.

(2)

Computer aided design.

(2)

Computer and Information Systems Applications.

(2)

Data Structures and Information Theory.

(2)

Data structures (Computer science).

(2)

Information theory.

(2)

Systems engineering.

(2)

Civil engineering.

(1)

Compilers (Computer programs).

(1)

Compilers and Interpreters.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Modelling.

(1)

Computer Science Logic and Foundations of Programming.

(1)

Computer simulation.

(1)

Computer system performance.

(1)

Computer vision.

(1)

Data Mining and Knowledge Discovery.

(1)

Data and Information Security.

(1)

(1)

Data protection.

(1)

Database management.

(1)

(1)

Engineering economy.

(1)

Models of Computation.

(1)

Nanotechnology.

(1)

Production of electric energy or power.

(1)

Social sciences -- Data processing.

(1)

Theory of Computation.

(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

10 Results Found

Subscribe to search results

1

0000000000DEFAULT

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 NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

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

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:

2.

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

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

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:

3.

Cover image for Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

Author

Tryfonas, Theo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Author

Tonetta, Stefano. editor. Schoitsch, Erwin. 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-66284-8

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for FMEA - Einführung und Moderation Durch systematische Entwicklung zur übersichtlichen Risikominimierung (inkl. Methoden im Umfeld)

FMEA - Einführung und Moderation Durch systematische Entwicklung zur übersichtlichen Risikominimierung (inkl. Methoden im Umfeld)

FMEA - Einführung und Moderation Durch systematische Entwicklung zur übersichtlichen Risikominimierung (inkl. Methoden im Umfeld)

Author

Werdich, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-2217-8

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Machine Vision Handbook

Machine Vision Handbook

Machine Vision Handbook

Author

Batchelor, Bruce G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-169-1

Format:

Availability

Online Library~1

Available:
Copies:

7.

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:

8.

Cover image for Fault Location on Power Networks

Fault Location on Power Networks

Fault Location on Power Networks

Author

Saha, Murari Mohan. author. Izykowski, Jan. author. Rosolowski, Eugeniusz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-886-5

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Emerging Nanotechnologies Test, Defect Tolerance, and Reliability

Emerging Nanotechnologies Test, Defect Tolerance, and Reliability

Emerging Nanotechnologies Test, Defect Tolerance, and Reliability

Author

Tehranipoor, Mohammad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-74747-7

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Writing Testbenches using System Verilog

Writing Testbenches using System Verilog

Writing Testbenches using System Verilog

Author

Bergeron, Janick. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-31275-7

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11