Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(71)
Birman, Kenneth P. author.
(2)
Guo, Minyi. editor.
(2)
Holt, Alan. author.
(2)
Huang, Chi-Yu. author.
(2)
Dil
Yayın Yılı
-
Konu
Computer science.
(56)
Software engineering.
(34)
Computer Communication Networks.
(32)
Computer network architectures.
(21)
Information systems.
(21)
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ç
71 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Yazar 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34026-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings için kapak resmi
Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings
Yazar 
Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33119-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services için kapak resmi
Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services
Yazar 
Birman, Kenneth P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-2416-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings için kapak resmi
Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings
Yazar 
Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23178-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Forensics in Telecommunications, Information, and Multimedia Third International ICST Conference, e-Forensics 2010, Shanghai, China, November 11-12, 2010, Revised Selected Papers için kapak resmi
Forensics in Telecommunications, Information, and Multimedia Third International ICST Conference, e-Forensics 2010, Shanghai, China, November 11-12, 2010, Revised Selected Papers
Yazar 
Lai, Xuejia. editor. Gu, Dawu. editor. Jin, Bo. editor. Wang, Yongquan. editor. Li, Hui. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23602-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Software Reliability Assessment with OR Applications için kapak resmi
Software Reliability Assessment with OR Applications
Yazar 
Kapur, P.K. author. Pham, Hoang. author. Gupta, A. author. Jha, P.C. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-85729-204-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Dependability of Networked Computer-based Systems için kapak resmi
Dependability of Networked Computer-based Systems
Yazar 
Verma, Ajit Kumar. author. Ajit, Srividya. author. Kumar, Manoj. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-85729-318-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers için kapak resmi
Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers
Yazar 
Altman, Eitan. editor. Carrera, Iacopo. editor. El-Azouzi, Rachid. editor. Hart, Emma. editor. Hayel, Yezekael. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-12808-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings için kapak resmi
Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings
Yazar 
Bellavista, Paolo. editor. Chang, Ruay-Shiung. editor. Chao, Han-Chieh. editor. Lin, Shin-Feng. editor. Sloot, Peter M. A. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13067-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers için kapak resmi
Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers
Yazar 
Chatzimisios, Periklis. editor. Verikoukis, Christos. editor. Santamaría, Ignacio. editor. Laddomada, Massimiliano. editor. Hoffmann, Oliver. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16644-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Understanding Concurrent Systems için kapak resmi
Understanding Concurrent Systems
Yazar 
Roscoe, A.W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-258-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings için kapak resmi
Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Yazar 
Eliassen, Frank. editor. Kapitza, Rüdiger. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13645-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç