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

• Author(s): A. R. Conn • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedLANCELOT is a software package for solving large-scale nonlinear optimization problems. This book provides a coherent overview of the package and its use....

• Author(s): Dick Grune • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverParsing, also referred to as syntax analysis, has been and continues to be an essential part o...

• 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): Rudolf Seising • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThe book is an authoritative collection of contributions by leading experts on the topics of fuzzy logic, multi-va...

• Author(s): Immanuel M. Bomze • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingIn recent years global optimization has found applications in many interesting areas of science and technology including...

• Author(s): Bernhard Möller • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis volume constitutes the proceedings of the Third International Conference on the Mathematics of Program ...

• Author(s): Clemens Heitzinger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Number SystemsFrom the Back CoverThis book provides an introduction to modern topics in scientific computing and machine learning, using JULIA to illustr...

• Author(s): Werner Ebeling • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThis book constitutes the refereed proceedings of the International Conference on Evolutionary Computation held jointly with...

• 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): Pascal Weil • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, i...

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

• Author(s): Edward Hirsch • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book constitutes the proceedings of the 9th International Computer Science Symposium in Russia, CSR 2014, held...

• Author(s): Anna Lubiw • Publisher: Springer • Publisher Imprint: Springer • BISAC: Information TheoryThis book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures, WADS 2021, held in virtua...

• Author(s): A. R. Conn • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingLANCELOT is a software package for solving large-scale nonlinear optimization problems. This book provides a coherent overview ...

• 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 • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 6th International Workshop on Experimental and Efficient Algorithms, WEA 2007, held i...

• Author(s): Joshua D. Guttman • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe VLISP project showed how to produce a comprehensively verified implemen- tation for a programming lang...

• Author(s): Wissebach • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralPlanend - organisierende betriebswirtschaftliche Ta- tigkeit ist u. a. auf die Erfassung, Sortierung, Verarbeitung und Speicherung wirtschaftlicher (und te...

• Author(s): Zhipeng Cai • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 9th International Conference on Wireless Algorithms, Systems and Applications, WAS...

• Author(s): Man Leung Wong • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralData mining involves the non-trivial extraction of implicit, previously unknown, and potentially useful information from dat...

• Author(s): Gisele Pappa • Publisher: Springer • Publisher Imprint: Springer • BISAC: Networking - HardwareThis book constitutes the refereed proceedings of the 26th European Conference on Genetic Programming, EuroGP 2023, held as part of EvoSta...

• Author(s): Ernesto Sanchez • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThis book describes an award-winning evolutionary algorithm that outperformed experts and conventional heuristics in solvin...

• Author(s): Richard D. Jenks • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralRecent advances in hardware performance and software technology have made possible a wholly different approach to computational mathematics. Symboli...

• Author(s): Thomas Ottmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralThis volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association...

• 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): Michael Affenzeller • Publisher: Springer • Publisher Imprint: Springer • BISAC: Probability & Statistics - GeneralThis multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Confe...

• Author(s): Philip Brisk • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book constitutes the thoroughly refereed conference proceedings of the 9th International Symposium on Reconfigu...

• Author(s): Ian Dempsey • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverDynamic environments abound, encompassing many real-world problems in fields as diverse as finance, engineering, biology and business....

• Author(s): Christel Baier • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis ...

• Author(s): Götz Alefeld | Ingrid Lenhardt | Holger Obermaier • Publisher: Springer • Publisher Imprint: Springer • BISAC: Number SystemsIdealer Einstieg: Theorie und Praxis paralleler numerischer Verfahren anhand klassischer Algorithmen. Darges...

• Author(s): Hristo Djidjev • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume brings together papers from various fields of theoretical computer science, including computational geometry, parallel algorithms...

• Publisher: MIXIUK • Publisher Imprint: MIXIUK • Subject: Computer Science and Information Technology • BISAC: Languages - GeneralThis textbook provides an in depth course on data structures in the context of object oriented development. Its ma...

• 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): Mary E. Mace • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - GeneralThis project had its beginnings in the Fall of 1980. At that time Robert Wagner suggested that I investigate compiler optimi- zati...

• Author(s): Jason Papathanasiou • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchFrom the Back CoverMultiple criteria decision aid (MCDA) methods are illustrated in this book through theoretical and computational t...

• Author(s): Dmitrii Lozovanu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchFrom the Back CoverThis book presents the latest findings on stochastic dynamic programming models and on solving optimal control proble...