תוצאות חיפוש

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.

אלקטרוני ספר אלקטרוני

צמצם חיפוש