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

• Author(s): Jaideep Vaidya • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThe four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures...

• 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): Erika Abraham • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis o...

• 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): Xiaoming Sun • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2019, held ...

• 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): Vitaliy Feoktistov • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingFrom the Back CoverThe human being aspires to the best possible performance. Both individuals and enterprises are looki...

• Author(s): Giovanni Squillero • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThe two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applic...

• Author(s): Vitaliy Feoktistov • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingFrom the Back CoverThe human being aspires to the best possible performance. Both individuals and enterprises are looki...

• 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): Luís Paquete • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 20th European Conference on Evolutionary Computation in Combinatorial Optimizatio...

• Author(s): Tadeo Ichikawa • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsThe interface between the user of a computer-based information system and the system itself has bee...

• Author(s): Giovanni Squillero • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThe two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applic...

• Author(s): Qing Yang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 11th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2016, h...

• Author(s): Przemyslaw Broniek • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solu...

• Author(s): Gerhard Rayna • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsCONTRIBUTED BY DR. ANTHONY C. HEARN THE RAND CORPORATION, SANTA MONICA, CALIFORNIA REDUCE is a computer program for algebraic computat...

• Author(s): Christian Maurer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis textbook explains the concept of "object-based programming" as an essential part of "object orientatio...

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