Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(27)
Arabnia, Hamid R. editor.
(1)
Barnes, John. author.
(1)
Beckert, Bernhard. editor.
(1)
Bloem, Roderick. editor.
(1)
Dil
Yayın Yılı
-
2013
(27)
Konu
Computer science.
(27)
Operating systems (Computers).
(27)
Software engineering.
(18)
Computer Communication Networks.
(13)
Programming Languages, Compilers, Interpreters.
(11)
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ç
27 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
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:
2. 
Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings için kapak resmi
Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings
Yazar 
Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334200.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36424-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
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:
5. 
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings için kapak resmi
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Yazar 
Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334870.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39955-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) için kapak resmi
Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
Yazar 
Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Yer Numarası 
ONLINE(335216.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45419-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
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:
12. 
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: