14 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
2. 
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings için kapak resmi
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Yazar 
Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
https://doi.org/10.1007/978-3-030-03044-5
Format: 
Electronic Resources
Alıntı: 
-- Verification and validation -- Experience reports regarding teaching formal methods -- Applications.
4. 
Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming için kapak resmi
Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming
Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming
Yazar 
Upadhyaya, Bhim P. author.
https://doi.org/10.1007/978-3-030-12561-5
Format: 
Electronic Resources
Alıntı: 
, binary trees, sorting, searching, and graphs Describes examples of complete and running applications for
5. 
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer için kapak resmi
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Yazar 
Jenkyns, Tom. author.
https://doi.org/10.1007/978-3-319-70151-6
Format: 
Electronic Resources
Alıntı: 
University, Canada. Dr. Ben Stephenson is a Teaching Professor in the Department of Computer Science at the
6. 
Sequential and Parallel Algorithms and Data Structures The Basic Toolbox için kapak resmi
Sequential and Parallel Algorithms and Data Structures The Basic Toolbox
Sequential and Parallel Algorithms and Data Structures The Basic Toolbox
Yazar 
Sanders, Peter. author.
https://doi.org/10.1007/978-3-030-25209-0
Format: 
Electronic Resources
Alıntı: 
performance-critical applications and how this impacts on the teaching of algorithms. The book is suitable for
9. 
Guide to Competitive Programming Learning and Improving Algorithms Through Contests için kapak resmi
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Yazar 
Laaksonen, Antti. author.
https://doi.org/10.1007/978-3-319-72547-5
Format: 
Electronic Resources
Alıntı: 
Introduction -- Programming Techniques -- Efficiency -- Sorting and Searching -- Data Structures
10. 
Mathematics and Computation in Music 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings için kapak resmi
Mathematics and Computation in Music 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings
Mathematics and Computation in Music 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings
Yazar 
Montiel, Mariana. editor. (orcid)0000-0002-7859-1547
https://doi.org/10.1007/978-3-030-21392-3
Format: 
Electronic Resources
Alıntı: 
-- Have Fun with Math and Music! -- Teaching Music with Mathematics: a Pilot Study -- Integrated Music and
12. 
Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings, Part I için kapak resmi
Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings, Part I
Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings, Part I
Yazar 
Tan, Ying. editor.
https://doi.org/10.1007/978-3-319-61824-1
Format: 
Electronic Resources
Alıntı: 
-- Teaching-Learning-Feedback-Based Optimization -- A New Magnetotactic Bacteria Optimization Algorithm Based on Moment Migration -- A
Tümünü Seç
14 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
Algorithms.
(9)
Computer software.
(7)
Computer science.
(6)
Artificial intelligence.
(5)
Programming Languages, Compilers, Interpreters.
(4)
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

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

Powered by Informascope