Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(419)
Lopez, Cesar. author.
(9)
Taylor and Francis.
(7)
Algan, Sefer.
(6)
Kobayashi, Naoki. editor.
(6)
Dil
Yayın Yılı
-
Konu
Software engineering.
(229)
Computer science.
(184)
Programming languages (Electronic computers).
(171)
Programming Languages, Compilers, Interpreters.
(92)
Computer programming.
(80)
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ç
666 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
529. 
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings için kapak resmi
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Yazar 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334533.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
530. 
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings için kapak resmi
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
Yazar 
Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334631.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38601-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
531. 
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings için kapak resmi
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Yazar 
Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334634.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38613-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
532. 
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers için kapak resmi
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Yazar 
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334820.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39611-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
533. 
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings için kapak resmi
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Yazar 
Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334844.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39742-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
534. 
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings için kapak resmi
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Yazar 
Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334870.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39955-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
535. 
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings için kapak resmi
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Yazar 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335072.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
536. 
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings için kapak resmi
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Yazar 
Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335141.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41707-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
537. 
Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings için kapak resmi
Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
Yazar 
Sagonas, Kostis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335204.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45284-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
538. 
Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers için kapak resmi
Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
Yazar 
Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335206.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45293-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
539. 
Using Microsoft Dynamics AX 2012 Updated for Version R2 için kapak resmi
Using Microsoft Dynamics AX 2012 Updated for Version R2
Yazar 
Luszczak, Andreas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335271.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-658-01709-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
540. 
Ubiquitous Information Technologies and Applications CUTE 2012 için kapak resmi
Ubiquitous Information Technologies and Applications CUTE 2012
Yazar 
Han, Youn-Hee. editor. Park, Doo-Soon. editor. Jia, Weijia. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(336087.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5857-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç