58 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000DEFAULTTR
Yazdır
1. 
Mathematical Foundations of Nature-Inspired Algorithms için kapak resmi
Mathematical Foundations of Nature-Inspired Algorithms
Mathematical Foundations of Nature-Inspired Algorithms
Yazar 
Yang, Xin-She. author.
https://doi.org/10.1007/978-3-030-16936-7
Format: 
Electronic Resources
Alıntı: 
Mathematical Foundations of Nature-Inspired Algorithms Yang, Xin-She. author.
2. 
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 için kapak resmi
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001
Yazar 
Guerraoui, Rachid. editor.
http://dx.doi.org/10.1007/978-3-319-14720-8
Format: 
Electronic Resources
Alıntı: 
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 /
8. 
Computational Complexity of Solving Equation Systems için kapak resmi
Computational Complexity of Solving Equation Systems
Computational Complexity of Solving Equation Systems
Yazar 
Broniek, Przemysław. author.
http://dx.doi.org/10.1007/978-3-319-21750-5
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations.
10. 
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings için kapak resmi
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Yazar 
Blanchette, Jasmin Christian. editor.
http://dx.doi.org/10.1007/978-3-319-43144-4
Format: 
Electronic Resources
Alıntı: 
foundations to implementation aspects and applications in program verification, security and formalization of
Tümünü Seç
58 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(58)
Dediu, Adrian-Horia. editor.
(3)
Halldórsson, Magnús M. editor.
(3)
Italiano, Giuseppe F. editor.
(3)
Martín-Vide, Carlos. editor.
(3)
Format
Dil
Basım Yılı
Konu
Algorithm Analysis and Problem Complexity.
(56)
Computer science.
(48)
Discrete Mathematics in Computer Science.
(30)
Computer science -- Mathematics.
(28)
Artificial intelligence.
(25)
Lokasyon
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope