Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(303)
Taylor and Francis.
(7)
Algan, Sefer.
(6)
Aktaş, Volkan.
(5)
Noble, James. editor.
(5)
Dil
Yayın Yılı
-
Konu
Software engineering.
(186)
Computer science.
(155)
Programming languages (Electronic computers).
(130)
Programming Languages, Compilers, Interpreters.
(92)
Logic design.
(77)
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ç
550 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
469. 
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:
470. 
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:
471. 
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:
472. 
Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings için kapak resmi
Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
Yazar 
Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334882.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40047-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
473. 
Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers için kapak resmi
Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Yazar 
Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333246.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29578-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
474. 
Learning C# by Programming Games için kapak resmi
Learning C# by Programming Games
Yazar 
Egges, Arjan. author. Fokker, Jeroen D. author. Overmars, Mark H. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334239.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36580-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
475. 
The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday için kapak resmi
The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
Yazar 
Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334934.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40355-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
476. 
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings için kapak resmi
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Yazar 
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335003.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40787-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
477. 
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers için kapak resmi
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Yazar 
Liu, Shaoying. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334772.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39277-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
478. 
In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman için kapak resmi
In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman
Yazar 
Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.
Yer Numarası 
ONLINE(335138.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41660-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
479. 
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:
480. 
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:
Eylem Seç