Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(15)
Alpen, Edward L.
(1)
Baier, Christel. editor.
(1)
Bandyopadhyay, Sanghamitra. editor.
(1)
Beierle, Christoph. editor.
(1)
Dil
Konu
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ç
16 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
13. 
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Yer Numarası 
XX(519090.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(519161.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Pattern Recognition and Machine Intelligence 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings için kapak resmi
Pattern Recognition and Machine Intelligence 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings
Yazar 
Kryszkiewicz, Marzena. editor. Bandyopadhyay, Sanghamitra. editor. Rybinski, Henryk. editor. Pal, Sankar K. editor. SpringerLink (Online service)
Yer Numarası 
XX(519185.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19941-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
In Memory Data Management and Analysis First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers için kapak resmi
In Memory Data Management and Analysis First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers
Yazar 
Jagatheesan, Arun. editor. Levandoski, Justin. editor. Neumann, Thomas. editor. Pavlo, Andrew. editor. SpringerLink (Online service)
Yer Numarası 
XX(519191.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13960-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: