Zum Hauptinhalt springen
Zur Suche springen
Zur Hauptnavigation springen
Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Herzlich Willkommen!
Bitte wählen Sie Ihr Versandland aus:
Schweiz
Liechtenstein
Auswahl bestätigen
Mehr Infos: Haupt Newsletter
Mehr Bücher: Hauptverlag
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 CHF*
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zur Kategorie Bücher
Belletristik
Kinder- & Jugendbuch
Kochen
Natur & Garten
Gestalten & Textiles
Architektur & Design
Bücher-Abos
Bücher-Gutscheine
Restexemplare Haupt Verlag
Haupt Verlag
Neuerscheinungen
Natur & Garten
Geschichte & Kultur
Gestalten & Design
Fachbuch
Zur Kategorie Geschenke
Bücher-Abos
Kalender
Schreibwaren
Spiele
Puzzles
Kleinigkeiten
Zur Kategorie Kurse & Events
Kurse Atelier 14B
Events
Haupt auswärts
Zur Kategorie Service
Erweiterte Suche
Bestellservice
Geschäftskunden
Bibliotheken
Atelier 14B mieten
Kontakt
Zur Kategorie Über uns
Unser Laden
Team
Firmenportrait
Menü schließen
Fr
Schweizer Franken
Fr
CHF
€
EUR
Kategorien
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zu "constraint solving" wurden 46 Produkte gefunden
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
Springer Berlin (35)
Springer International Publishing (10)
Vieweg & Teubner (1)
Produktart
Kartoniert / Broschiert (46)
Herausgeber
Apt, Krzysztof R. Fages, Francois Rossi, Francesca Szeredi, Peter Váncza, Josef (1)
Apt, Krzysztof R. Kakas, Antonis Monfroy, Eric Rossi, Francesca (1)
Baader, Franz (1)
Bertrand, Nathalie Jansen, Nils (1)
Bessiere, Christian De Raedt, Luc Kotthoff, Lars Nijssen, Siegfried O'Sullivan, Barry Pedreschi, Dino (1)
Bonakdarpour, Borzoo Smolka, Scott A. (1)
Bouajjani, Ahmed Maler, Oded (1)
Cavalcanti, Ana Dams, Dennis (1)
Chatterjee, Krishnendu Henzinger, Thomas A. (1)
Christiansen, Henning Skadhauge, Peter Rossen Villadsen, Jørgen (1)
Clarke, David Agha, Gul (1)
Comon, Hubert (1)
Deransart, Pierre Hermenegildo, M.V. Maluszynski, J. (1)
Duchier, Denys Parmentier, Yannick (1)
Fages, François Rossi, Francesca Soliman, Sylvain (1)
Festa, Paola Sellmann, Meinolf Vanschoren, Joaquin (1)
Flatt, Matthew Guo, Hai-Feng (1)
Fonseca, Carlos M. Gandibleux, Xavier Hao, Jin-Kao Sevaux, Marc (1)
Gramlich, Bernhard (1)
Hnich, Brahim Carlsson, Mats Fages, Francois Rossi, Francesca (1)
Jermann, Christophe Neumaier, Arnold Sam, Djamila (1)
Kirchner, Helene Ringeissen, Christophe (1)
Konev, Boris Reger, Giles (1)
Konev, Boris Wolter, Frank (1)
Moedersheim, Sebastian Palamidessi, Catuscia (1)
O'Sullivan, Barry (1)
Obayashi, Shigeru Deb, Kalyanmoy Poloni, Carlo Hiroyasu, Tomoyuki Murata, Tadahiko (1)
Oddi, Angelo Fages, François Rossi, Francesca (1)
Oliveira, Marcel Vinícius Medeiros Woodcock, Jim (1)
Olivetti, Nicola Tiwari, Ashish (1)
Paige, Richard F. (1)
Palmirani, Monica Sottara, Davide (1)
Qin, Shengchao Qiu, Zongyan (1)
Rossi, Francesca (1)
Sakallah, Karem A. Simon, Laurent (1)
Sattler, Uli Suda, Martin (1)
Schilder, Frank Katz, Graham Pustejovsky, James (1)
Schmidt, Renate (1)
Seipel, Dietmar Hanus, Michael Abreu, Salvador (1)
Seipel, Dietmar Hanus, Michael Wolf, Armin (1)
van Beek, Peter (1)
Veanes, Margus Vigano, Luca (1)
Voronkov, Andrei (1)
Wallace, Mark (1)
Weil, Pascal (1)
Autor
Herde, Christian (1)
Schlagworte
abstract verification (2)
abstraction (1)
Action (1)
adaptive search (2)
AI logic (1)
AI logics (2)
algorithm (3)
algorithm analysis and problem complexity (3)
algorithm configuration (1)
algorithm design (2)
algorithm selection (2)
algorithmics (2)
algorithms (9)
algorithms and data structures (1)
algorithms for concurrent and distributed systems, networks (1)
answer sets (1)
ant colony optimization (1)
approximation (4)
arithmetic constraint (2)
arithmetic constraints (2)
artificial intelligence (3)
automata (2)
Automated deduction (1)
automated deduction (5)
automated reasoning (5)
Automatisches Schließen (1)
B-method (1)
binary decision diagrams (2)
C programming language (1)
calculus (3)
classification (3)
combinatorial optimization (4)
communication protocols (2)
complexity (3)
computer networks (2)
computer systems (2)
concurrency (2)
Constraint (6)
constraint checkers (2)
constraint logic programming (10)
constraint networks (2)
constraint optimization (6)
constraint problem solving (3)
constraint processing (4)
Constraint programming (1)
constraint programming (13)
constraint satisfaction (7)
constraint satisfaction problems (2)
constraint search (3)
constraint solving (46)
Constraint-Auflösung (1)
constraints (3)
CSP (1)
csp (2)
CSP heuristics (1)
Cut-elimination theorem (1)
data mining (2)
data structure (2)
data structures (3)
Debugging (3)
debugging (2)
decision making (3)
decision procedures (3)
declarative programming (5)
description logics (3)
design (2)
distributed systems (3)
embedded systems (2)
Erfüllbarkeitsproblem der Aussagenlogik (2)
Extension (1)
Factor (1)
formal languages (3)
formal logic (2)
formal methods (3)
formal specification (2)
formal verification (3)
functional languages (2)
Isabelle (1)
Java (1)
local search (2)
logic (5)
logic inference (2)
machine learning (3)
model checking (3)
Monoid (1)
Natural (1)
Planning (1)
Prolog (2)
Resolution (1)
SAT (2)
SAT solvers (1)
Scheduling (1)
scheduling (2)
Scheme (1)
Simulation (2)
Stringersetzung (1)
Syntax (1)
Termersetzung (1)
Theorem-Beweisen (1)
Variable (1)
Veröffentlicht
1997 (1)
2000 (1)
2003 (1)
2004 (1)
2005 (1)
2006 (1)
2007 (1)
2008 (1)
2009 (1)
2010 (1)
2011 (1)
2012 (1)
2013 (1)
2014 (1)
2016 (1)
2017 (1)
2018 (1)
2020 (1)
2021 (1)
2023 (1)
Sprache
Englisch (46)
Declarative Programming and Knowledge Management
53,50 CHF*
In den Warenkorb
Data Mining and Constraint Programming
53,50 CHF*
In den Warenkorb
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
53,50 CHF*
In den Warenkorb
Recent Advances in Constraints
53,50 CHF*
In den Warenkorb
Rewriting Techniques and Applications
53,50 CHF*
In den Warenkorb
Runtime Verification
53,50 CHF*
In den Warenkorb
Recent Advances in Constraints
53,50 CHF*
In den Warenkorb
Computer Aided Verification
107,00 CHF*
In den Warenkorb
Formal Modeling and Analysis of Timed Systems
53,50 CHF*
In den Warenkorb
Learning and Intelligent Optimization
53,50 CHF*
In den Warenkorb
Frontiers of Combining Systems
42,80 CHF*
In den Warenkorb
Evolutionary Multi-Criterion Optimization
160,50 CHF*
In den Warenkorb
Applications of Declarative Programming and Knowledge Management
53,50 CHF*
In den Warenkorb
Recent Advances in Constraints
53,50 CHF*
In den Warenkorb
Frontiers of Combining Systems
53,50 CHF*
In den Warenkorb
Coordination Models and Languages
53,50 CHF*
In den Warenkorb
Constraint Solving and Language Processing
49,20 CHF*
In den Warenkorb
Theory and Practice of Model Transformations
53,50 CHF*
In den Warenkorb
Rewriting Techniques and Applications
53,50 CHF*
In den Warenkorb
Rule-Based Modeling and Computing on the Semantic Web
53,50 CHF*
In den Warenkorb
Theory of Security and Applications
53,50 CHF*
In den Warenkorb
FM 2009: Formal Methods
107,00 CHF*
In den Warenkorb
Practical Aspects of Declarative Languages
53,50 CHF*
In den Warenkorb
Automated Reasoning
85,60 CHF*
In den Warenkorb
1
2
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
