Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(89)
Apduhan, Bernady O. editor.
(6)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(6)
Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
(6)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(6)
Dil
Yayın Yılı
-
Konu
Computer system failures.
(87)
Computer communication systems.
(38)
Software engineering.
(35)
Application software.
(25)
Artificial intelligence.
(17)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
93 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17502-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings için kapak resmi
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Yazar 
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-21759-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers için kapak resmi
Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers
Yazar 
Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-22559-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet için kapak resmi
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet
Yazar 
Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713 González-Vélez, Horacio. editor. (orcid)0000-0003-0241-6053 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-16272-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers için kapak resmi
Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers
Yazar 
Ren, Rui. editor. Zheng, Chen. editor. Zhan, Jianfeng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-5910-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII için kapak resmi
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII
Yazar 
Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-60531-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Computational Intelligence, Communications, and Business Analytics Second International Conference, CICBA 2018, Kalyani, India, July 27–28, 2018, Revised Selected Papers, Part I için kapak resmi
Computational Intelligence, Communications, and Business Analytics Second International Conference, CICBA 2018, Kalyani, India, July 27–28, 2018, Revised Selected Papers, Part I
Yazar 
Mandal, Jyotsna Kumar. editor. Mukhopadhyay, Somnath. editor. Dutta, Paramartha. editor. Dasgupta, Kousik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-8578-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers için kapak resmi
Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers
Yazar 
Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-15-0310-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Yazar 
Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-16722-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Emergent behavior in complex systems engineering : a modeling and simulation approach için kapak resmi
Emergent behavior in complex systems engineering : a modeling and simulation approach
Yazar 
Mittal, Saurabh, editor. Diallo, Saikou Y., editor. Tolk, Andreas, editor.
Yer Numarası 
TA168 .E53 2018
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119378952
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Passive and Active Measurement 15th International Conference, PAM 2014, Los Angeles, CA, USA, March 10-11, 2014, Proceedings için kapak resmi
Passive and Active Measurement 15th International Conference, PAM 2014, Los Angeles, CA, USA, March 10-11, 2014, Proceedings
Yazar 
Faloutsos, Michalis. editor. Kuzmanovic, Aleksandar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-04918-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Testbeds and Research Infrastructure: Development of Networks and Communities 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014, Revised Selected Papers için kapak resmi
Testbeds and Research Infrastructure: Development of Networks and Communities 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014, Revised Selected Papers
Yazar 
Leung, Victor C.M. editor. Chen, Min. editor. Wan, Jiafu. editor. Zhang, Yin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13326-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç