Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
2013
(8)
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ç
8 sonuç bulundu Arama sonuçlarına abone ol
00000000DEFAULT_TR
Yazdır
1. 
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction için kapak resmi
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Yazar 
Pudlák, Pavel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332681.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00119-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
The Tower of Hanoi – Myths and Maths için kapak resmi
The Tower of Hanoi – Myths and Maths
Yazar 
Hinz, Andreas M. author. Klavžar, Sandi. author. Milutinović, Uroš. author. Petr, Ciril. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332606.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0348-0237-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings için kapak resmi
Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings
Yazar 
Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332947.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02786-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Connected Dominating Set: Theory and Applications için kapak resmi
Connected Dominating Set: Theory and Applications
Yazar 
Du, Ding-Zhu. author. Wan, Peng-Jun. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331720.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5242-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Structure of Solutions of Variational Problems için kapak resmi
Structure of Solutions of Variational Problems
Yazar 
Zaslavski, Alexander J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332024.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6387-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I için kapak resmi
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
Yazar 
Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335157.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-42033-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II için kapak resmi
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II
Yazar 
Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335160.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-42045-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Yazar 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334724.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: