Search Results for Critical

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

78 sonuç bulundu

1 .. 3 4 5 6 7

000000000000DEFAULT_TR

49.

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Yazar

Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

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:

51.

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:

52.

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Yazar

Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

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

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

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

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.

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:

58.

Agile Processes in Software Engineering and Extreme Programming 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings

Yazar

Baumeister, Hubert. editor. Lichter, Horst. editor. Riebisch, Matthias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-57633-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Information and Communication Technologies for Development 14th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2017, Yogyakarta, Indonesia, May 22-24, 2017, Proceedings

Yazar

Choudrie, Jyoti. editor. (orcid)0000-0001-9349-7690 Islam, M. Sirajul. editor. Wahid, Fathul. editor. Bass, Julian M. editor. Priyatma, Johanes Eka. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Representing Scientific Knowledge The Role of Uncertainty

Yazar

Chen, Chaomei. author. Song, Min. author. SpringerLink (Online service)