Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(182)
Apduhan, Bernady O. editor.
(5)
Gavrilova, Marina L. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Dil
Konu
Android (Electronic resource)
(4)
Android (Elektronik kaynak)
(4)
Application software -- Development.
(4)
Application software.
(3)
Mobile computing
(3)
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ç
218 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings için kapak resmi
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Yazar 
Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
XX(518840.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-22969-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings için kapak resmi
Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Yazar 
Butler, Michael. editor. Conchon, Sylvain. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Yer Numarası 
XX(518970.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-25423-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures için kapak resmi
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası 
XX(519008.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-18941-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings için kapak resmi
Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Yazar 
de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Yer Numarası 
XX(519019.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19584-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings için kapak resmi
Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings
Yazar 
Fricker, Samuel A. editor. Schneider, Kurt. editor. SpringerLink (Online service)
Yer Numarası 
XX(519025.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-16101-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Sharing data and models in software engineering için kapak resmi
Sharing data and models in software engineering
Yazar 
Menzies, Tim, author. Rogers, Mark, designer.
Yer Numarası 
ONLINE(355389.1)
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124172951
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers için kapak resmi
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Yazar 
Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası 
XX(519046.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24644-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers için kapak resmi
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Yazar 
Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Yer Numarası 
XX(519140.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15317-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings için kapak resmi
Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Yazar 
Li, Xuandong. editor. Liu, Zhiming. editor. Yi, Wang. editor. SpringerLink (Online service)
Yer Numarası 
XX(519111.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-25942-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers için kapak resmi
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Yazar 
Bianculli, Domenico. editor. Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
XX(519205.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49224-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering için kapak resmi
Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Yazar 
De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)
Yer Numarası 
XX(519248.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15545-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings için kapak resmi
Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings
Yazar 
Weyns, Danny. editor. Mirandola, Raffaela. editor. Crnkovic, Ivica. editor. SpringerLink (Online service)
Yer Numarası 
XX(519351.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23727-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç