Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur

Filtrér resultat

Vælg pris

Alle bøger om Constraint solving

Constraint Solving and Language Processing
Constraint Solving and Language Processing
    kr. 379,95
    Recent Advances in Constraints
    Recent Advances in Constraints
      kr. 414,95
      Principles and Practice of Constraint Programming - CP 2004
      Principles and Practice of Constraint Programming - CP 2004
        kr. 774,95
        Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
        Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
        kr. 414,95
        Computer Aided Verification
        Computer Aided Verification
          kr. 774,95
          Formal Methods and Software Engineering
          Formal Methods and Software Engineering
            kr. 414,95
            Frontiers of Combining Systems
            Frontiers of Combining Systems
              kr. 379,95
              Term Rewriting and Applications
              Term Rewriting and Applications
                kr. 414,95
                Learning and Intelligent Optimization
                Learning and Intelligent Optimization
                  kr. 414,95
                  Formal Methods and Software Engineering
                  Formal Methods and Software Engineering
                    kr. 414,95
                    Visualizing Abstract Objects And Relations
                    Visualizing Abstract Objects And Relations
                    kr. 874,95
                    Formal Modeling and Analysis of Timed Systems
                    Formal Modeling and Analysis of Timed Systems
                      kr. 414,95
                      Frontiers of Combining Systems
                      Frontiers of Combining Systems
                        kr. 414,95
                        Runtime Verification
                        Runtime Verification
                          kr. 414,95
                          Structured Object-Oriented Formal Language and Method
                          Structured Object-Oriented Formal Language and Method
                            kr. 334,95
                            Methods and Applications of Artificial Intelligence
                            Methods and Applications of Artificial Intelligence
                              kr. 414,95
                              Constraints in Computational Logics: Theory and Applications
                              Constraints in Computational Logics: Theory and Applications
                                kr. 414,95
                                Analysis and Visualization Tools for Constraint Programming
                                Analysis and Visualization Tools for Constraint Programming
                                  kr. 414,95
                                  New Trends in Constraints
                                  New Trends in Constraints
                                    kr. 414,95
                                    Evolutionary Multi-Criterion Optimization
                                    Evolutionary Multi-Criterion Optimization
                                      kr. 774,95
                                      Declarative Programming and Knowledge Management
                                      Declarative Programming and Knowledge Management
                                        kr. 414,95
                                        Geospatial Abduction
                                        Geospatial Abduction
                                        kr. 479,95
                                        Frontiers of Combining Systems
                                        Frontiers of Combining Systems
                                          kr. 334,95
                                          Autonomous Search
                                          Autonomous Search
                                            kr. 774,95
                                            Tests and Proofs
                                            Tests and Proofs
                                              kr. 394,95
                                              Practical Aspects of Declarative Languages
                                              Practical Aspects of Declarative Languages
                                                kr. 414,95
                                                Computer Science – Theory and Applications
                                                Computer Science – Theory and Applications
                                                  kr. 414,95
                                                  Computer Aided Verification
                                                  Computer Aided Verification
                                                    kr. 414,95
                                                    Principles and Practice of Constraint Programming - CP 2005
                                                    Principles and Practice of Constraint Programming - CP 2005
                                                      kr. 774,95
                                                      Frontiers of Combining Systems
                                                      Frontiers of Combining Systems
                                                        kr. 414,95
                                                        Recent Advances in Constraints
                                                        Recent Advances in Constraints
                                                          kr. 414,95
                                                          Global Optimization and Constraint Satisfaction
                                                          Global Optimization and Constraint Satisfaction
                                                            kr. 414,95
                                                            Constraint Solving and Language Processing
                                                            Constraint Solving and Language Processing
                                                              kr. 414,95
                                                              Automated Deduction – CADE 29
                                                              Automated Deduction – CADE 29
                                                                kr. 334,95
                                                                Principles and Practice of Constraint Programming - CP 2007
                                                                Principles and Practice of Constraint Programming - CP 2007
                                                                  kr. 774,95