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

• Author(s): Matthew England • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 21st International Workshop on Computer Algebra in Scientific Computing, CASC ...

• Author(s): Carlos Martín-Vide • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 8th International Conference on Theory and Practice of Natural Computing, T...

• 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): Ryuhei Uehara • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, ...

• 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): Johan Jeuring • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThis book consitutes the refereed proceedings of the 4th International Conference on Mathe...

• Author(s): Alexander Reinefeld • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralBaum-Suchverfahren werden in der Informatik, insbesondere im Teilbereich der Künstlichen Intelligenz, zum Durchsuchen v...

• Author(s): Shin-Ichi Minato | Takeaki Uno | Norihito Yasuda • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis Open access book provides an overview of the cutting-edge research to systematize innovative foundatio...

• 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): Joshua Crotts • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - JavaThis introductory textbook on Java programming is different from others by its emphasis on test-driven development. Writing tests before desig...

• Author(s): Henry Wolkowicz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingSemidefinite programming (SDP) is one of the most exciting and active research areas in optimization. It has and continues...

• Author(s): Marco T. Morazán • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate students. While it contai...

• Author(s): Shiyi Shen • Publisher: Springer • Publisher Imprint: Springer • BISAC: BioinformaticsFrom the Back CoverThis monograph addresses, in a systematic and pedagogical manner, the mathematical methods and the algorithms required to deal w...

• Author(s): Joanna Kolodziej • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis two volume set LNCS 8285 and 8286 constitutes the proceedings of the 13th International Conference on Algor...

• Author(s): Jean-Michel Muller • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Counting & NumerationFrom the Back CoverThis handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has con...

• Author(s): Tetsuo Asano | Yoshihide Igarashi | Hiroshi Nagamochi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 7th International Symposium on Algorithms and Co...

• Author(s): Robert J. Vanderbei • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingThis book focuses largely on constrained optimization. It begins with a substantial treatment of linear programming an...

• Author(s): Bernhard Steffen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Com...

• Author(s): Christian Blum • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverOptimization problems are of great importance in many fields. They can be tackled, for example, by approx...

• Author(s): MD Saidur Rahman | Shin-Ichi Nakano • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer Science

• Author(s): Lane A. Hemaspaandra • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book presents a consolidated survey of the vibrant field of research known as the theory of semi-feasib...

• Author(s): Josep Diaz | Juhani Karhumäki | Arto Lepistö • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and ...

• 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): Peter Grogono • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralFrom the Back CoverThis book introduces the main concepts of Turing in progressive steps with numerous examples and explanations. The hands...

• Author(s): Günther Zäpfel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Production & Operations ManagementFrom the Back CoverThe book gives an introduction to metaheuristics for students and practitioners. It requires no prio...

• 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): W. F. Symth • Publisher: Springer • Publisher Imprint: Springer • BISAC: Environmental - GeneralFrom the Back CoverThis book constitutes the thoroughly referred post-workshop proceedings of the 23rd International Workshop on Combinat...

• Author(s): Verónica Dahl • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book contains the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portug...

• Author(s): Franz Rothlauf • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverIn the field of genetic and evolutionary algorithms (GEAs), a large amount of theory and empirical study ...

• Author(s): Vincenzo Manca • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThe book is a gentle introduction to Python using arithmetic, and vice versa, with a historical perspective encompassing pro...

• Author(s): Leszek Rutkowski • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverThis book focuses on various techniques of computational intelligence, both single ones and those which form hybrid methods. Thos...

• Author(s): Arnab Bhattacharyya • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book introduces important results and techniques in property testing, where the goal is to design algorithms that decide wh...

• Author(s): Robert Ghanea-Hercock • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book is intended for students, researchers, and professionals interested in evolutionary algorithms at graduate and postg...

• Author(s): Armin Biere • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralFrom the Back CoverThis open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms...

• Author(s): Daniel Kroening • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicFrom the Back CoverA decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focu...

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