Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(6752)
Kim, Tai-hoon. editor.
(47)
Taniar, David. editor.
(45)
Apduhan, Bernady O. editor.
(44)
Gervasi, Osvaldo. editor.
(44)
Dil
Yayın Yılı
-
Konu
Computer science.
(4592)
Software engineering.
(3826)
Computer software.
(2174)
Artificial intelligence.
(2060)
Computer Communication Networks.
(1706)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
8915 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
337. 
Java software solutions : foundations of program design için kapak resmi
Java software solutions : foundations of program design
Yazar 
Lewis, John. Loftus, William.
Yer Numarası 
QA76.73.J38 L49 2015
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
338. 
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings için kapak resmi
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Yazar 
Piterman, Nir. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-26287-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
339. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-25423-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
340. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24644-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
341. 
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers için kapak resmi
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Yazar 
Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15201-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
342. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-25942-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
343. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-18941-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
344. 
Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings için kapak resmi
Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Yazar 
El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-25945-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
345. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-16101-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
346. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15317-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
347. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49224-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
348. 
Software patterns, knowledge maps, and domain analysis için kapak resmi
Software patterns, knowledge maps, and domain analysis
Yazar 
Fayad, Mohamed, 1950, author.
Yer Numarası 
QA76.76 .P37 F39 2015
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets