5 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ç
00000DEFAULTTR
Yazdır
1. 
Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings için kapak resmi
Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
Yazar 
England, Matthew. editor. (orcid)0000-0001-5729-3420
https://doi.org/10.1007/978-3-030-26831-2
Format: 
Electronic Resources
Alıntı: 
Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia
2. 
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics için kapak resmi
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
Yazar 
Majkić, Zoran. author.
http://dx.doi.org/10.1007/978-3-319-04156-8
Format: 
Electronic Resources
Alıntı: 
and merging operators (tensors) for databases, universal algebra considerations, and algebraic
3. 
Enterprise Information Systems Engineering The MERODE Approach için kapak resmi
Enterprise Information Systems Engineering The MERODE Approach
Enterprise Information Systems Engineering The MERODE Approach
Yazar 
Snoeck, Monique. author.
http://dx.doi.org/10.1007/978-3-319-10145-3
Format: 
Electronic Resources
Alıntı: 
feature is the method’s grounding in process algebra provides clear criteria and practical support for
5. 
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings için kapak resmi
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Yazar 
Jones, Cliff. editor.
http://dx.doi.org/10.1007/978-3-319-06410-9
Format: 
Electronic Resources
Alıntı: 
Checker -- Invariants, Well-Founded Statements and Real-Time Program Algebra -- Checking Liveness
Tümünü Seç
5 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
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