Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1486)
Quarteroni, Alfio. author.
(17)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(16)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(12)
Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
(11)
Dil
Yayın Yılı
-
Konu
Computer science -- Mathematics.
(1020)
Computer science.
(462)
Artificial intelligence.
(393)
Mathematics.
(323)
Algorithms.
(313)
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ç
1679 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
889. 
Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers için kapak resmi
Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers
Yazar 
Yung, Moti. editor. Zhang, Jianbiao. editor. Yang, Zhen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-31550-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
890. 
Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings için kapak resmi
Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
Yazar 
Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30806-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
891. 
Selected Areas in Cryptography - SAC 2015 22nd International Conference, Sackville, NB, Canada, August 12-14, 2015, Revised Selected Papers için kapak resmi
Selected Areas in Cryptography - SAC 2015 22nd International Conference, Sackville, NB, Canada, August 12-14, 2015, Revised Selected Papers
Yazar 
Dunkelman, Orr. editor. Keliher, Liam. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-31301-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
892. 
Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers için kapak resmi
Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers
Yazar 
Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51917-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
893. 
Innovations for Community Services 16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016, Revised Selected Papers için kapak resmi
Innovations for Community Services 16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016, Revised Selected Papers
Yazar 
Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988 Eichler, Gerald. editor. Erfurth, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49466-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
894. 
Index-aware Model Order Reduction Methods Applications to Differential-Algebraic Equations için kapak resmi
Index-aware Model Order Reduction Methods Applications to Differential-Algebraic Equations
Yazar 
Banagaaya, N. author. Alì, Giuseppe. author. Schilders, Wil H.A. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.2991/978-94-6239-189-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
895. 
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs için kapak resmi
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Yazar 
Herdt, Vladimir. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-12680-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
896. 
Relaxed Abduction Robust Information Interpretation for Industrial Applications için kapak resmi
Relaxed Abduction Robust Information Interpretation for Industrial Applications
Yazar 
Hubauer, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-14407-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
897. 
Guide to 3D Vision Computation Geometric Analysis and Implementation için kapak resmi
Guide to 3D Vision Computation Geometric Analysis and Implementation
Yazar 
Kanatani, Kenichi. author. Sugaya, Yasuyuki. author. (orcid)0000-0001-8339-5631 Kanazawa, Yasushi. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48493-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
898. 
Algorithm Engineering Selected Results and Surveys için kapak resmi
Algorithm Engineering Selected Results and Surveys
Yazar 
Kliemann, Lasse. editor. Sanders, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49487-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
899. 
Advances in Cryptology - EUROCRYPT 2016 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part I için kapak resmi
Advances in Cryptology - EUROCRYPT 2016 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part I
Yazar 
Fischlin, Marc. editor. Coron, Jean-Sébastien. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49890-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
900. 
Linear Algebra for Computational Sciences and Engineering için kapak resmi
Linear Algebra for Computational Sciences and Engineering
Yazar 
Neri, Ferrante. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40341-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç