324 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
313. 
Verification of Business Rules Programs için kapak resmi
Verification of Business Rules Programs
Verification of Business Rules Programs
Yazar 
Berstel-Da Silva, Bruno. author.
http://dx.doi.org/10.1007/978-3-642-40038-4
Format: 
Electronic Resources
Alıntı: 
Computer science.
315. 
Process Mining Data Science in Action için kapak resmi
Process Mining Data Science in Action
Process Mining Data Science in Action
Yazar 
van der Aalst, Wil. author.
http://dx.doi.org/10.1007/978-3-662-49851-4
Format: 
Electronic Resources
Alıntı: 
Computer science.
318. 
Dynamic logic için kapak resmi
Dynamic logic
Dynamic logic
Yazar 
Harel, David, 1950-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Electronic Resources
Alıntı: 
Formal methods (Computer science)
319. 
Joint Training for Neural Machine Translation için kapak resmi
Joint Training for Neural Machine Translation
Joint Training for Neural Machine Translation
Yazar 
Cheng, Yong. author.
https://doi.org/10.1007/978-981-32-9748-7
Format: 
Electronic Resources
Alıntı: 
Natural language processing (Computer science).
321. 
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers için kapak resmi
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
Yazar 
Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623
https://doi.org/10.1007/978-3-030-14174-5
Format: 
Electronic Resources
Alıntı: 
Probability and Statistics in Computer Science. https://scigraph.springernature.com/ontologies
323. 
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings için kapak resmi
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Yazar 
Hutton, Graham. editor. (orcid)0000-0001-9584-5150
https://doi.org/10.1007/978-3-030-33636-3
Format: 
Electronic Resources
Alıntı: 
Math Applications in Computer Science. https://scigraph.springernature.com/ontologies/product
324. 
Towards Paraconsistent Engineering için kapak resmi
Towards Paraconsistent Engineering
Towards Paraconsistent Engineering
Yazar 
Akama, Seiki. editor.
http://dx.doi.org/10.1007/978-3-319-40418-9
Format: 
Electronic Resources
Alıntı: 
Computer logic.
Tümünü Seç
324 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(323)
Ölveczky, Peter Csaba. editor.
(5)
Artho, Cyrille. editor.
(4)
Kroening, Daniel. editor.
(4)
Lanese, Ivan. editor.
(4)
Format
Dil
English
(324)
Basım Yılı
2000
(1)
2014
(99)
2015
(93)
2016
(80)
2019
(51)
Konu
Logics and Meanings of Programs.
(314)
Computer science.
(271)
Software engineering.
(237)
Mathematical logic.
(198)
Mathematical Logic and Formal Languages.
(196)
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