Angebote zu "Applications" (157 Treffer)

Kategorien

Shops

Theory and Applications of Satisfiabili
71,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 29.06.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing - SAT 2019, Titelzusatz: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Janota, MikoláS // Lynce, Inês, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 440, Informationen: Paperback, Gewicht: 663 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 06.04.2020
Zum Angebot
Theory and Applications of Satisfiabili
71,59 € *
ggf. zzgl. Versand

Erscheinungsdatum: 29.06.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing - SAT 2019, Titelzusatz: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Janota, MikoláS // Lynce, Inês, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 440, Informationen: Paperback, Gewicht: 663 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 06.04.2020
Zum Angebot
Theory and Applications of Satisfiability Testing
86,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 08.07.2005, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing, Titelzusatz: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, Auflage: 2005, Redaktion: Hoos, Holger H. // Mitchell, David G., Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Algorithmus // Betriebssystem // EDV // Operating System // Intelligenz // Künstliche Intelligenz // KI // AI // Mathematik, Rubrik: Mathematik // Grundlagen, Seiten: 412, Informationen: Book, Gewicht: 633 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 06.04.2020
Zum Angebot
Theory and Applications of Satisfiability Testing
89,19 € *
ggf. zzgl. Versand

Erscheinungsdatum: 26.01.2004, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing, Titelzusatz: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers, Auflage: 2004, Redaktion: Giunchiglia, Enrico // Tacchella, Armando, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Informatik, Rubrik: Informatik, Seiten: 548, Informationen: Paperback, Gewicht: 820 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 06.04.2020
Zum Angebot
Theory and Applications of Satisfiability Testing
98,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 09.06.2005, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing, Titelzusatz: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings, Auflage: 2005, Redaktion: Bacchus, Fahiem // Walsh, Toby, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Algorithmus // Mathematische Grundlagen // Betriebssysteme // Algorithmen und Datenstrukturen // Theoretische Informatik // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 508, Informationen: Paperback, Gewicht: 762 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 06.04.2020
Zum Angebot
Theory and Applications of Satisfiability Testing
86,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 08.07.2005, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing, Titelzusatz: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, Auflage: 2005, Redaktion: Hoos, Holger H. // Mitchell, David G., Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Algorithmus // Betriebssystem // EDV // Operating System // Intelligenz // Künstliche Intelligenz // KI // AI // Mathematik, Rubrik: Mathematik // Grundlagen, Seiten: 412, Informationen: Paperback, Gewicht: 633 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 06.04.2020
Zum Angebot
Handbook of Combinatorial Optimization: Volumes...
0,15 € *
zzgl. 3,99 € Versand

Volume 1: Preface. Mixed-Integer Nonlinear Optimization in Process Synthesis; C.S. Adjiman, et al. Approximate Algorithms and Heuristics for MAX-SAT; R. Battiti, M. Protasi. Connections between Nonlinear Programming and Discrete Optimization; F. Giannessi, F. Tardella. Interior Point Methods for Combinatorial Optimization; J.E. Mitchell, et al. Knapsack Problems; D. Pisinger, P. Toth. Fractional Combinatorial Optimization; T. Radzik. Reformulation-Linearization Techniques for Discrete Optimization Problems; H.D. Sherali, W.P. Adams. Gröbner Bases in Integer Programming; R.R. Thomas. Applications of Set Covering, Set Packing and Set Partitioning Models: A Survey; R.R. Vemuganti. Volume 2: Preface. Efficient Algorithms for Geometric Shortest Path Query Problems; D.Z. Chen. Computing Distances between Evolutionary Trees; B. DasGupta, et al. Combinatorial Optimization and Coalition Games; Xiaotie Deng. Steiner Minimal Trees: An Introduction, Parallel Computation, and Future Work; F.C. Harris, Jr. Resource Allocation Problems; N. Katoh, T. Ibaraki. Combinatorial Optimization in Clustering; B. Mirkin, I. Muchnik. The Graph Coloring Problem: A Bibliographic Survey; P.M. Pardalos, et al. Steiner Minimal Trees in E3: Theory, Algorithms, and Applications; J. MacGregor Smith. Dynamical System Approaches to Combinatorial Optimization; J. Starke, M. Schanz. On-Line Dominating Set Problems for Graphs; Wen-Guey Tzeng. Optimization Problems in Optical Networks; Peng-Jun Wan. Shortest Networks on Surfaces; Jia Feng Weng. Minimum Weight Triangulation; Yanfeng Xu. Optimization Applications in the Airline Industry; Gang Yu, Jian Yang.Author Index. Subject Index. Volume 3: Preface. Semidefinite Relaxations, Multivariate Normal Distributions, and Order Statistics; D. Bertsimas, Yingyu Ye. A Review of Machine Scheduling: Complexity, Algorithms and Approximability; Bo Chen, et al. Routing and Topology Embedding in Lightwave Networks; Feng Cao. The Quadratic Assignment Problem; R.E. Burkard, et al. Algorithmic Aspects of Domination in Graphs; G.J. Chang. Selected Algorithmic Techniques for Parallel Optimization; R.C. Corrêa, et al. Multispace Search in Combinatorial Optimization; Jun Gu. The Equitable Coloring of Graphs; Ko-Wei Lih. Randomized Parallel Algorithms for Combinatorial Optimization; S. Rajasekaran, J.D.P. Rolim. Tabu Search; F. Glover, M. Laguna. Author Index. Subject Index. Author Index of Volumes 1&endash;3. Subject Index of Volumes 1&endash;3.

Anbieter: reBuy
Stand: 06.04.2020
Zum Angebot
Theory and Applications of Satisfiability Testi...
77,99 € *
ggf. zzgl. Versand

Theory and Applications of Satisfiability Testing - SAT 2019 ab 77.99 € als pdf eBook: 22nd International Conference SAT 2019 Lisbon Portugal July 9-12 2019 Proceedings. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,

Anbieter: hugendubel
Stand: 06.04.2020
Zum Angebot
Theory and Applications of Satisfiability Testi...
96,49 € *
ggf. zzgl. Versand

Theory and Applications of Satisfiability Testing - SAT 2010 ab 96.49 € als Taschenbuch: 13th International Conference SAT 2010 Edinburgh UK July 11-14 2010 Proceedings. Auflage 2010. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,

Anbieter: hugendubel
Stand: 06.04.2020
Zum Angebot