Journal on Satisfiability, Boolean Modelling and Computation
| Hōputu: | Tāhiko Hautaka |
|---|---|
| Reo: | Ingarihi |
| I whakaputaina: |
Cambridge University Press
|
| Urunga tuihono: | Full text available on Research4Life (HINARI,AGORA,OARE,ARDI & GOALI) |
Ngā tūemi rite
Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning
Computational Mathematics and Modeling
Mathematical Models and Computer Simulations
Journal of Molecular Modeling
Journal of Business Models
Neural Network Models for Optical Computing
Mathematical & Computer Modelling of Dynamical Systems
Mathematical and Computer Modelling of Dynamical Systems
ACM Transactions on Modeling and Computer Simulation
Journal of Multidisciplinary Modeling and Optimization | Journal of Multidisciplinary Modeling and Optimization
International Journal of Mathematical Modelling & Computations | Islamic Azad University
Proceedings of the Programming Models and Languages for Distributed Computing
Model Curriculum for K--12 Computer Science
mā: Tucker
mā: Tucker
Mathematical Modeling and Estimation Techniques in Computer Vision
Computational Models for Predicting Visual Target Distinctness
mā: Garcia, Jose Antonio
mā: Garcia, Jose Antonio
Theoretical Chemistry Accounts: Theory, Computation, & Modeling
Computational Engineering and Physical Modeling | Pouyan Press
International Journal of Shape Modeling
Statistical Modelling: An International Journal
Statistical Modelling: An International Journal
Journal of Language Modelling | Institute of Computer Science, Polish Academy of Sciences
First Workshop on Programming Models and Languages for Distributed Computing
Proceedings of the 2010 Workshop on Cognitive Modeling and Computational Linguistics
Proceedings of the Workshop on Computational Models of Language Acquisition and Loss
Model Curriculum for Doctoral-Level Programs in Health Computing
mā: Duncan
mā: Duncan
ACM Transactions on Modeling and Performance Evaluation of Computing Systems
Immigrant Model
mā: Moscaliuc
mā: Moscaliuc
Ngā tūemi rite
- Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
- Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning
- Computational Mathematics and Modeling
- Mathematical Models and Computer Simulations
- Journal of Molecular Modeling