Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(86)
Forst, Wilhelm. author.
(3)
Hoffmann, Dieter. author.
(3)
Schwenkert, Rainer. author.
(3)
Stry, Yvonne. author.
(3)
Dil
Yayın Yılı
-
Konu
Numerical analysis.
(43)
Computer science—Mathematics.
(25)
Artificial intelligence.
(20)
Computer science.
(16)
Mathematics.
(16)
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ç
106 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Yazar 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers için kapak resmi
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Yazar 
Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-12466-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 19th Iberoamerican Congress, CIARP 2014, Puerto Vallarta, Mexico, November 2-5, 2014, Proceedings için kapak resmi
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 19th Iberoamerican Congress, CIARP 2014, Puerto Vallarta, Mexico, November 2-5, 2014, Proceedings
Yazar 
Bayro-Corrochano, Eduardo. editor. Hancock, Edwin. editor. (orcid)0000-0003-4496-2028 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-12568-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Constructive Side-Channel Analysis and Secure Design 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers için kapak resmi
Constructive Side-Channel Analysis and Secure Design 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers
Yazar 
Prouff, Emmanuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10175-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Advances in Intelligent Data Analysis XIII 13th International Symposium, IDA 2014, Leuven, Belgium, October 30 -- November 1, 2014. Proceedings için kapak resmi
Advances in Intelligent Data Analysis XIII 13th International Symposium, IDA 2014, Leuven, Belgium, October 30 -- November 1, 2014. Proceedings
Yazar 
Blockeel, Hendrik. editor. van Leeuwen, Matthijs. editor. Vinciotti, Veronica. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-12571-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications için kapak resmi
Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications
Yazar 
Tempo, Roberto. author. Calafiore, Giuseppe. author. Dabbene, Fabrizio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331024.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4610-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Recent Advances in Harmonic Analysis and Applications In Honor of Konstantin Oskolkov için kapak resmi
Recent Advances in Harmonic Analysis and Applications In Honor of Konstantin Oskolkov
Yazar 
Bilyk, Dmitriy. editor. De Carli, Laura. editor. Petukhov, Alexander. editor. Stokolos, Alexander M. editor. Wick, Brett D. editor.
Yer Numarası 
ONLINE(331536.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4565-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Topological Methods in Data Analysis and Visualization II Theory, Algorithms, and Applications için kapak resmi
Topological Methods in Data Analysis and Visualization II Theory, Algorithms, and Applications
Yazar 
Peikert, Ronald. editor. Hauser, Helwig. editor. Carr, Hamish. editor. Fuchs, Raphael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23175-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Convex Analysis and Monotone Operator Theory in Hilbert Spaces için kapak resmi
Convex Analysis and Monotone Operator Theory in Hilbert Spaces
Yazar 
Bauschke, Heinz H. author. Combettes, Patrick L. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-9467-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Analysis and design of algorithms : A strategic approach için kapak resmi
Analysis and design of algorithms : A strategic approach
Yazar 
Bikku, Thulasi Vijayakrishna
Yer Numarası 
QA76.6 B55 2011
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
23. 
Experimental Methods for the Analysis of Optimization Algorithms için kapak resmi
Experimental Methods for the Analysis of Optimization Algorithms
Yazar 
Bartz-Beielstein, Thomas. editor. Chiarandini, Marco. editor. Paquete, Luís. editor. Preuss, Mike. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02538-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Algorithmics of Large and Complex Networks Design, Analysis, and Simulation için kapak resmi
Algorithmics of Large and Complex Networks Design, Analysis, and Simulation
Yazar 
Lerner, Jürgen. editor. Wagner, Dorothea. editor. Zweig, Katharina A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02094-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç