Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(29)
Biersack, Ernst. editor.
(2)
Krogstie, John. editor. (orcid)0000-0003-4830-1876
(2)
Proper, Henderik A. editor. (orcid)0000-0002-7318-2496
(2)
Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108
(2)
Dil
Yayın Yılı
-
Konu
Software engineering.
(9)
Computer Communication Networks.
(7)
Computer system performance.
(7)
Information storage and retrieval systems.
(6)
Application software.
(5)
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ç
29 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULT_TR
Yazdır
1. 
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings için kapak resmi
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Yazar 
Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70848-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Business Process Management 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings için kapak resmi
Business Process Management 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings
Yazar 
La Rosa, Marcello. editor. (orcid)0000-0001-9568-4035 Loos, Peter. editor. Pastor, Oscar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45348-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday için kapak resmi
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Yazar 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Smart Health International Conference, ICSH 2015, Phoenix, AZ, USA, November 17-18, 2015. Revised Selected Papers için kapak resmi
Smart Health International Conference, ICSH 2015, Phoenix, AZ, USA, November 17-18, 2015. Revised Selected Papers
Yazar 
Zheng, Xiaolong. editor. Zeng, Daniel Dajun. editor. Chen, Hsinchun. editor. Leischow, Scott J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29175-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings için kapak resmi
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Yazar 
Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46982-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: