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
1. 
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:
2. 
Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System için kapak resmi
Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System
Yazar 
Hammock, Michael R. author. Mixon, J. Wilson. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332481.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-9417-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
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:
5. 
Übungsbuch Mathematik für Wirtschaftswissenschaftler Aufgabensammlung mit ausführlichen Lösungen için kapak resmi
Übungsbuch Mathematik für Wirtschaftswissenschaftler Aufgabensammlung mit ausführlichen Lösungen
Yazar 
Wendler, Tilo. author. Tippe, Ulrike. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(337084.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34008-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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:
7. 
Recent Advances in Algorithmic Differentiation için kapak resmi
Recent Advances in Algorithmic Differentiation
Yazar 
Forth, Shaun. editor. Hovland, Paul. editor. Phipps, Eric. editor. Utke, Jean. editor. Walther, Andrea. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30023-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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:
9. 
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:
10. 
Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings için kapak resmi
Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings
Yazar 
Wang, Xiaoyun. editor. Sako, Kazue. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34961-4
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. 
Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book için kapak resmi
Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book
Yazar 
Logg, Anders. editor. Mardal, Kent-Andre. editor. Wells, Garth. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23099-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç