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
1. 
Energy-Efficient High Performance Computing Measurement and Tuning için kapak resmi
Energy-Efficient High Performance Computing Measurement and Tuning
Yazar 
Laros III, James H. author. Pedretti, Kevin. author. Kelly, Suzanne M. author. Shu, Wei. author. Ferreira, Kurt. author.
Yer Numarası 
ONLINE(330991.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4492-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
Yazar 
Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66263-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers için kapak resmi
Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers
Yazar 
Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334049.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35795-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
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:
5. 
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers için kapak resmi
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Yazar 
Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334071.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35867-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers için kapak resmi
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Yazar 
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334077.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35887-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Assurances for Self-Adaptive Systems Principles, Models, and Techniques için kapak resmi
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Yazar 
Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334156.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36249-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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:
9. 
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:
10. 
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:
11. 
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:
12. 
Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers için kapak resmi
Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers
Yazar 
Pierson, Jean-Marc. editor. Da Costa, Georges. editor. Dittmann, Lars. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334960.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40517-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç