Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(86)
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.
(37)
Algorithms.
(21)
Computer science -- Mathematics.
(16)
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ç
86 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift için kapak resmi
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Yazar 
Paule, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332822.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
Technologien im Mathematikunterricht Eine Sammlung von Trends und Ideen için kapak resmi
Technologien im Mathematikunterricht Eine Sammlung von Trends und Ideen
Yazar 
Ruppert, Markus. editor. Wörler, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(338115.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-658-03008-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Realtime Data Mining Self-Learning Techniques for Recommendation Engines için kapak resmi
Realtime Data Mining Self-Learning Techniques for Recommendation Engines
Yazar 
Paprotny, Alexander. author. Thess, Michael. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332858.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-01321-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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:
10. 
Pyomo – Optimization Modeling in Python için kapak resmi
Pyomo – Optimization Modeling in Python
Yazar 
Hart, William E. author. Laird, Carl. author. Watson, Jean-Paul. author. Woodruff, David L. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-3226-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
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:
12. 
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:
Eylem Seç