Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(485)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(12)
Taniar, David. editor. (orcid)0000-0002-8862-3960
(12)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
(11)
Dil
English
(485)
Yayın Yılı
-
2024
(167)
2025
(125)
2017
(113)
2016
(77)
2015
(2)
Konu
Software engineering.
(439)
Computer Communication Networks.
(352)
Application software.
(224)
Artificial intelligence.
(224)
Computer and Information Systems Applications.
(224)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
485 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
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
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:
50. 
Theory and Models for Cyber Situation Awareness için kapak resmi
Theory and Models for Cyber Situation Awareness
Yazar 
Liu, Peng. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X Wang, Cliff. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61152-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I için kapak resmi
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I
Yazar 
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Papazoglou, Mike. editor. Paschke, Adrian. editor. (orcid)0000-0003-3156-9040
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-69462-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers için kapak resmi
Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Yazar 
Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33612-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings için kapak resmi
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Yazar 
Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39570-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings için kapak resmi
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:
55. 
Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy için kapak resmi
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:
56. 
Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings için kapak resmi
Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings
Yazar 
Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-73370-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Society 5.0 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers için kapak resmi
Society 5.0 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers
Yazar 
Hinkelmann, Knut. editor. (orcid)0000-0002-1746-6945 Smuts, Hanlie. editor. (orcid)0000-0001-7120-7787 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71412-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings için kapak resmi
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Yazar 
Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66149-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part I için kapak resmi
Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part I
Yazar 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74595-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II için kapak resmi
Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II
Yazar 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74598-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets