Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(78)
Silhavy, Petr. editor.
(7)
Silhavy, Radek. editor.
(7)
Marcus, Aaron. editor.
(5)
Wang, Wentao. editor.
(5)
Dil
Yayın Yılı
-
Konu
Application software.
(20)
Computer and Information Systems Applications.
(19)
Computer science.
(17)
Artificial intelligence.
(13)
Computer Communication Networks.
(12)
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ç
79 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings için kapak resmi
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
Yazar 
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X Papadopoulos, Yiannis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-64119-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings için kapak resmi
Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings
Yazar 
Guerra, Esther. editor. van den Brand, Mark. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61473-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings için kapak resmi
Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Yazar 
Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61482-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude için kapak resmi
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Yazar 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings için kapak resmi
Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings
Yazar 
Balaguer, Federico. editor. Di Cosmo, Roberto. editor. Garrido, Alejandra. editor. Kon, Fabio. editor. Robles, Gregorio. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57735-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Essence of Systems Analysis and Design A Workbook Approach için kapak resmi
Essence of Systems Analysis and Design A Workbook Approach
Yazar 
Sajja, Priti Srinivas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-5128-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Guide to Distributed Simulation with HLA için kapak resmi
Guide to Distributed Simulation with HLA
Yazar 
Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61267-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers için kapak resmi
On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers
Yazar 
Ciuciu, Ioana. editor. Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-55961-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Computational Sustainability için kapak resmi
Computational Sustainability
Yazar 
Lässig, Jörg. editor. Kersting, Kristian. editor. Morik, Katharina. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-31858-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings için kapak resmi
Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Yazar 
Ábrahám, Erika. editor. Huisman, Marieke. editor. (orcid)0000-0003-4467-072X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33693-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings için kapak resmi
Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Yazar 
Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-32582-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Distributed Simulation A Model Driven Engineering Approach için kapak resmi
Distributed Simulation A Model Driven Engineering Approach
Yazar 
Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-03050-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç