Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(105)
Batina, Lejla. editor. (orcid)0000-0003-0727-3573
(3)
Fischlin, Marc. editor. (orcid)0000-0003-0597-8297
(3)
Florez, Hector. editor. (orcid)0000-0002-5339-4459
(3)
Lu, Zeguang. editor.
(3)
Dil
English
(105)
Yayın Yılı
-
2024
(30)
2025
(29)
2013
(27)
2017
(15)
2016
(4)
Konu
Operating systems (Computers).
(105)
Software engineering.
(55)
Computer science.
(40)
Computer networks .
(39)
Computer Communication Networks.
(38)
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ç
105 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Aliasing in Object-Oriented Programming. Types, Analysis and Verification için kapak resmi
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Yazar 
Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334327.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36946-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings için kapak resmi
Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings
Yazar 
Tsaoussidis, Vassilis. editor. Kassler, Andreas J. editor. Koucheryavy, Yevgeni. editor. Mellouk, Abdelhamid. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334594.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38401-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings için kapak resmi
Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings
Yazar 
Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.
Yer Numarası 
ONLINE(334517.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38027-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers için kapak resmi
Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
Yazar 
Cuellar, Jorge. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334518.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38030-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings için kapak resmi
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Yazar 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334533.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings için kapak resmi
Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
Yazar 
Bloem, Roderick. editor. Lipp, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332976.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03491-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings için kapak resmi
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Yazar 
Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334610.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38493-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings için kapak resmi
Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings
Yazar 
Dawson, Ed. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334122.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36095-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings için kapak resmi
Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings
Yazar 
Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334223.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36516-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Yazar 
Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334353.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37051-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
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:
24. 
Ada 2012 Rationale The Language, The Standard Libraries için kapak resmi
Ada 2012 Rationale The Language, The Standard Libraries
Yazar 
Barnes, John. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335195.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45210-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç