𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - Automatic State-Based Test Generation Using Genetic Algorithms

✍ Scribed by Lefticaru, Raluca; Ipate, Florentin

Book ID: 120589883
Publisher: IEEE
Year: 2007
Weight: 978 KB
Category: Article
DOI: 10.1109/SYNASC.2007.47

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2007 Ninth International Symposium

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - Diagrammatic Description of Satellite Image Processing Workflow

✍ Radu, Anca; Bacu, Victor; Gorgan, Dorian 📂 Article 📅 2007 🏛 IEEE ⚖ 948 KB

[IEEE 2007 Ninth International Symposium

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - Weighted Threshold RSA Based on the Chinese Remainder Theorem

✍ Iftene, Sorin; Grindei, Manuela 📂 Article 📅 2007 🏛 IEEE ⚖ 589 KB

[IEEE 2007 Ninth International Symposium

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - Strong Convergence of the Projection Method in Convex Feasibility Problem

✍ Maruster, Stefan; Popirlan, Cristina 📂 Article 📅 2007 🏛 IEEE ⚖ 521 KB

[IEEE 2011 13th International Symposium

[IEEE 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, TBD, Romania (2011.09.26-2011.09.29)] 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - What is Hybrid Symbolic-Numeric Computation?

✍ Kaltofen, Erich 📂 Article 📅 2011 🏛 IEEE ⚖ 121 KB

[IEEE 2012 14th International Symposium

[IEEE 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2012.09.26-2012.09.29)] 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Trust Model Engines in Cloud Computing

✍ Farcasescu, Marcela Roxana 📂 Article 📅 2012 🏛 IEEE ⚖ 261 KB

[IEEE 2012 14th International Symposium

[IEEE 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2012.09.26-2012.09.29)] 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Service Brokering in Cloud Governance

✍ Munteanu, Victor Ion; Mindruta, Cristina; Fortis, Teodor-Florin 📂 Article 📅 2012 🏛 IEEE ⚖ 873 KB