Search Results for Reliability.

|

|

|

|

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:

+

Konu: Software engineering.

Author

SpringerLink (Online service)

(62)

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

(10)

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

(4)

Schoitsch, Erwin. editor.

(4)

Skavhaug, Amund. editor.

(4)

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

(3)

Guiochet, Jérémie. editor.

(3)

Lecomte, Thierry. editor.

(3)

O'Regan, Gerard. author.

(3)

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

(3)

Bondavalli, Andrea. editor.

(2)

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

(2)

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

(2)

Daniel, Peter. editor.

(2)

Malyshkin, Victor. editor.

(2)

Ortmeier, Frank. editor.

(2)

Pham, Hoang. author.

(2)

Schagaev, Igor. author.

(2)

Silhavy, Petr. editor.

(2)

Silhavy, Radek. editor.

(2)

Tonetta, Stefano. editor.

(2)

Trapp, Mario. editor.

(2)

Troubitsyna, Elena. editor.

(2)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Barnard, Pepita. editor. (orcid)0000-0003-4518-1207

(1)

Bartolini, Novella. editor.

(1)

Bautista, John Robert. editor. (orcid)0000-0002-4892-9543

(1)

Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286

(1)

Bernstein, Lawrence, 1940-

(1)

Bitsch, Friedemann. editor.

(1)

Bogomolov, Sergiy. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bologna, Sandro. editor.

(1)

Buhr, Peter A. author.

(1)

Buth, Bettina. editor.

(1)

Cardellini, Valeria. editor.

(1)

Cardoso, João M.P. editor.

(1)

Ceccarelli, Andrea. editor.

(1)

Chapman, Barbara. editor.

(1)

Chemuturi, Murali. author.

(1)

Chen, Wenguang. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Cotroneo, Domenico. editor.

(1)

Dahll, Gustav. editor.

(1)

Dash, Santanu. editor. (orcid)0000-0002-5674-8531

(1)

Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299

(1)

Dorf, Richard C., author.

(1)

Duan, Zhenhua. editor.

(1)

Falcone, Yliès. editor.

(1)

Fantechi, Alessandro. editor.

(1)

Farahi, Arya. editor. (orcid)0000-0003-0777-4618

(1)

Fey, Dietmar. editor. (orcid)0000-0002-6077-4732

(1)

Flammini, Francesco. editor.

(1)

Fortz, Sophie. editor. (orcid)0000-0001-9687-8587

(1)

Gao, Guang R. editor.

(1)

Gao, Xinbo. editor.

(1)

Gashi, Ilir. editor.

(1)

Gheorghe, Adrian V. author.

(1)

Goyal, Neeraj Kumar. author.

(1)

Gran, Bjørn Axel. editor.

(1)

Gupta, A. author.

(1)

Gutknecht, Jürg. author.

(1)

Górski, Janusz. editor.

(1)

Han, DongGyun. editor. (orcid)0000-0002-8599-2197

(1)

Hannig, Frank. editor. (orcid)0000-0003-3663-6484

(1)

Harrison, Michael D. editor.

(1)

Hobbs, Chris (Christopher W.)

(1)

Jha, P.C. author.

(1)

Kanoun, Karama.

(1)

Kapur, P.K. author.

(1)

Katina, Polinpapilinho F. author.

(1)

Kaâniche, Mohamed. editor.

(1)

Khan, Arif Ali, editor.

(1)

Kumar, Vikas. author.

(1)

Kunkel, Julian Martin. editor.

(1)

Lahiri, Shuvendu. editor.

(1)

Lawford, Mark. editor.

(1)

Le, Dac-Nhuong, 1983- editor.

(1)

Liu, Shaoying. author.

(1)

Liu, Shaoying. editor.

(1)

Ludwig, Thomas. editor.

(1)

Lyu, Michael R. author.

(1)

Mahanti, Anirban. editor.

(1)

Martel, Matthieu. editor.

(1)

Mazzara, Manuel. editor.

(1)

Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725

(1)

Meuer, Hans Werner. editor.

(1)

Meyer, Bertrand. editor.

(1)

Mueller, Frank. editor.

(1)

Myklebust, Thor. author. (orcid)0000-0002-9283-092X

(1)

Nikoletseas, Sotiris. editor.

(1)

Odell, Den. author.

(1)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(1)

Ong, Luke. editor.

(1)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(1)

Oster, Norbert. editor.

(1)

Pandey, Ajeet Kumar. author.

(1)

Pinger, Ralf. editor.

(1)

Pionteck, Thilo. editor.

(1)

Prabhakar, Pavithra. editor.

(1)

Qian, Depei. editor.

(1)

Qiao, Daji. editor.

(1)

Rabe, Gerd. editor.

(1)

Reger, Giles. editor.

(1)

Rodriguez-Fernandez, Victor. editor. (orcid)0000-0002-8589-6621

(1)

Romanovsky, Alexander. editor.

(1)

Saglietti, Francesca. editor.

(1)

Schneidewind, Norman.

(1)

Schröder-Preikschat, Wolfgang. editor.

(1)

Seyfarth, Till. editor.

(1)

Shen, Xipeng. editor.

(1)

Sinha, Prasun. editor.

(1)

Spainhower, Lisa.

(1)

Stålhane, Tor. author.

(1)

Sujan, Mark-Alexander. editor.

(1)

Sullivan, Dan, 1962-

(1)

Sánchez, César. editor.

(1)

Tamura, Yoshinobu. author.

(1)

Taylor and Francis.

(1)

Teich, Jürgen. editor.

(1)

Thomas, Kaegi. author.

(1)

Tuck, James. editor.

(1)

Vamanu, Bogdan I. author.

(1)

Vatn, Dorthea Mathilde Kristin. author.

(1)

Vidhyalakshmi, R. author.

(1)

Vittorini, Valeria. editor.

(1)

Wagner, Stefan. author.

(1)

Wiley InterScience (Online service)

(1)

Winther, Rune. editor.

(1)

Yamada, Shigeru. author.

(1)

(1)

Zhang, Xi. editor.

(1)

Zhang, Yilei. author.

(1)

Language

(66)

Publication Date

-

(12)

(12)

(7)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(31)

Computer Communication Networks.

(16)

Computer networks .

(15)

Data protection.

(15)

Computer Science Logic and Foundations of Programming.

(11)

Compilers (Computer programs).

(10)

Compilers and Interpreters.

(10)

Application software.

(9)

Computer and Information Systems Applications.

(8)

Computer engineering.

(8)

(7)

Artificial intelligence.

(7)

Computer Engineering and Networks.

(7)

Computer software.

(7)

(7)

Data and Information Security.

(7)

Formal Languages and Automata Theory.

(7)

Hardware Performance and Reliability.

(7)

(7)

Machine theory.

(7)

Operating systems (Computers).

(7)

Programming Techniques.

(7)

Computer programming.

(6)

Computer simulation.

(5)

Computer system performance.

(5)

Electronic books.

(5)

Information Systems.

(5)

(4)

Computer network architectures.

(4)

Computer organization.

(4)

(4)

Microprogramming .

(4)

Performance and Reliability.

(4)

Security Science and Technology.

(4)

Security systems.

(4)

System Performance and Evaluation.

(4)

(4)

Theory of Computation.

(4)

Computer security.

(3)

Control Structures and Microprogramming.

(3)

Génie logiciel.

(3)

Software Management.

(3)

Software engineering -- Management.

(3)

Algorithm Analysis and Problem Complexity.

(2)

Communications Engineering, Networks.

(2)

Computational intelligence.

(2)

Computer Application in Administrative Data Processing.

(2)

Computer Modelling.

(2)

Computer System Implementation.

(2)

Computer logic.

(2)

Computer software -- Development.

(2)

Computer software -- Reliability.

(2)

Electronic Circuits and Systems.

(2)

Electronic circuits.

(2)

Electronic digital computers -- Evaluation.

(2)

Information systems.

(2)

Information technology -- Management.

(2)

Operating Systems.

(2)

Software Engineering/Programming and Operating Systems.

(2)

Software engineering

(2)

Special Purpose and Application-Based Systems.

(2)

Telecommunication.

(2)

Automatic control -- Reliability.

(1)

Benchmarking (Management)

(1)

COMPUTERS -- Computer Engineering.

(1)

COMPUTERS -- Distributed Systems -- Cloud Computing.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS -- Software Development & Engineering -- General.

(1)

COMPUTERS -- Software Development & Engineering -- Systems Analysis & Design.

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

(1)

Chemical Safety.

(1)

Chemicals -- Safety measures.

(1)

Cloud computing

(1)

Cloud computing.

(1)

Computational Intelligence.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer hardware.

(1)

Computer industry.

(1)

Computer networks -- Security measures.

(1)

Computer science -- Mathematics.

(1)

Computer software -- Development

(1)

Computer systems -- Reliability.

(1)

Computer systems.

(1)

Computer vision.

(1)

Computers and Society.

(1)

Digital electronics.

(1)

Electronic data processing personnel -- Certification

(1)

Electronic data processing personnel -- Certification -- Study guides.

(1)

Electronic data processing.

(1)

Embedded computer systems.

(1)

Engineering economy.

(1)

Engineering, general.

(1)

Environmental Physics.

(1)

Environmental sciences.

(1)

Geographic information systems.

(1)

Geographical Information System.

(1)

Guides de l'étudiant.

(1)

IT Risk Management.

(1)

Image processing -- Digital techniques.

(1)

Industrial organization.

(1)

(1)

Information storage and retrieval systems.

(1)

Internet programming.

(1)

Management of Computing and Information Systems.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Modeling and Industrial Mathematics.

(1)

Mathematical Software.

(1)

Mathematical logic.

(1)

Mathematical models.

(1)

Mathematical statistics.

(1)

Microprogramming.

(1)

Mobile and Network Security.

(1)

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Optical data processing.

(1)

Ordinateurs -- Conception et construction.

(1)

(1)

Processor Architectures.

(1)

Programming languages (Electronic computers).

(1)

Quality Control, Reliability, Safety and Risk.

(1)

Quality control.

(1)

(1)

Risk management.

(1)

(1)

Security Services.

(1)

Simulation and Modeling.

(1)

Statistics and Computing/Statistics Programs.

(1)

(1)

(1)

(1)

Systems and Data Security.

(1)

Systems engineering.

(1)

Traffic engineering.

(1)

Transportation Technology and Traffic Engineering.

(1)

Transportation engineering.

(1)

Web Development.

(1)

examination study guides.

(1)

Électronique numérique.

(1)

Material Type

Shelf Location

Electronic Library

Taylor Francis E-Book Collection

Wiley E-Book Collection

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

69 Results Found

Subscribe to search results

1 2 3 4 5 6

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.

37.

Cover image for Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1

Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1

Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

Author

Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Software Design for Resilient Computer Systems

Software Design for Resilient Computer Systems

Software Design for Resilient Computer Systems

Author

Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Agile-SOFL Agile Formal Engineering Method

Agile-SOFL Agile Formal Engineering Method

Agile-SOFL Agile Formal Engineering Method

Author

Liu, Shaoying. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Evolving software processes : trends and future directions

Evolving software processes : trends and future directions

Evolving software processes : trends and future directions

Author

Khan, Arif Ali, editor. Le, Dac-Nhuong, 1983- editor.

Preferred Shelf Number

QA76.76 .D47

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Official Google Cloud Certified Professional Data Engineer study guide

Official Google Cloud Certified Professional Data Engineer study guide

Official Google Cloud Certified Professional Data Engineer study guide

Author

Sullivan, Dan, 1962-

Preferred Shelf Number

QA76.3

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Concise Guide to Software Testing

Concise Guide to Software Testing

Concise Guide to Software Testing

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28494-7

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Present and Ulterior Software Engineering

Present and Ulterior Software Engineering

Present and Ulterior Software Engineering

Author

Mazzara, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67425-4

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Author

Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54292-8

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Author

Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67531-2

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Author

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63501-9

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

Author

Malyshkin, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62932-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 6

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11