69 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. 
Higher-Order Computability için kapak resmi
Higher-Order Computability
Higher-Order Computability
Yazar 
Longley, John. author.
http://dx.doi.org/10.1007/978-3-662-47992-6
Format: 
Electronic Resources
Alıntı: 
Computer science -- Mathematics.
2. 
Words and Graphs için kapak resmi
Words and Graphs
Words and Graphs
Yazar 
Kitaev, Sergey. author.
http://dx.doi.org/10.1007/978-3-319-25859-1
Format: 
Electronic Resources
Alıntı: 
Computer science -- Mathematics.
3. 
Finitely Supported Mathematics An Introduction için kapak resmi
Finitely Supported Mathematics An Introduction
Finitely Supported Mathematics An Introduction
Yazar 
Alexandru, Andrei. author.
http://dx.doi.org/10.1007/978-3-319-42282-4
Format: 
Electronic Resources
Alıntı: 
Computer science -- Mathematics.
4. 
Turing Computability Theory and Applications için kapak resmi
Turing Computability Theory and Applications
Turing Computability Theory and Applications
Yazar 
Soare, Robert I. author.
http://dx.doi.org/10.1007/978-3-642-31933-4
Format: 
Electronic Resources
Alıntı: 
Computer science -- Mathematics.
5. 
The Foundations of Computability Theory için kapak resmi
The Foundations of Computability Theory
The Foundations of Computability Theory
Yazar 
Robič, Borut. author.
http://dx.doi.org/10.1007/978-3-662-44808-3
Format: 
Electronic Resources
Alıntı: 
Computer science -- Mathematics.
11. 
Introduction to Concurrency Theory Transition Systems and CCS için kapak resmi
Introduction to Concurrency Theory Transition Systems and CCS
Introduction to Concurrency Theory Transition Systems and CCS
Yazar 
Gorrieri, Roberto. author.
http://dx.doi.org/10.1007/978-3-319-21491-7
Format: 
Electronic Resources
Alıntı: 
Computer science -- Mathematics.
12. 
Petri Net Synthesis için kapak resmi
Petri Net Synthesis
Petri Net Synthesis
Yazar 
Badouel, Eric. author.
http://dx.doi.org/10.1007/978-3-662-47967-4
Format: 
Electronic Resources
Alıntı: 
Computer science -- Mathematics.
Tümünü Seç
69 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(69)
Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964
(5)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(5)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(5)
Lam, Roberto. editor. (orcid)0000-0003-4297-2441
(5)
Format
Dil
Basım Yılı
Konu
Computer science.
(50)
Computers.
(48)
Mathematics of Computing.
(40)
Artificial intelligence.
(26)
Computer science -- Mathematics.
(23)
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