>
Fa
|
Ar
|
En
journal of universal computer science
سال:2009 - دوره:15 - شماره:1
A Characterisation of Coincidence Ideals for Complex Values
- صفحه:304-354
A Formal Framework of Aggregation for the OLAP-OLTP Model
- صفحه:273-303
Dynamic Data Warehouse Design with Abstract State Machines
- صفحه:355-397
Dynamic Query Optimization under Access Limitations and Dependencies
- صفحه:33-62
Global Database Design based on Storage Space and Update Time Minimization
- صفحه:195-240
Logic, Abstract State Machines and Databases J.UCS Special Issue
- صفحه:1-2
Non-Denumerable Infinitary Modal Logic
- صفحه:63-71
On Defining the Behavior of OR-joins in Business Process Models
- صفحه:3-32
Reasoning about Nonblocking Concurrency
- صفحه:72-111
Using Abstract State Machines to Model ARIES-based Transaction Processing
- صفحه:157-194
Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner
- صفحه:112-156
Copyright 2023
Islamic World Science Citation Center
All Rights Reserved
