1
יצא לאור 2008
תוכן הענינים: ... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2005
תוכן הענינים: ... and Integrability of ODE Systems -- Resultant-Based Methods for Plane Curves Intersection Problems -- Symbolic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2007
תוכן הענינים: ... Constraint Satisfaction Problems -- New Bounds for MAX-SAT by Clause Learning -- Towards Hierarchical...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים: ... -- Quantified Positive Temporal Constraints -- Non-uniform Boolean Constraint Satisfaction Problems...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2012
תוכן הענינים: ... and Random Intersection -- Regularity Problems for Weak Pushdown ω-Automata and Games -- Computational...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2006
תוכן הענינים: ...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני