60 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. 
Scheduling and Congestion Control for Wireless Internet için kapak resmi
Scheduling and Congestion Control for Wireless Internet
Scheduling and Congestion Control for Wireless Internet
Yazar 
Wang, Xin. author.
http://dx.doi.org/10.1007/978-1-4614-8420-2
Format: 
Electronic Resources
Alıntı: 
SpringerBriefs in Electrical and Computer Engineering,
3. 
Transactions on Computational Science XXVII için kapak resmi
Transactions on Computational Science XXVII
Transactions on Computational Science XXVII
Yazar 
Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-662-50412-3
Format: 
Electronic Resources
Alıntı: 
Discrete Mathematics in Computer Science.
5. 
3D Research Challenges in Cultural Heritage A Roadmap in Digital Heritage Preservation için kapak resmi
3D Research Challenges in Cultural Heritage A Roadmap in Digital Heritage Preservation
3D Research Challenges in Cultural Heritage A Roadmap in Digital Heritage Preservation
Yazar 
Ioannides, Marinos. editor.
http://dx.doi.org/10.1007/978-3-662-44630-0
Format: 
Electronic Resources
Alıntı: 
, which lies at the intersection of digital heritage, engineering, computer science, mathematics, material
6. 
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude için kapak resmi
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Yazar 
Ölveczky, Peter Csaba. author.
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
9. 
Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings için kapak resmi
Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings
Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings
Yazar 
Alba, Enrique. editor.
https://doi.org/10.1007/978-3-319-59513-9
Format: 
Electronic Resources
Alıntı: 
Mathematics of Computing. http://scigraph.springernature.com/things/product-market-codes/I17001
12. 
Models of Strategic Reasoning Logics, Games, and Communities için kapak resmi
Models of Strategic Reasoning Logics, Games, and Communities
Models of Strategic Reasoning Logics, Games, and Communities
Yazar 
van Benthem, Johan. editor.
http://dx.doi.org/10.1007/978-3-662-48540-8
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages.
Tümünü Seç
60 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(60)
Dongarra, Jack. editor.
(3)
Karczewski, Konrad. editor.
(3)
Wyrzykowski, Roman. editor.
(3)
Bielova, Nataliia. editor.
(2)
Format
Dil
Basım Yılı
2014
(14)
2015
(11)
2016
(14)
2017
(16)
2018
(5)
Konu
Software engineering.
(54)
Computer communication systems.
(39)
Mathematical Logic and Formal Languages.
(31)
Logics and Meanings of Programs.
(24)
Algorithm Analysis and Problem Complexity.
(22)
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