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

• Author(s): Ryuhei Uehara • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book focuses on origami from the point of view of computer science. Ranging from basic theorems to the latest ...

• Author(s): Ivan V. Sergienko • Publisher: Springer • Publisher Imprint: Springer • BISAC: Counting & NumerationFrom the Back CoverIn this monograph, the authors develop a methodology that allows one to construct and substantiate optimal and...

• Author(s): Branislav Rovan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS 200...

• Author(s): Naoki Abe | Roni Khardon | Thomas Zeugmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis volume contains the papers presented at the 12th Annual Conference on Algorithmic Learning Theory (A...

• Author(s): Armin Iske • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsApproximation methods are vital in many challenging applications of computational science and engineering. This is a collection of papers...

• Author(s): Peter Pepper | Petra Hofstedt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralEine vielschichtige Darstellung der modernen funktionalen Programmierung: Zum einen werden fortgeschrittene Pro...

• 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): Ryuhei Uehara • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book focuses on origami from the point of view of computer science. Ranging from basic theorems to the latest ...

• 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 workshop proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing,...

• Author(s): Filip Wojcieszyn • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Physics - Quantum TheoryThis book introduces the fundamentals of the theory of quantum comput...

• 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): 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): 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): 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): 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): 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): James Brodman • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the thoroughly refereed post-conference proceedings of the 27th International Workshop o...

• 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): Prof Dr Max Jeger • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralWissenschaft, Industrie und Wirischaft sind heute wesentlich von den Entwicklungen in der Mikro-Elektronik gepragt. Auch im Bereich von Spiel und U...

• Author(s): Buttazzo | Giorgio • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: ElectricalFrom the Back CoverThis book is a basic treatise on real-time computing, with par...

• 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): Pal Chaudhuri • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Bio-Science and Agriculture • BISAC: Machine TheoryAbout the Book - The book is a self contained introduction of Cellular Automata (CA) and its appli...

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

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