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

• Author(s): Anthony Bonato • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 15th International Workshop on Algorithms and Models for the Web Graph, WAW 2018, held i...

• Author(s): D. Rose • Publisher: Springer • Publisher Imprint: Springer • BISAC: Algebra - ElementaryThis book contains papers on sparse matrices and their appli- cations which were presented at a Symposium held at the IBM Thomas J. Watson Resea...

• 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): Carme Àlvarez • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 5th International Workshop on Experimental and Efficient Algorithms, WEA 2006, held in M...

• Author(s): François Boulier • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, he...

• 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): Hu Peng • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the thoroughly refereed proceedings of the 10th International Symposium, ISICA 2018, held in Jiujiang, China, in Octob...

• Author(s): Chiara Bodei • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverProgramming Languages with Applications to Biology and Security This Festschrift volume is published in honor of Pie...

• Author(s): Michele Bugliesi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages...

• Author(s): Gianluca Della Vedova • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 202...

• Author(s): Rachid Guerraoui • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThe advent of multi-core architectures and cloud-computing has brought parallel programming into the mainstream ...

• Author(s): T. Lickteig • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicThe algorithmic solution of problems has always been one of the major concerns of mathematics. For a long time such solutions were based on an intuitive no...

• Author(s): Maria J. Blesa Aguilera • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 11th International Workshop on Hybrid Metaheuristics, HM 2019, held in...

• 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): Vladimir P. Gerdt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, h...

• 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): Victor Malyshkin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 17th International Conference on Parallel Computing T...

• 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): Luís S. Barbosa • Publisher: Springer • Publisher Imprint: Springer • BISAC: Machine TheoryThis book constitutes the refereed proceedings of the Third IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TT...

• Author(s): Frank Dehne • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97, held in Nova Scotia...

• Author(s): John R. Gilbert | Rolf Karlsson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceProceedings of the 2nd Scandinavian Workshop on Algorithm Theory, describing original research on algorithms and data struct...

• Author(s): Peter A. Fritzson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDebugging has always been a costly part of software development, and many attempts have been made to provi...

• 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): Guojin Wang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book constitutes the refereed proceedings of the Workshops and Symposiums of the 15th International Conference o...

• Author(s): Pierrick Legrand • Publisher: Springer • Publisher Imprint: Springer • BISAC: Machine TheoryFrom the Back CoverThis book constitutes the refereed proceedings of the 11th International Conference on Artificial Evolution, EA 2013, held...

• 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): Lars Arge • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 10th Scandinavian Workshop on Algorithm Theory, SWAT 2006, held in Riga, Latvia, in July 200...

• 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): Derrick G. Kourie • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicFrom the Back CoverThe focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are text...

• Author(s): Rachid Guerraoui • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - ParallelTransactional memory (TM) is an appealing paradigm for concurrent programming on shared memory architectures. With a TM, threads of a...

• Author(s): B. S. Panda • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 4th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2018, h...

• Author(s): Pierre Liardet | Pierre Collet | Cyril Fonlupt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer Vision & Pattern RecognitionThis book constitutes the thoroughly refereed post-proceedings of the 6th Internatio...

• Author(s): Utpal Banerjee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersAutomatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and pr...

• Author(s): Amarpreet Kaur • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book presents a novel approach to the formulation and solution of three classes of problems: the ful...

• 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): Joxan Jaffar | Roland H. C. Yap • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the Second Asian Conference on Computing Science, ASIAN'96, held in Singap...