Search Results for Critical

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(74)

Anderson, Tom. editor.

(7)

Artho, Cyrille. editor.

(4)

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

(4)

Dale, Chris. editor.

(4)

Redmill, Felix. editor.

(3)

Ölveczky, Peter Csaba. editor.

(3)

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

(2)

Castillo, Francisco. author.

(2)

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

(2)

Hu, Jiangping. editor. (orcid)0000-0002-7559-8604

(2)

Hämmerli, Bernhard. editor. (orcid)0000-0001-6251-1154

(2)

O'Connor, Rory V. editor.

(2)

Schoitsch, Erwin. editor.

(2)

Trapp, Mario. editor.

(2)

Zhang, Jin. editor. (orcid)0000-0002-7464-2247

(2)

Alpuente, María. editor.

(1)

Althoff, Matthias. editor. (orcid)0000-0003-3733-842X

(1)

Arceri, Vincenzo. editor.

(1)

Ardolino, Alessandro. author.

(1)

Arnaud, Remi. author.

(1)

Barnat, Jiří. editor.

(1)

Barrett, Clark. editor.

(1)

Basili, Victor R. editor.

(1)

Bass, Julian M. editor.

(1)

Baumeister, Hubert. editor.

(1)

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

(1)

Berinstein, Paula. author.

(1)

Bloomfield, Robin. editor.

(1)

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

(1)

Burger, Christoph. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Chen, Chaomei. author.

(1)

Chen, Min. author.

(1)

Choudrie, Jyoti. editor. (orcid)0000-0001-9349-7690

(1)

Clarke, Paul M. editor. (orcid)0000-0002-4487-627X

(1)

Cofer, Darren. editor.

(1)

Cook, Byron. editor.

(1)

Cortesi, Agostino. editor.

(1)

Cosmo, Henrik. author.

(1)

Cotroneo, Domenico. editor.

(1)

Coughlan, Michael. author.

(1)

Cámara, Javier. editor.

(1)

Davies, Misty. editor.

(1)

Dazzi, Patrizio. author.

(1)

Deml, Barbara. editor.

(1)

Dierkes, Michael. editor.

(1)

Dorling, Alec. editor.

(1)

Dutle, Aaron. editor. (orcid)0000-0002-8503-5514

(1)

Eckstein, Lutz. editor.

(1)

Fantechi, Alessandro. editor.

(1)

Faramondi, Luca. editor. (orcid)0000-0002-3750-2405

(1)

Ferrara, Pietro. editor.

(1)

Fitzgerald, Brian. author.

(1)

Flammini, Francesco. editor.

(1)

Flemisch, Frank. editor.

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Franco, Simon. author.

(1)

Furht, Borko. author.

(1)

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

(1)

Gheorghe, Adrian V. author.

(1)

Giese, Holger. editor.

(1)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(1)

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

(1)

Guiochet, Jérémie. editor.

(1)

Hanssen, Geir Kjetil. author.

(1)

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872

(1)

Herubel, Adrien. author.

(1)

Hess, Anne. editor. (orcid)0000-0001-7614-5802

(1)

Hobbs, Chris (Christopher W.)

(1)

Howar, Falk. editor.

(1)

Humphrey, Laura. editor. (orcid)0000-0002-3148-9035

(1)

Islam, M. Sirajul. editor.

(1)

Jongmans, Sung-Shik. editor.

(1)

Joubert, Christophe. editor.

(1)

Kahsai, Temesghen. editor.

(1)

Katina, Polinpapilinho F. author.

(1)

Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683

(1)

Keyes, Jessica, 1950, author.

(1)

Khan, Arif Ali, editor.

(1)

Kitchenham, Barbara. editor.

(1)

Knapp, Alexander. editor.

(1)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(1)

Kowalewski, Stefan. editor.

(1)

Kreiner, Christian. editor.

(1)

Lang, Frédéric. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Le, Dac-Nhuong, 1983- editor.

(1)

Leue, Stefan. editor.

(1)

Lichter, Horst. editor.

(1)

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

(1)

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017

(1)

Mattila, Päivi. editor. (orcid)0000-0002-1683-2392

(1)

McCutchan, John. author.

(1)

Merino, Pedro. editor.

(1)

Messnarz, Richard. editor. (orcid)0000-0002-0555-3160

(1)

Minör, Sten. author.

(1)

Monoso, Korina. author.

(1)

Myklebust, Thor. author.

(1)

Nakajima, Shin. editor.

(1)

Nedelcu, Nicusor. author.

(1)

Nitschke, Benjamin. author.

(1)

Oliva, Gabriele. editor. (orcid)0000-0001-7257-4079

(1)

Olliaro, Martina. editor.

(1)

Olmstead, Don. author.

(1)

Panzieri, Stefano. editor. (orcid)0000-0002-6042-5479

(1)

Pascucci, Federica. editor. (orcid)0000-0002-8226-0716

(1)

Pecheur, Charles. editor.

(1)

Petrucci, Laure. editor. (orcid)0000-0003-3154-5268

(1)

Pfahl, Dietmar. editor.

(1)

Pickl, Stefan. editor. (orcid)0000-0001-5549-6259

(1)

Pinger, Ralf. editor.

(1)

Pitropakis, Nikolaos. editor. (orcid)0000-0002-3392-9970

(1)

Polikarpova, Nadia. editor.

(1)

Poth, Alexander. editor.

(1)

Priyatma, Johanes Eka. editor.

(1)

Riebisch, Matthias. editor.

(1)

Robinet, Fabrice. author.

(1)

Rombach, Dieter. editor.

(1)

Rome, Erich. editor.

(1)

Ronchi, Christian. author.

(1)

Rout, Terry. editor.

(1)

Roveri, Marco. editor.

(1)

Ruan, Xiaoyu. author.

(1)

Salaün, Gwen. editor.

(1)

Samour, Gustavo. author.

(1)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(1)

Schagaev, Igor. author.

(1)

Schneider, Kurt. editor.

(1)

Schneider, Steve. editor.

(1)

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

(1)

Schätz, Bernhard. editor.

(1)

Seceleanu, Cristina. editor.

(1)

Selby, Richard W. editor.

(1)

Serwe, Wendelin. editor.

(1)

Sevillano, Annaleena. editor. (orcid)0000-0002-8204-1791

(1)

Shenoi, Sujeet. editor.

(1)

Shi, Nija. editor.

(1)

Singh, Neeraj Kumar. author.

(1)

Skavhaug, Amund. editor.

(1)

Song, Min. author.

(1)

Staggs, Jason. editor.

(1)

Stephens, Rod, author.

(1)

Sterpone, Luca. author.

(1)

Stiller, Christoph. editor. (orcid)0000-0003-4165-2075

(1)

Stoelinga, Mariëlle. editor.

(1)

Stol, Klaas-Jan. author. (orcid)0000-0002-1038-5050

(1)

Stålhane, Tor. author.

(1)

Sunyaev, Ali. author. (orcid)0000-0002-4353-8519

(1)

Susi, Angelo. editor. (orcid)0000-0002-5026-7462

(1)

Talpin, Jean-Pierre. editor.

(1)

Theocharis, Stamatios. author.

(1)

Thomas, Kaegi. author.

(1)

Titolo, Laura. editor. (orcid)0000-0001-7820-7640

(1)

Tonetta, Stefano. editor.

(1)

Toyoshima, Masumi. editor.

(1)

Tsihrintzis, George A. author.

(1)

Turkowski, Rita. author.

(1)

Vamanu, Bogdan I. author.

(1)

Villanustre, Flavio. author.

(1)

Wahid, Fathul. editor.

(1)

Walter, Robert. author.

(1)

Willemse, Tim. editor. (orcid)0000-0003-3049-7962

(1)

Wolthusen, Stephen. editor.

(1)

Xenakis, Christos. editor.

(1)

Youn, Chan-Hyun. author.

(1)

Yu, Huafeng. editor.

(1)

Zhang, Zili. editor.

(1)

Zhu, Yang-Ming. author.

(1)

Zykov, Sergey V. author. (orcid)0000-0002-2115-5461

(1)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(1)

van Vugt, Sander. author.

(1)

Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721

(1)

Language

(78)

Publication Date

-

(13)

(10)

(9)

(8)

(6)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(34)

Computer networks .

(13)

Data protection.

(12)

Application software.

(11)

Compilers (Computer programs).

(10)

Compilers and Interpreters.

(10)

Computer and Information Systems Applications.

(10)

Computer system performance.

(9)

Computer Engineering and Networks.

(8)

Computer Science Logic and Foundations of Programming.

(8)

Computer engineering.

(8)

Computer simulation.

(8)

Electronic data processing -- Management.

(8)

(8)

(8)

Theory of Computation.

(8)

Computer Communication Networks.

(7)

(6)

Data and Information Security.

(6)

Formal Languages and Automata Theory.

(6)

Machine theory.

(6)

Software Management.

(6)

Software engineering -- Management.

(6)

Artificial intelligence.

(5)

Programming Techniques.

(5)

Computer Modelling.

(4)

Computer programming.

(4)

Data encryption (Computer science).

(4)

Information technology -- Management.

(4)

Programming languages (Electronic computers).

(4)

Business information services.

(3)

Computational intelligence.

(3)

Computer Application in Administrative Data Processing.

(3)

Computer logic.

(3)

Computer networks -- Security measures.

(3)

Control and Systems Theory.

(3)

Control engineering.

(3)

IT in Business.

(3)

Information Systems.

(3)

Information theory.

(3)

Mobile and Network Security.

(3)

Operating systems (Computers).

(3)

(3)

Special Purpose and Application-Based Systems.

(3)

(2)

Communications Engineering, Networks.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer System Implementation.

(2)

Computer security.

(2)

Computer software -- Development.

(2)

Computer systems.

(2)

Computer vision.

(2)

Computers, Special purpose.

(2)

Control Structures and Microprogramming.

(2)

Data Structures and Information Theory.

(2)

(2)

Data structures (Computer science).

(2)

Electronic digital computers -- Evaluation.

(2)

Génie logiciel.

(2)

Image processing -- Digital techniques.

(2)

Information systems.

(2)

Mathematical Logic and Formal Languages.

(2)

Microprogramming .

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

(2)

Robotic Engineering.

(2)

Security Science and Technology.

(2)

Security systems.

(2)

Software engineering

(2)

System Performance and Evaluation.

(2)

Telecommunication.

(2)

The Computing Profession.

(2)

Automatic control -- Reliability.

(1)

Automotive engineering.

(1)

Business IT Infrastructure.

(1)

(1)

Chemical Safety.

(1)

Chemicals -- Safety measures.

(1)

Computation by Abstract Devices.

(1)

Computer communication systems.

(1)

Computer games -- Programming.

(1)

Computer industry.

(1)

Computer network architectures.

(1)

Computer science -- Mathematics.

(1)

Computer software -- Development

(1)

Computer software.

(1)

Computers and Education.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

(1)

(1)

Data Mining and Knowledge Discovery.

(1)

Education -- Data processing.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic Circuits and Systems.

(1)

Electronic books.

(1)

Electronic circuits.

(1)

Electronic commerce.

(1)

Embedded computer systems.

(1)

(1)

Environmental Physics.

(1)

Environmental sciences.

(1)

Game Development.

(1)

Geographic information systems.

(1)

Geographical Information System.

(1)

Hardware Performance and Reliability.

(1)

Health Informatics.

(1)

Human-computer interaction.

(1)

Internet of things.

(1)

(1)

(1)

Logic programming.

(1)

Logics and Meanings of Programs.

(1)

Machine learning.

(1)

Management information systems.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical logic.

(1)

Medical records -- Data processing.

(1)

(1)

(1)

Open source software.

(1)

Performance and Reliability.

(1)

(1)

(1)

Programming Language.

(1)

Security Services.

(1)

Simulation and Modeling.

(1)

(1)

Software Engineering/Programming and Operating Systems.

(1)

(1)

Systems engineering.

(1)

Traffic engineering.

(1)

Transportation Technology and Traffic Engineering.

(1)

Transportation engineering.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

e-Commerce and e-Business.

(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

78 Results Found

Subscribe to search results

1 .. 3 4 5 6 7

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.

49.

Cover image for Cooperatively Interacting Vehicles Methods and Effects of Automated Cooperation in Traffic

Cooperatively Interacting Vehicles Methods and Effects of Automated Cooperation in Traffic

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:

50.

Cover image for Internet Computing Principles of Distributed Systems and Emerging Internet-Based Technologies

Internet Computing Principles of Distributed Systems and Emerging Internet-Based Technologies

Internet Computing Principles of Distributed Systems and Emerging Internet-Based Technologies

Author

Sunyaev, Ali. author. (orcid)0000-0002-4353-8519 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

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

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:

52.

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

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:

53.

Cover image for Challenges of Software Verification

Challenges of Software Verification

Challenges of Software Verification

Author

Arceri, Vincenzo. editor. Cortesi, Agostino. editor. Ferrara, Pietro. editor. Olliaro, Martina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-9601-6

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Semantic Knowledge Modelling via Open Linked Ontologies Ontologies in E-Governance

Semantic Knowledge Modelling via Open Linked Ontologies Ontologies in E-Governance

Semantic Knowledge Modelling via Open Linked Ontologies Ontologies in E-Governance

Author

Theocharis, Stamatios. author. Tsihrintzis, George A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Beginning software engineering

Beginning software engineering

Beginning software engineering

Author

Stephens, Rod, author.

Preferred Shelf Number

QA76.758 .S74 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

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:

57.

Cover image for Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings

Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings

Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings

Author

Nakajima, Shin. editor. Talpin, Jean-Pierre. editor. Toyoshima, Masumi. editor. Yu, Huafeng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-4436-6

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Author

Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Author

Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

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:

1 .. 3 4 5 6 7

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11