𝔖 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 - On the Existence of Complete Disjoint NP-Pairs

✍ Scribed by Beyersdorff, Olaf

Book ID: 126219991
Publisher: IEEE
Year: 2009
Weight: 211 KB
Category: Article
ISBN: 1424459109
DOI: 10.1109/SYNASC.2009.9

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 - 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 - 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 - 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 - SMT Solvers for Testing, Program Analysis and Verification at Microsoft

✍ Bjorner, Nikolaj 📂 Article 📅 2009 🏛 IEEE ⚖ 112 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