प्रस्तावित विषय : खोज निहित
Showing 1 - 13 results of 13 for search '', सवाल का समय: 0.05सेकंड परिणाम को परिष्कृत करें
1
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
प्रकाशित 2014
Available in Springer Computer Science eBooks 2014 English/International.
इलेक्ट्रोनिक ई-पुस्तक
सूची में सहेजें
में बचाया:
2
Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
प्रकाशित 2015
Available in Springer Computer Science eBooks 2015 English/International.
इलेक्ट्रोनिक ई-पुस्तक
सूची में सहेजें
में बचाया:
3
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
प्रकाशित 2015
Available in Springer Computer Science eBooks 2015 English/International.
इलेक्ट्रोनिक ई-पुस्तक
सूची में सहेजें
में बचाया:
4
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings /
प्रकाशित 2011
Available in Springer Computer Science eBooks 2011 English/International.
इलेक्ट्रोनिक ई-पुस्तक
सूची में सहेजें
में बचाया:
5
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
प्रकाशित 2017
Available in Springer Computer Science eBooks 2017 English/International.
इलेक्ट्रोनिक ई-पुस्तक
सूची में सहेजें
में बचाया:
6
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers /
प्रकाशित 2012
Available in Springer Computer Science eBooks 2012 English/International.
इलेक्ट्रोनिक ई-पुस्तक
सूची में सहेजें
में बचाया:
7
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
प्रकाशित 2013
Available in Springer Computer Science eBooks 2013 English/International.
इलेक्ट्रोनिक ई-पुस्तक
सूची में सहेजें
में बचाया:
8
Categories for Software Engineering
द्वारा Fiadeiro, Jose Luiz., Fiadeiro, Jose Luiz.
प्रकाशित 2005
Available in Springer Computer Science eBooks 2005 English/International.
इलेक्ट्रोनिक ई-पुस्तक
सूची में सहेजें
में बचाया:
9
Algebraic Informatics 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 /
प्रकाशित 2009
Available in Springer Computer Science eBooks 2009 English/International.
इलेक्ट्रोनिक ई-पुस्तक
सूची में सहेजें
में बचाया:
10
Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings /
प्रकाशित 2010
Available in Springer Computer Science eBooks 2010 English/International.
इलेक्ट्रोनिक ई-पुस्तक
सूची में सहेजें
में बचाया:
11
Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /
प्रकाशित 2006
Available in Springer Computer Science eBooks 2006 English/International.
इलेक्ट्रोनिक ई-पुस्तक
सूची में सहेजें
में बचाया:
12
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
प्रकाशित 2013
Available in Springer Computer Science eBooks 2013 English/International.
इलेक्ट्रोनिक ई-पुस्तक
सूची में सहेजें
में बचाया:
13
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
प्रकाशित 2013
Available in Springer Computer Science eBooks 2013 English/International.
इलेक्ट्रोनिक ई-पुस्तक
सूची में सहेजें
में बचाया:
खोज साधन : RSS फ़ीड प्राप्त करें — इस खोज को ईमेल करें — खोज संग्रहित करें