𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2009.09.26-2009.09.29)] 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - SMT Solvers for Testing, Program Analysis and Verification at Microsoft

✍ Scribed by Bjorner, Nikolaj

Book ID: 126754232
Publisher: IEEE
Year: 2009
Weight: 112 KB
Category: Article
ISBN: 1424459109
DOI: 10.1109/SYNASC.2009.64

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 11th International Symposium

[IEEE 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2009.09.26-2009.09.29)] 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - A Hybrid Algorithm for Solving 7 Parameters Transformation

✍ Hashemi, Amir; Kalantari, Mahzad 📂 Article 📅 2009 🏛 IEEE ⚖ 316 KB

[IEEE 2009 11th International Symposium

[IEEE 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2009.09.26-2009.09.29)] 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Semantic Web Service Composition Method Based on Fluent Calculus

✍ Chifu, Viorica R.; Salomie, Ioan; Harsa, Ioana; Gherga, Marius 📂 Article 📅 2009 🏛 IEEE ⚖ 695 KB

[IEEE 2009 11th International Symposium

[IEEE 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2009.09.26-2009.09.29)] 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - On the Existence of Complete Disjoint NP-Pairs

✍ Beyersdorff, Olaf 📂 Article 📅 2009 🏛 IEEE ⚖ 211 KB

[IEEE 2009 11th International Symposium

[IEEE 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2009.09.26-2009.09.29)] 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Alleviating Urban Traffic Congestion by Means of Adaptive Routing

✍ Gratie, Cristian; Florea, Adina Magda 📂 Article 📅 2009 🏛 IEEE ⚖ 892 KB

[IEEE 2009 11th International Symposium

[IEEE 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2009.09.26-2009.09.29)] 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Dynamic Customization of Data Structures Instances Using an Agent Based Approach

✍ Czibula, Istvan Gergely; Czibula, Gabriela; Guran, Adriana Mihaela 📂 Article 📅 2009 🏛 IEEE ⚖ 185 KB

[IEEE 2009 11th International Symposium

[IEEE 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2009.09.26-2009.09.29)] 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Hybrid Modelling of an Audio Signal Based on 1-D Wold Decomposition

✍ Borza, Iuliana; Turcu, Flavius; Najim, Mohamed 📂 Article 📅 2009 🏛 IEEE ⚖ 191 KB