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

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

• Author(s): Peter Paule • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book presents four mathematical essays which explore the foundations of mathematics and related topics ranging f...

• Author(s): Jörg Hoffmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsPlanning is a crucial skill for any autonomous agent, be it a physically embedded agent, such as a robot, or a purely simulated softwa...

• Author(s): Arie Gurfinkel | Marijn Heule • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools...

• 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): 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): Shin-Ichi Nakano | Mingyu Xiao • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book LNCS 15411 constitutes the refereed proceedings of the 19th International Conference and Workshops on Algorithms an...

• Author(s): Giulio Cesare Barozzi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Number TheoryFrom the Back Cover"La matematica è la regina delle scienze e l'aritmetica è la regina delle matematiche"; così scrisse Carl Friedrich Ga...

• 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): Barry O'Sullivan • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicThis book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, C...

• Author(s): Enno Ohlebusch • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralNew advanced text/reference book on term rewriting theory and application. Essential, state-of-the-art reference for computer scientists...

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

• Author(s): Yuri L. Ershov • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicThe theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within th...

• Author(s): Peter Paule • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book presents four mathematical essays which explore the foundations of mathematics and related topics ranging f...

• 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): Kui Ren • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book constitutes the refereed proceedings of the 7th International Conference on Wireless Algorithms, Systems, and A...

• Author(s): Gopinath Rebala • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverJust like electricity, Machine Learning will revolutionize our life in many ways - some of which are not ...

• Author(s): Thomas Bartz-Beielstein • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe new experimentalism, a development in the modern philosophy of science, considers that an experiment can have a life of its own....

• Author(s): Thomas Bartz-Beielstein • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe new experimentalism, a development in the modern philosophy of science, considers that an experiment can have a life of its own....

• Author(s): Alan J. Lockett • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThis book examines the mismatch between discrete programs, which lie at the center of modern applied mathematics, and the c...

• 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): Srikanta Patnaik • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer SimulationFrom the Back CoverIn this book the author employs a cybernetic view of robot cognition and perception as he examines mobile robot simul...

• 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): Keith O. Geddes • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - GeneralAlgorithms for Computer Algebra is the first comprehensive textbook to be published on the topic of computational symbolic mathematics...

• Author(s): Robert Whitrow • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back CoverOpenGL Graphics Through Applications is a practical introduction to Computer Gra...

• Author(s): Camil Demetrescu | Magnus M. Halldorsson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 19th Annual European Symposium on Algorithms, ESA 201...

• Author(s): Michel Goemans • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis book constitutes the proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimi...

• Author(s): Krzystof Diks | Wojciech Rytter • Publisher: Springer • Publisher Imprint: Springer • BISAC: Machine TheoryThis book constitutes the refereed proceedings of the 27th International Symposium on Mathematical Foundations of Computer Sci...

• 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): Arthur David Snider • Publisher: Springer • Publisher Imprint: Springer • BISAC: OptimizationFrom the Back CoverThis book presents a short introduction to the main tools of optimization methodology including linear programming, steep...

• Author(s): Cullum • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Number Systems

• 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): Peter R. Turner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis easy-to-understand textbook presents a modern approach to learning numerical methods (or scientific computin...

• 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): Stefano Crespi Reghizzi • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicFrom the Back CoverWhereas many textbooks on formal languages and compilation focus on technological aspects, it is the elegance and simplicity...