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

• Author(s): T-H Hubert Chan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 10th International Conference on Combinatorial Optimization and Applications, ...

• Author(s): Stefano Crespi Reghizzi • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicFrom the Back CoverWhereas many textbooks on formal languages and compilation focus on technological aspects, it is the elegance and simplicity...

• Author(s): Weixiong Zhang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book is about problem-solving. In particular it is about heuristic state-space search for combinatorial optimization - one of the fundam...

• Author(s): Keith O. Geddes • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceAlgorithms for Computer Algebra is the first comprehensive textbook to be published on the topic of computational symbolic mathematics. The ...

• Author(s): Chiara Bodei • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverProgramming Languages with Applications to Biology and Security This Festschrift volume is published in honor of Pie...

• Author(s): Peter A. Fritzson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDebugging has always been a costly part of software development, and many attempts have been made to provi...

• Author(s): Giorgio Buttazzo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - GeneralThis book is a basic treatise on real-time computing, with particular emphasis on predictable scheduling algorithms. The main objectiv...

• Author(s): Tandy Warnow • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis volume presents a compelling collection of state-of-the-art work in algorithmic computational biology, honoring the leg...

• Author(s): Vladimir P. Gerdt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, h...

• Author(s): E. de Klerk • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralSemidefinite programming has been described as linear programming for the year 2000. It is an exciting new branch of mathematical programming, due to imp...

• Author(s): Torben Hagerup | Jyrki Katajainen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume contains the papers presented at SWAT 2004, the 9th Scandi- vian Workshop on Algorithm Theory, which was held ...

• Author(s): Rachid Guerraoui • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThe advent of multi-core architectures and cloud-computing has brought parallel programming into the mainstream ...

• Author(s): Jürgen Dassow • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe volume contains selected contributions from the scientific programme of the 5th International Meeting of Young Computer Scientists (IMYCS ...

• Author(s): Frank Neumann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverBioinspired computation methods, such as evolutionary algorithms and ant colony optimization, are being applied successfull...

• 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): Arthur David Snider • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverThis book presents a short introduction to the main tools of optimization methodology including linear programming, steepest d...

• Author(s): Diederik M. Roijers • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralMany real-world decision problems have multiple objectives. For example, when choosing a medical treatment plan, we wan...

• Author(s): Petteri Kaski • Publisher: Springer • Publisher Imprint: Springer • BISAC: ElectricalThis book considers one of the basic problems in discrete mathematics: given a collection of constraints, describe up to isomorphism all the objects...

• Author(s): Stanislaw Gawiejnowicz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis is a comprehensive study of various time-dependent scheduling problems in single-, parallel- and dedicated-ma...

• Author(s): Man Leung Wong • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - Data AnalyticsData mining involves the non-trivial extraction of implicit, previously unknown, and potentially useful information from databas...

• Author(s): Roberto Battiti • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Learning and Intel...

• Author(s): Richard W. Cottle • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchFrom the Back Cover​This textbook on Linear and Nonlinear Optimization is intended for graduate and advanced undergraduate students in ...

• Author(s): Leyuan Shi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchFrom the Back CoverThere is increasing need to solve large-scale complex optimization problems in a wide variety of science and engineering ap...

• Author(s): Enno Ohlebusch • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralNew advanced text/reference book on term rewriting theory and application. Essential, state-of-the-art reference for computer scientists...

• Author(s): Stephen M. Trimberger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignMany different kinds of FPGAs exist, with different programming technologies, different architectures and different software. Field-Progra...

• Author(s): W. Gansterer | C. Überhuber • Publisher: Springer • Publisher Imprint: Springer • BISAC: Number SystemsModerne Hochleistungsrechner mit akzeptablem Programmieraufwand effizient zu nutzen, erfordert eine höhere Programmiersprache. Hig...

• Author(s): David J. Lilja • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersIn brief summary, the following results were presented in this work: - A linear time approach was developed to find register requireme...

• Author(s): Vincenzo Manca • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThe book is a gentle introduction to Python using arithmetic, and vice versa, with a historical perspective encompassing pro...

• Author(s): Rachid Guerraoui • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - ParallelTransactional memory (TM) is an appealing paradigm for concurrent programming on shared memory architectures. With a TM, threads of a...

• Author(s): Shin-Ichi Nakano • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the Second International Workshop on Algorithms and Computation, WALCOM 2008, held in Dha...

• Author(s): S. N. Sivanandam • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverGenetic Algorithms are adaptive heuristic search algorithm premised on the evolutionary ideas of natural selection and genetic. T...

• Author(s): Jili Tao • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis book focuses on the implementation, evaluation and application of DNA/RNA-based genetic algorithms in connection with neura...

• Author(s): Jon Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 17th International Conference on Integer Programming and Combinatorial Optimization, I...

• Author(s): Arie Gurfinkel | Marijn Heule • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools...

• Author(s): Christian Reidys • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverIn this monograph, new combinatorial and computational approaches in the study of RNA structures are presented which enhance both...

• Author(s): Günther Raidl • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Algorithms This book constitutes the joint refereed proceedings of six workshops, EvoWorkshops 2003, held together with EuroGP 2003 in Essex, U...