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

• 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): Michael J. Brusco • Publisher: Springer • Publisher Imprint: Springer • BISAC: Mathematical AnalysisFrom the Back CoverThere are a variety of combinatorial optimization problems that are relevant to the examination of statistical dat...

• 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): Gerhard Gruhler • Publisher: Springer • Publisher Imprint: Springer • BISAC: Industrial EngineeringDer Autor stellt sich die Aufgabe, den Programmieraufwand bei bahngesteuerten Industrierobotern zu reduzieren. Sein Ziel ist es, durch...

• Author(s): John B. Anderson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Information TheoryoW should coded communication be approached? Is it about prob- H ability theorems and bounds, or about algorithms and structures? The tra...

• 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): A. K. Dewdney | P. Dobrowolski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralDieses Buch bietet wie kaum ein anderes eine breite, sorgf�ltige und verst�ndliche Einf�hrung in die Welt der Computer u...

• Author(s): Michel Rueher • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicThis book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2...

• Author(s): Pedro A. Castillo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 23rd European Conference on Applications of Evolutionary Computation, EvoApp...

• Author(s): Oliver Grillmeyer • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Programming - GeneralFrom the Back CoverThe aim of this textbook is to present the central a...

• Author(s): Pierre Fouilhoux • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Combinatorial Opt...

• 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): 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): Youssef Hamadi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverDecades of innovations in combinatorial problem solving have produced better and more complex algorithms....

• Author(s): Helmut Seidl | Reinhard Wilhelm | Sebastian Hack • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralDieses Buch behandelt die Optimierungsphase von �bersetzern. In dieser Phase werden Programme zur Effizienzsteigerun...

• Author(s): Christian Scheideler • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume contains the papers presented at ALGOSENSORS 2010, the 6th International Workshop on Algorithms for Sensor Systems, Wireles...

• Author(s): E. de Klerk • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralSemidefinite programming has been described as linear programming for the year 2000. It is an exciting new branch of mathematical programming, due to imp...

• 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): 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): Ding-Zhu Du • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis Festschrift is in honor of Ker-I Ko, Professor in the Stony Brook University, USA. Ker-I Ko was one of the found...

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

• Author(s): Ivo Nowak • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Computer ScienceFrom the Back CoverThis book presents a comprehensive description of theory, algorithms and software for solving nonconvex mixed integer nonline...

• Author(s): Wilfried Brauer | Hartmut Ehrig | Juhani Karhumäki • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book presents state of the art research in theoretical computer science and related ?elds. I...

• Author(s): Josh Cutler • Publisher: Springer • Publisher Imprint: Springer • BISAC: StatisticsFrom the Back CoverThis book is intended to serve as the basis for a first course in Python programming for graduate students in political science and...

• 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): 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): Giuseppe F. Italiano • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on M...

• 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): Ralf Hinze • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held...

• Author(s): Domenico Salvagnin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 14th International Conference on Integration of Artificial Intelligence and Operatio...

• Author(s): Jesus Carretero • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - ParallelThis book constitutes the refereed workshop proceedings of the 16th International Conference on Algorithms and Architectures for Paral...

• Author(s): Amitabh Basu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 8th International Symposium on Combinatorial Optimization, ISCO 2024, held in La Laguna, ...

• Author(s): Serdar Boztas • Publisher: Springer • Publisher Imprint: Springer • BISAC: Information TheoryThis book constitutes the refereed proceedings of the 17th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correc...

• 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): Edoardo S. Biagioni • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 14th International Conference on Wireless Algorithms, Systems, and Applications, WA...

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