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

• Author(s): Rolf Hammer • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverThis C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with ver...

• Author(s): Daniel Ashlock • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverEvolutionary Computation for Optimization and Modeling is an introduction to evolutionary computation, a field which includes genet...

• Author(s): Fajie Li • Publisher: Springer • Publisher Imprint: Springer • BISAC: Design, Graphics & Media - CAD-CAMFrom the Back CoverThe Euclidean shortest path (ESP) problem asks the question: what is the path of minimum length connecting...

• Author(s): Michael Welschenbach • Publisher: Springer • Publisher Imprint: Springer • BISAC: Security - Cryptography & EncryptionDer umfassende �berblick beschreibt die Grundlagen moderner kryptographischer Verfahren und ihre programmtechni...

• Author(s): Hee-Kap Ahn • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 25th International Symposium on Algorithms and Computation, ISAAC 2014, held in Je...

• Author(s): Johann C. Freytag • Publisher: Springer • Publisher Imprint: Springer • BISAC: Database Administration & ManagementThis book investigates the problem of translating relational queries into iterative programs using methods and tec...

• Author(s): Laura F. Landweber • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThe study of the genetic basis for evolution has flourished in this century, as well as our understanding of t...

• 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): 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....

• Author(s): David E. Hudak • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Compilers4. 2 Code Segments . . . . . . . . . . . . . . . 96 4. 3 Determining Communication Parameters . 99 4. 4 Multicast Communication Overhe...

• Author(s): Tom Schrijvers • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThe Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic program...

• 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): Elijah Polak • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedThis book deals with optimality conditions, algorithms, and discretization tech- niques for nonlinear programming, semi-infinite optimization, and optim...

• Author(s): Enrique Alba • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book is an updated effort in summarizing the trending topics and new hot research lines in solving dyn...

• Author(s): K. Mehlhorn • Publisher: Springer • Publisher Imprint: Springer • BISAC: Machine TheoryThe design and analysis of data structures and efficient algorithms has gained considerable importance in recent years. The concept of "algorithm"...

• Author(s): Prosenjit Gupta • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book constitutes the refereed proceedings of the First International Conference on Applied Algorithms, ICAA ...

• Author(s): Klaas Sikkel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis introduction to the syntactic analysis of natural language and computer programs combines mathematical rigor with high readability. It ...

• Author(s): Jörg Arndt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis book provides algorithms and ideas for computationalists. Subjects treated include low-level algorithms, bit wizardry, co...

• Author(s): Weili Wu | Zhao Zhang | Ding-Zhu Du • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralThis book offers a comprehensive exploration of computational social networks, focusing on the algorithmic and optimization aspec...

• Author(s): Viorel Arnăutu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingThe aim of this book is to present the mathematical theory and the know-how to make computer programs for the numerical app...

• Author(s): Ersébet Csuhaj-Varjú • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th Inte...

• Author(s): Francisco Chicano • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 16th European Conference on Evolutionary Computation in Combinatorial Optimi...

• Author(s): Ersébet Csuhaj-Varjú • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th Inte...

• Author(s): Ali Kaveh • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverThe book presents eight well-known and often used algorithms besides nine newly developed algorithms by the first author and his student...

• Author(s): Rolf Möhring • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis volume contains the 74 contributed papers and abstracts of 4 of the 5 invited talks presented at the 10th Annual European Symposiu...

• Author(s): Urmila Diwekar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchThis book presents the details of the BONUS algorithm and its real world applications in areas like sensor placement in large scale drinki...

• Author(s): Michael O'Neill • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralGrammatical Evolution: Evolutionary Automatic Programming in an Arbitrary Language provides the first comprehensive introduction to Gra...

• 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): Pinar Heggernes • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed conference proceedings of the 11th International Conference on Algorithms and Complexity, CIAC 20...

• Author(s): Martin Schultz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - GeneralParallel computers have started to completely revolutionize scientific computation. Articles in this volume represent applied ma...

• Author(s): Thang N. Dinh • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 22nd International Conference on Computing and Combinatorics, COCOON 2016, held ...

• Author(s): David E. Goldberg • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Algorithms7 69 6 A DESIGN APPROACH TO PROBLEM DIFFICULTY 71 1 Design and Problem Difficulty 71 2 Three Misconceptions 72 3 Hard Problems Exi...

• Author(s): Howard Karloff • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Linear & Nonlinear ProgrammingFrom the Back CoverTo this reviewer's knowledge, this is the first book accessible to the upper division undergraduate or...

• Author(s): Zdenek Dostál • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverSolving optimization problems in complex systems often requires the implementation of advanced mathematical techniques. Quadratic pr...

• Author(s): Werner Kluge • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicFrom the Back CoverThe book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms...

• Author(s): Sheung-Hung Poon • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 11th International Workshop on Algorithms and Computation, WALCOM 2017, held in Hsinch...