Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(16)
Cimiano, Philipp. editor.
(2)
Filipe, Joaquim. editor.
(2)
Baldoni, Roberto. editor.
(1)
Barbaresco, Frédéric. editor.
(1)
Dil
Yayın Yılı
-
2013
(16)
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
0000DEFAULT_TR
Yazdır
1. 
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings için kapak resmi
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Yazar 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334825.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings için kapak resmi
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
Yazar 
Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332999.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03850-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers için kapak resmi
Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers
Yazar 
Nin, Jordi. editor. Villatoro, Daniel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334115.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36074-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Combinations of Intelligent Methods and Applications Proceedings of the 3rd International Workshop, CIMA 2012, Montpellier, France, August 2012 için kapak resmi
Combinations of Intelligent Methods and Applications Proceedings of the 3rd International Workshop, CIMA 2012, Montpellier, France, August 2012
Yazar 
Hatzilygeroudis, Ioannis. editor. Palade, Vasile. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334256.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36651-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: