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

• Author(s): Alan J. Lockett • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThis book examines the mismatch between discrete programs, which lie at the center of modern applied mathematics, and the c...

• 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): Anna I. Esparcia-Alcázar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book constitutes the thoroughly refereed post-conference proceedings of the International Conferenc...

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

• 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): Robert Whitrow • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back CoverOpenGL Graphics Through Applications is a practical introduction to Computer Gra...

• Author(s): Amitabh Basu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 8th International Symposium on Combinatorial Optimization, ISCO 2024, held in La Laguna, ...

• Author(s): Krzystof Diks | Wojciech Rytter • Publisher: Springer • Publisher Imprint: Springer • BISAC: Machine TheoryThis book constitutes the refereed proceedings of the 27th International Symposium on Mathematical Foundations of Computer Sci...

• 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): 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): 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): Gerth S. Brodal | Stefano Leonardi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume contains the 75 contributed papers and the abstracts of the three invited lectures presented at the 13th Annu...

• Author(s): Camil Demetrescu | Magnus M. Halldorsson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 19th Annual European Symposium on Algorithms, ESA 201...

• 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): 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): 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): 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): 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): Ralf Hinze • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held...

• 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): Gopinath Rebala • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverJust like electricity, Machine Learning will revolutionize our life in many ways - some of which are not ...

• 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): 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): 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): 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): 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): 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): 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): Zaixin Lu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 9th International Conference on Combinatorial Optimization and Applications, COCOA 2...

• 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): Kuai Xu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book constitutes the proceedings of the 10th International Conference on Wireless Algorithms, Systems, and Applicati...

• 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): H. Müller-Merbach • Publisher: Springer • Publisher Imprint: Springer • BISAC: Economics - TheoryReihenfolgeprobleme stehen im Fachgebiet des Operations Research seit einiger Zeit im Mittelpunkt des Interesses. Nachdem bis vor wenige...

• Author(s): Michael T. Goodrich | Catherine C. McGeoch • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsSymmetric multiprocessors (SMPs) dominate the high-end server market and are currently the primary candid...

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