Search Results for Critical

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Konu: Software engineering.

Yazar

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)

Tümünü genişlet

Dil

(78)

Yayın Yılı

-

(13)

(10)

(9)

(8)

(6)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

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)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

78 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

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

49.

Cooperatively Interacting Vehicles Methods and Effects of Automated Cooperation in Traffic için kapak resmi

Cooperatively Interacting Vehicles Methods and Effects of Automated Cooperation in Traffic

Cooperatively Interacting Vehicles Methods and Effects of Automated Cooperation in Traffic

Yazar

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.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Internet Computing Principles of Distributed Systems and Emerging Internet-Based Technologies için kapak resmi

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings için kapak resmi

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

Yazar

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)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Challenges of Software Verification için kapak resmi

Challenges of Software Verification

Challenges of Software Verification

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Semantic Knowledge Modelling via Open Linked Ontologies Ontologies in E-Governance için kapak resmi

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Beginning software engineering için kapak resmi

Beginning software engineering

Beginning software engineering

Yazar

Stephens, Rod, author.

Yer Numarası

QA76.758 .S74 2023

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Evolving software processes : trends and future directions için kapak resmi

Evolving software processes : trends and future directions

Evolving software processes : trends and future directions

Yazar

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

Yer Numarası

QA76.76 .D47

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings için kapak resmi

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

Yazar

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11