Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
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ç
16 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures için kapak resmi
Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
Yazar 
Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21455-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures için kapak resmi
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Yazar 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13678-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures için kapak resmi
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01918-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings için kapak resmi
NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings
Yazar 
Boavida, Fernando. editor. Plagemann, Thomas. editor. Stiller, Burkhard. editor. Westphal, Cedric. editor. Monteiro, Edmundo. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11753810
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France için kapak resmi
Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France
Yazar 
Gayraud, Thierry. editor. Mazzella, Michel. editor. Boavida, Fernando. editor. Monteiro, Edmundo. editor. Orvalho, João. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b104225
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings için kapak resmi
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
Yazar 
Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136094
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Scalable Multicasting over Next-Generation Internet Design, Analysis and Applications için kapak resmi
Scalable Multicasting over Next-Generation Internet Design, Analysis and Applications
Yazar 
Tian, Xiaohua. author. Cheng, Yu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331234.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-0152-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Semantic Web-based Intelligent Geospatial Web Services için kapak resmi
Semantic Web-based Intelligent Geospatial Web Services
Yazar 
Yue, Peng. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332124.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6809-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Stochastic Networked Control Systems Stabilization and Optimization under Information Constraints için kapak resmi
Stochastic Networked Control Systems Stabilization and Optimization under Information Constraints
Yazar 
Yüksel, Serdar. author. Başar, Tamer. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332202.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-7085-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
A Real-Time In-Memory Discovery Service Leveraging Hierarchical Packaging Information in a Unique Identifier Network to Retrieve Track and Trace Information için kapak resmi
A Real-Time In-Memory Discovery Service Leveraging Hierarchical Packaging Information in a Unique Identifier Network to Retrieve Track and Trace Information
Yazar 
Müller, Jürgen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334366.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37128-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Information Technology Convergence Security, Robotics, Automations and Communication için kapak resmi
Information Technology Convergence Security, Robotics, Automations and Communication
Yazar 
Park, James J. (Jong Hyuk). editor. Barolli, Leonard. editor. Xhafa, Fatos. editor. Jeong, Hwa-Young. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(336345.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-6996-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Botnets için kapak resmi
Botnets
Yazar 
Tiirmaa-Klaar, Heli. author. Gassen, Jan. author. Gerhards-Padilla, Elmar. author. Martini, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331175.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5216-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: