226 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ç
0000000000DEFAULTTR
Yazdır
219. 
Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning için kapak resmi
Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning
Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning
Yazar 
Abe, Jair Minoro. author.
http://dx.doi.org/10.1007/978-3-319-17912-4
Format: 
Electronic Resources
Alıntı: 
a tool to solve problems of technology and of applied science. The book will be of interest to pure
220. 
Transactions on Petri Nets and Other Models of Concurrency XII için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency XII
Transactions on Petri Nets and Other Models of Concurrency XII
Yazar 
Koutny, Maciej. editor.
https://doi.org/10.1007/978-3-662-55862-1
Format: 
Electronic Resources
Alıntı: 
Data structures (Computer scienc.
221. 
A First Introduction to Quantum Computing and Information için kapak resmi
A First Introduction to Quantum Computing and Information
A First Introduction to Quantum Computing and Information
Yazar 
Zygelman, Bernard. author.
https://doi.org/10.1007/978-3-319-91629-3
Format: 
Electronic Resources
Alıntı: 
, Engineering, Math and Computer Science departments. This textbook incorporates Mathematica-based examples into
222. 
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLI Special Issue on Data and Security Engineering için kapak resmi
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLI Special Issue on Data and Security Engineering
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLI Special Issue on Data and Security Engineering
Yazar 
Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-58808-6
Format: 
Electronic Resources
Alıntı: 
Computer Systems Organization and Communication Networks. https://scigraph.springernature.com
223. 
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII için kapak resmi
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII
Yazar 
Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-60531-8
Format: 
Electronic Resources
Alıntı: 
Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market
226. 
Johan van Benthem on Logic and Information Dynamics için kapak resmi
Johan van Benthem on Logic and Information Dynamics
Johan van Benthem on Logic and Information Dynamics
Yazar 
Baltag, Alexandru. editor.
http://dx.doi.org/10.1007/978-3-319-06025-5
Format: 
Electronic Resources
Alıntı: 
mathematics, computer science, philosophy, linguistics, cognitive and social sciences, while also ranging from
Tümünü Seç
226 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(226)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(8)
Apduhan, Bernady O. editor.
(6)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(6)
Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
(6)
Format
Dil
English
(226)
Basım Yılı
Konu
Computer science.
(165)
Logics and Meanings of Programs.
(142)
Software engineering.
(141)
Artificial intelligence.
(91)
Mathematical Logic and Formal Languages.
(88)
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