Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(520)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Filipe, Joaquim. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Dil
Konu
Computer science.
(474)
Software engineering.
(327)
Computer software.
(222)
Algorithm Analysis and Problem Complexity.
(213)
Information Systems Applications (incl. Internet).
(132)
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ç
577 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
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:
38. 
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:
39. 
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures için kapak resmi
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Yazar 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334841.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39721-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
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:
41. 
Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings için kapak resmi
Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings
Yazar 
Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335064.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41151-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
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:
43. 
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:
44. 
Information and Software Technologies 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings için kapak resmi
Information and Software Technologies 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings
Yazar 
Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335153.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41947-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers için kapak resmi
Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
Yazar 
Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335227.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-54092-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten için kapak resmi
Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten
Yazar 
Kleuker, Stephan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(337559.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-658-00642-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen için kapak resmi
Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen
Yazar 
Schäuffele, Jörg. author. Zurawka, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(338377.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-2470-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control Method, Software and Industrial Application için kapak resmi
Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control Method, Software and Industrial Application
Yazar 
Kang, Shu Gang. author. Choi, Shiu Hong. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331015.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4576-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç