Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(83)
Enns, Richard H. author.
(3)
Sako, Kazue. editor.
(3)
Baras, John S. editor.
(2)
Borwein, Jonathan M. author.
(2)
Dil
Yayın Yılı
-
Konu
Computer software.
(82)
Computer science.
(36)
Algorithms.
(21)
Computer science -- Mathematics.
(15)
Mathematical optimization.
(15)
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ç
83 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
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:
14. 
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:
15. 
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:
16. 
Visual Mathematics and Cyberlearning için kapak resmi
Visual Mathematics and Cyberlearning
Yazar 
Martinovic, Dragana. editor. Freiman, Viktor. editor. Karadag, Zekeriya. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335714.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-2321-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
The SimCalc Vision and Contributions Democratizing Access to Important Mathematics için kapak resmi
The SimCalc Vision and Contributions Democratizing Access to Important Mathematics
Yazar 
Hegedus, Stephen J. editor. Roschelle, Jeremy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(336043.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5696-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
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:
19. 
Beginning R An Introduction to Statistical Programming için kapak resmi
Beginning R An Introduction to Statistical Programming
Yazar 
Pace, Larry. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-4555-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Approximation Algorithms and Semidefinite Programming için kapak resmi
Approximation Algorithms and Semidefinite Programming
Yazar 
Gärtner, Bernd. author. Matousek, Jiri. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22015-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Sparsity Graphs, Structures, and Algorithms için kapak resmi
Sparsity Graphs, Structures, and Algorithms
Yazar 
Nešetřil, Jaroslav. author. Ossona de Mendez, Patrice. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-27875-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Monte Carlo and Quasi-Monte Carlo Methods 2010 için kapak resmi
Monte Carlo and Quasi-Monte Carlo Methods 2010
Yazar 
Plaskota, Leszek. editor. Woźniakowski, Henryk. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-27440-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
Yazar 
Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31612-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings için kapak resmi
Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings
Yazar 
Grossklags, Jens. editor. Walrand, Jean. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34266-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç