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

• Author(s): Sergei V. Chekanov • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralFrom the Back CoverNumerical computation, knowledge discovery and statistical data analysis integrated with powerful 2D and 3D graphic...

• Author(s): Victor Y. Pan • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - AlgorithmsThis book covers fundamental numerical and algebraic computations with Toeplitz, Hankel, Vandermonde, Cauchy, and other popular stru...

• Author(s): Rick Riolo | Terence Soule | Bill Worzel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsGenetic Programming Theory and Practice IV was developed from the fourth workshop at the University of Mich...

• Author(s): István Maros • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingComputational Techniques of the Simplex Method is a systematic treatment focused on the computational issues of the simplex m...

• Author(s): Alan J. Lockett • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis book examines the mismatch between discrete programs, which lie at the center of modern applied mathematics, and the...

• Author(s): Yongxuan Lai • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThe three volume set LNCS 13155, 13156, and 13157 constitutes the refereed proceedings of the 21st International Conference on Algorith...

• Author(s): Helmut Simonis • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the International Conference on the Integration of Artificial Intelligence (AI) and Operatio...

• Author(s): Jaideep Vaidya • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThe four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures...

• Author(s): Roman Wyrzykowski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Networking - HardwareThis book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Parallel Processing and Applied...

• Author(s): Quentin Louveaux • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 18th International Conference on Integer Programming and Combinatorial Optimi...

• Author(s): Dirk Draheim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Marko...

• Author(s): Tomasz Kaczynski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Topology - GeneralFrom the Back CoverIn recent years, there has been a growing interest in applying homology to problems involving geometric data sets, whe...

• Author(s): Franz Winkler • Publisher: Springer • Publisher Imprint: Springer • BISAC: Algebra - GeneralFor several years now I have been teaching courses in computer algebra at the Universitat Linz, the University of Delaware, and the Universid...

• Author(s): Fangfang Zhang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - Expert SystemsFrom the Back CoverThis book introduces readers to an evolutionary learning approach, specifically genetic programmin...

• Author(s): Éric D. Taillard • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchFrom the Back CoverThis open access book demonstrates all the steps required to design heuristic algorithms for difficult optimization. ...

• Author(s): Thomas Erlebach • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 18th International Symposium on Algorithmics of Wireless Network, ALGOSENSORS ...

• Author(s): Christos Zaroliagis • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis Festschrift volume is published in honor of Professor Paul G. Spirakis on the occasion of his 60th birth...

• Author(s): Yongxuan Lai • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThe three volume set LNCS 13155, 13156, and 13157 constitutes the refereed proceedings of the 21st International Conference on Algorith...

• Author(s): Tarmo Uustalu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kures...

• Author(s): Daniel Kroening • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverA decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the a...

• Author(s): Jianer Chen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 12th International Workshop on Frontiers in Algorithmics, FAW 2018, held in Guangz...

• Author(s): A. Min Tjoa • Publisher: Springer • Publisher Imprint: Edizioni Della Normale • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 44th International Conference on Current Trends in Theory and Practi...

• Author(s): Vijay K. Naik • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralMultiprocessing: Trade-Offs in Computation and Communication presents an in-depth analysis of several commonly observed regular and irreg...

• Author(s): Zahir Tari • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThe 7-volume set LNCS 14487-14493 constitutes the proceedings of the 23rd International Conference on Algorithms and Architectures for Pa...

• Author(s): Indrajit Chakrabarti • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back CoverThe need of video compression in the modern age of visual communication ca...

• Author(s): Jaideep Vaidya • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThe four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures...

• Author(s): Rainer Burkard | Gerhard Woeginger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Machine TheoryThis book constitutes the refereed proceedings of the 5th Annual International European Symposium on Algorithms, ESA'97, he...

• Author(s): Xin-She Yang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)From the Back CoverThis book discusses all the major nature-inspired algorithms with a focus on their application in the context of solvin...

• Author(s): Michael Patriksson • Publisher: Springer • Publisher Imprint: Springer • BISAC: CalculusSince I started working in the area of nonlinear programming and, later on, variational inequality problems, I have frequently been surprised to ...

• Author(s): Klaus Schittkowski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingThis collection of 188 nonlinear programming test examples is a supplement of the test problem collection published by ...

• Author(s): Indrajit Chakrabarti • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back CoverThe need of video compression in the modern age of visual communication ca...

• Author(s): Bernhard Steffen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Com...

• Author(s): Helmut Seidl • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedFrom the Back CoverWhile compilers for high-level programming languages are large complex software systems, they have particular c...

• Author(s): J. Christopher Beck • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicThis book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming...

• Author(s): Gerard Cornuejols | Rainer E. Burkard | Gerhard J. Woeginger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingThis volume contains the papers selected for presentation at IPCO VII, the Se...

• Author(s): Wolfgang Banzhaf | Riccardo Poli | Marc Schoenauer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis book constitutes the refereed proceedings of the First European Workshop on Genetic Programming...