Search Results for Software engineering.

174 sonuç bulundu

1 2 3 4 5 .. 15

000000000000DEFAULT_TR

13.

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

Yazar

D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 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-66266-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

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:

16.

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Yazar

Skavhaug, Amund. editor. Guiochet, Jérémie. 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-45477-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy

Yazar

Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bouchenak, Sara. editor. Kopetz, Hermann. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-47590-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part II

Yazar

Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-83432-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part I

Yazar

Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Critical Information Infrastructures Security 19th International Conference, CRITIS 2024, Rome, Italy, September 18-20, 2024, Revised Selected Papers

Yazar

Oliva, Gabriele. editor. (orcid)0000-0001-7257-4079 Panzieri, Stefano. editor. (orcid)0000-0002-6042-5479 Hämmerli, Bernhard. editor. (orcid)0000-0001-6251-1154 Pascucci, Federica. editor. (orcid)0000-0002-8226-0716 Faramondi, Luca. editor. (orcid)0000-0002-3750-2405

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-84260-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers

Yazar

Formenti, Enrico. editor. (orcid)0000-0002-1007-7912 Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part II

Yazar

Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Smart Cities 7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12-14, 2024, Revised Selected Papers

Yazar

Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012 Hernández Callejo, Luis. editor. (orcid)0000-0002-8822-2948 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

Yazar

Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-87217-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 15

	{displayName}	{count}
{error}