Search results for “[Subject: programming-algorithms]”

• Author(s): Dominique Snyers | Andre Thayse • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicThis work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic ...

• Author(s): Roussanka Loukanova • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)From the Back CoverThis book assesses the place of logic, mathematics, and computer science in present day, interdisciplinary areas...

• Author(s): Susanne Albers • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis Festschrift volume, published in honor of Kurt Mehlhorn on the occasion of his 60th birthday, contains 28 pap...

• Author(s): Patrick Siarry • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverMetaheuristics exhibit desirable properties like simplicity, easy parallelizability, and ready applicabil...

• Author(s): Svein Linge • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book presents computer programming as a key method for solving mathematical problems. There are two versions of ...

• Author(s): Stefan Voß • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingMeta-Heuristics: Advances and Trends in Local Search Paradigms for Optimizations comprises a carefully refereed selection of ex...

• Author(s): Willem K. Klein Haneveld • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: Operations ResearchFrom the Back CoverThis book provides an essential introduction to Stochastic Progr...

• Author(s): Oleg Okun • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book contains the extended papers presented at the 3rd Workshop on Supervised and Unsupervised Ensemble M...

• Author(s): Hong Shen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureThis book constitutes the refereed proceedings of the 10th International Symposium on Parallel Architectures, Algorithms and Programming, PAA...

• Author(s): Wolfram Koepf • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: Algebra - GeneralComputer Algebra: An Algorithm-Oriented Introduction (Springer Undergraduate Texts in Mathematic...

• Author(s): John H. Drew • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchFrom the Back CoverThis new edition includes the latest advances and developments in computational probability involving A Probability Progr...

• Author(s): Somenath Biswas | Kesav V. Nori • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralThis volume contains the proceedings of the Eleventh Conference on Foundations of Software Technology and The...

• Author(s): Johann Dréo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingFrom the Back CoverMetaheuristics for Hard Optimization comprises of three parts. The first part is devoted to the detailed pr...

• Author(s): Gerd Stoelting Brodal | Daniele Frigioni | Alberto Marchetti-Spaccamela • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 5th Workshop on Algori...

• Author(s): Donald E. Knuth | R. Loos • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceArithmetik ist eine Übersetzung des vierten Kapitels der legendären Werkreihe "The Art of Computer Programming" von Donald E. Knut...

• Author(s): Peter Brucker • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchFrom the Back CoverBesides scheduling problems for single and parallel machines and shop scheduling problems the book covers advanced model...

• Author(s): Thomas Bäck • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverEvolution strategies have more than 50 years of history in the field of evolutionary computation. Since the early 199...

• Author(s): Mark Burgin • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicFrom the Back CoverNew discoveries about algorithms are leading scientists beyond the Church-Turing Thesis, which governs the "algorithmic universe" and as...

• Author(s): K. Mehlhorn • Publisher: Springer • Publisher Imprint: Springer • BISAC: Machine Theory

• Author(s): Yossi Borenstein • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverMetaheuristics, and evolutionary algorithms in particular, are known to provide efficient, adaptable solutions for many real-worl...

• Author(s): Fedor V. Fomin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverToday most computer scientists believe that NP-hard problems cannot be solved by polynomial-time algorithms. From the poly...

• Author(s): Brian Steele • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - Data AnalyticsUnites theory, algorithm design, and practical data analysis for simplicity and clarity of contentContains more than twenty detail...

• Author(s): Laurent Alonso • Publisher: Springer • Publisher Imprint: Springer • BISAC: Machine TheoryRandom Generation of Trees is about a field on the crossroads between computer science, combinatorics and probability theory. Computer scientis...

• Author(s): Alberto Pettorossi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceIn this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search technique and the backt...

• Author(s): Johann Dréo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingFrom the Back CoverMetaheuristics for Hard Optimization comprises of three parts. The first part is devoted to the detailed pr...

• Author(s): Osamu Watanabe • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book constitutes the refereed proceedings of the 5th International Symposium on Stochastic Algorithms, Founda...

• Author(s): Vladimir Lifschitz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralAnswer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal ...

• Author(s): Wieslaw Kubiak • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchFrom the Back CoverThis book provides an in-depth presentation of algorithms for and complexity of open shop scheduling. Open shops allow ...

• Author(s): Michael T. Heath • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - GeneralThis IMA Volume in Mathematics and its Applications ALGORITHMS FOR PARALLEL PROCESSING is based on the proceedings of a worksh...

• Author(s): Peter Hertling • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book constitutes the revised papers of the International Seminar on Reliable Implementation of Real Number Al...

• Author(s): Otto Nurmi | Esko Ukkonen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe papers in this volume were presented at SWAT 92, the Third Scandinavian Workshop on Algorithm Theory. The workshop, which cont...

• Author(s): Christian Ullrich • Publisher: Springer • Publisher Imprint: Springer • BISAC: Machine TheoryThe ESPRIT Project 1072, DIAMOND (Development and Integration of Accurate Mathematical Operations in Numerical Data-Processing) was carried ...

• Author(s): Alfredo Ferro • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 7th International Conference, FUN 2014, held in July 2014 in Lipari Island, Sici...

• Author(s): Rafael Martí • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverIn the last decades, algorithmic advances as well as hardware and software improvements have provided an excellent e...

• Author(s): Nelishia Pillay • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralChapter 1: Recent Developments of Automated Machine Learning and Search Techniques.- Chapter 2: Automated Machine Learning....

• Author(s): Suad Alagic • Publisher: Springer • Publisher Imprint: Springer • BISAC: Questions & AnswersThe major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand....