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

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

• Author(s): Stuart Berry • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer SimulationFrom the Back CoverThis interdisciplinary reference and guide provides an introduction to modelling methodologies and models which form the ...

• Author(s): Vladimir P. Gerdt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book constitutes the proceedings of the 16th International Workshop on Computer Algebra in Scientific Comp...

• Author(s): Rick Riolo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThe contributions in this volume are written by the foremost international researchers and practitioners in the GP arena. They examine th...

• Author(s): Ting Hu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 23rd European Conference on Genetic Programming, EuroGP 2020, held as part of Evo*2020...

• Author(s): Wolfram Decker • Publisher: Springer • Publisher Imprint: Springer • BISAC: Algebra - GeneralThis book presents version 1.0 of the new Computer Algebra System OSCAR. Written in Julia, OSCAR builds on and vastly extends four cornersto...

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

• Author(s): Bo Xing • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back CoverThe present book Innovative Computational Intelligence: A Rough Guide to 134 Clever Alg...

• Author(s): Michael G. Main | Austin C. Melton | Michael W. Mislove • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis is the latest in a series of proceedings of conferences on the Mathematical Foundations...

• Author(s): Olivier Danvy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverAutomatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished an...

• Author(s): Samson Abramsky | Cyril Gavoille | Claude Kirchner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was h...

• Author(s): Annabelle McIver | Charles Carroll Morgan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinemen...

• Author(s): Ting Hu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the workshop proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing,...

• Author(s): Graham Hutton • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, hel...

• Author(s): Ilias Kotsireas • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed post-conference proceedings of the Special Event on the Analysis of Experimental Algorithms, SEA ...

• Author(s): Andrea Lodi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 20th International Conference on Integer Programming and Combinatorial Optimizatio...

• Author(s): René Van Bevern • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 14th International Computer Science Symposium in Russia, CSR 2019, held in Novosibirsk,...

• Author(s): Brian Steele • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - Data AnalyticsUnites theory, algorithm design, and practical data analysis for simplicity and clarity of contentContains more than twenty detail...

• Author(s): Xiaolei Wang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis brief provides a detailed introduction, discussion and bibliographic review of the nature1-inspired op...

• Author(s): Huazhong Liu | Shadi Ibrahim | Thomas Rauber • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe eight volume set, LNCS 16381-16388 constitutes the refereed proceedings of the 25th International Conferenc...

• Author(s): Patrick Dehornoy • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicCet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théorèmes fondamentaux de décidabilité et d'indécidabil...

• Author(s): W. H. J. Feijen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - ParallelEven with all the interest in parallelism and parallel processing, there is still something missing. This book is about how to design ...

• Author(s): Artur Czumaj | Kurt Mehlhorn | Andrew Pitts • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - GeneralThis two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th Internatio...

• Author(s): W. H. J. Feijen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - ParallelEven with all the interest in parallelism and parallel processing, there is still something missing. This book is about how to design ...

• Author(s): Efstratios Gallopoulos • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverThis book is primarily intended as a research monograph that could also be used in graduate courses for the design of paral...

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

• Author(s): Rina Dechter • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedAs computer science enters the new millennium, methods and languages for reasoning with constraints have come to play an important...

• Author(s): Lee Jacobson • Publisher: Springer • Publisher Imprint: Apress • BISAC: Languages - JavaGenetic Algorithms in Java Basics is a brief introduction to solving problems using genetic algorithms, with working projects and solutions writt...

• Author(s): Laurent Michel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Ope...

• Author(s): Peter Kall • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingFrom the Back CoverThis new edition of Stochastic Linear Programming: Models, Theory and Computation has been brought completel...

• Author(s): Eugenio G. Omodeo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis unique treatise presents an integrated perspective on the relationship and interplay of set theory and gra...

• Author(s): Xiaofeng Gao • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThe two-volume set LNCS 10627 and 10628 constitutes the refereed proceedings of the 11th International Conference on Combinatorial Opti...

• Author(s): Ulrich Hofmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - GeneralThe book combines internet modeling with the new programming language Julia. It demonstrates Julia's suitability for modeling established i...

• 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): Javier Esparza • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Coll...

• Author(s): Arnaud Liefooghe • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 18th European Conference on Evolutionary Computation in Combinatorial Optimiz...