Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(37)
Nielsen, Jesper Buus. editor.
(3)
Rijmen, Vincent. editor.
(3)
Bin, Eyal. editor.
(2)
Kuflik, Tsvi. editor.
(2)
Dil
Yayın Yılı
-
Konu
Software engineering.
(19)
Artificial intelligence.
(13)
Computer Communication Networks.
(12)
Computer software.
(11)
Logic design.
(11)
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ç
37 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings için kapak resmi
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Yazar 
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332962.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03077-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers için kapak resmi
Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers
Yazar 
Golumbic, Martin Charles. editor. Stern, Michal. editor. Levy, Avivit. editor. Morgenstern, Gila. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34611-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings için kapak resmi
Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings
Yazar 
Even, Guy. editor. Rawitz, Dror. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34862-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers için kapak resmi
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Yazar 
Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34188-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings için kapak resmi
Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings
Yazar 
Theis, Fabian. editor. Cichocki, Andrzej. editor. Yeredor, Arie. editor. Zibulevsky, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28551-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Scale Space and Variational Methods in Computer Vision Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 – June 2, 2011, Revised Selected Papers için kapak resmi
Scale Space and Variational Methods in Computer Vision Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 – June 2, 2011, Revised Selected Papers
Yazar 
Bruckstein, Alfred M. editor. Haar Romeny, Bart M. editor. Bronstein, Alexander M. editor. Bronstein, Michael M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24785-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers için kapak resmi
Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Yazar 
Namjoshi, Kedar. editor. Zeller, Andreas. editor. Ziv, Avi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19237-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers için kapak resmi
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Yazar 
Barner, Sharon. editor. Harris, Ian. editor. Kroening, Daniel. editor. Raz, Orna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19583-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings için kapak resmi
Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
Yazar 
Chockler, Hana. editor. Hu, Alan J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01702-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Next Generation Information Technologies and Systems 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers için kapak resmi
Next Generation Information Technologies and Systems 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers
Yazar 
Feldman, Yishai A. editor. Kraft, Donald. editor. Kuflik, Tsvi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04941-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Approximation and Online Algorithms 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers için kapak resmi
Approximation and Online Algorithms 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers
Yazar 
Kaklamanis, Christos. editor. Skutella, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77918-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Computational Linguistics and Intelligent Text Processing 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings için kapak resmi
Computational Linguistics and Intelligent Text Processing 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings
Yazar 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78135-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: