Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1070)
Cheng, Long. editor.
(9)
Li, Chaojie. editor.
(9)
Li, Hongyi. editor.
(9)
Luo, Biao. editor.
(9)
Dil
Yayın Yılı
-
Konu
Data structures (Computer science).
(1062)
Computer science.
(737)
Computer Communication Networks.
(291)
Information theory.
(265)
Computer software.
(251)
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ç
1166 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
493. 
Operational Semantics and Verification of Security Protocols için kapak resmi
Operational Semantics and Verification of Security Protocols
Yazar 
Cremers, Cas. author. Mauw, Sjouke. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78636-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
494. 
Cryptographic Protocol Security Analysis Based on Trusted Freshness için kapak resmi
Cryptographic Protocol Security Analysis Based on Trusted Freshness
Yazar 
Dong, Ling. author. Chen, Kefei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24073-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
495. 
Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings için kapak resmi
Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings
Yazar 
Askoxylakis, Ioannis. editor. Pöhls, Henrich C. editor. Posegga, Joachim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30955-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
496. 
Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings için kapak resmi
Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings
Yazar 
Haddad, Serge. editor. Pomello, Lucia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31131-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
497. 
Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings için kapak resmi
Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings
Yazar 
Fomin, Fedor V. editor. Kaski, Petteri. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31155-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
498. 
Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings için kapak resmi
Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
Yazar 
Moreira, Nelma. editor. Reis, Rogério. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31606-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
499. 
Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings için kapak resmi
Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings
Yazar 
Özbudak, Ferruh. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31662-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
500. 
Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers için kapak resmi
Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
Yazar 
Peña, Ricardo. editor. Page, Rex. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32037-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
501. 
Digital Forensics and Watermarking 10th International Workshop, IWDW 2011, Atlantic City, NY, October 23-26, 2011, Revised Selected Papers için kapak resmi
Digital Forensics and Watermarking 10th International Workshop, IWDW 2011, Atlantic City, NY, October 23-26, 2011, Revised Selected Papers
Yazar 
Shi, Yun Qing. editor. Kim, Hyoung-Joong. editor. Perez-Gonzalez, Fernando. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32205-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
502. 
DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings için kapak resmi
DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings
Yazar 
Stefanovic, Darko. editor. Turberfield, Andrew. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32208-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
503. 
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings için kapak resmi
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
Yazar 
Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32589-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
504. 
Cryptographic Hardware and Embedded Systems – CHES 2012 14th International Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings için kapak resmi
Cryptographic Hardware and Embedded Systems – CHES 2012 14th International Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings
Yazar 
Prouff, Emmanuel. editor. Schaumont, Patrick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33027-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç