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

• Author(s): A. P. Ershov | D. E. Knuth • Publisher: Springer • Publisher Imprint: Springer • BISAC: General

• Author(s): Yixin Cao • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 23rd International Conference on Computing and Combinatorics, COCOON 2017, held in H...

• Author(s): Luca Aceto | Ivan Damgaard | Leslie Ann Goldberg • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International C...

• Author(s): B. Heinrich Matzat • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralFrom the Back CoverThis book contains 22 lectures presented at the final conference of the German research program "Algorithmic Number Theory and ...

• Author(s): Samson Abramsky | Cyril Gavoille | Claude Kirchner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was h...

• Author(s): Michal Mankowski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)From the Back CoverThis book introduces a fairly universal approach to the design and analysis of exact optimization algorithms for mu...

• Author(s): Jens Knoop • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersStarting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and esse...

• Author(s): David R. Musser • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThe Ada Generic Library provides an extensive well-documented library of generic packages whose use can substantially increase software p...

• Author(s): Stephan Dempe • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchFrom the Back CoverThis book describes recent theoretical findings relevant to bilevel programming in general, and in mixed-integer bilevel...

• Author(s): A. Sima Uyar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back Cover Solving scheduling problems has long presented a challenge for computer scientists and operations research...

• Author(s): Andrej Dobnikar | Uros Lotric | Branko Ster • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThe two-volume set LNCS 6593 and 6594 constitutes the refereed proceedings of the 10th International Con...

• Author(s): Susan Stepney • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book is a tribute to Julian Francis Miller's ideas and achievements in computer science, evolutionary...

• Author(s): Vijay Chandru | V. Vinay • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis book constitutes the refereed proceedings of the 16th International Conference on Foundations of Software Technology and Theoretic...

• Author(s): Jianer Chen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 8th International Frontiers of Algorithmics Workshop, FAW 2014, held in Zhangjiaji...

• Author(s): Vittorio Maniezzo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchFrom the Back Cover Metaheuristics: Intelligent Problem Solving Marco Caserta and Stefan Voß Just MIP it! Matteo Fischetti, Andrea ...

• Author(s): Gholamreza B. Khosrovshahi | Ali Shokoufandeh | Amin Shokrollahi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceTheFirstSummerSchoolonTheoreticalAspectsonComputerSciencewasheld attheInstituteforStudiesin...

• Author(s): Alan P. Parkes • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicFrom the Back CoverThis easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines within Compu...

• Author(s): Carlo A. Furia • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverModels that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, ...

• Author(s): Louis Brickman • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingFrom the Back CoverThe principal objectives of this book are to define linear programming and its usefulness, to explain th...

• Author(s): David R. Brooks • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - Expert SystemsThis book provides students with an introduction to Fortran 90, one of the most powerful and flexible programming la...

• Author(s): Jörg Fiedler | Jörg F. Wollert • Publisher: Springer • Publisher Imprint: Springer • BISAC: RoboticsDer erste Teil dieses Werkes gibt eine praxisorientierte Einführung in die Sprache C. Die Beispiele und Übungsaufgaben stammen allesa...

• Author(s): A. Sima Uyar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back Cover Solving scheduling problems has long presented a challenge for computer scientists and operations research...

• Author(s): Alexander Schrijver • Publisher: Springer • Publisher Imprint: Springer • BISAC: Game TheoryFrom the Back CoverThis book offers an in-depth overview of polyhedral methods and efficient algorithms in combinatorial optimization.These m...

• Author(s): Zhiwei Xu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis textbook is intended as a textbook for one-semester, introductory computer science courses aimed at undergraduate students...

• Author(s): Tomás Vojnar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book is Open Access under a CC BY licence.

• Author(s): Fedor V. Fomin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis Festschrift was published in honor of Hans L. Bodlaender on the occasion of his 60th birthday. The 14 full an...

• Author(s): Yongxuan Lai • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThe three volume set LNCS 13155, 13156, and 13157 constitutes the refereed proceedings of the 21st International Conference on Algorith...

• 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): Stephan Dempe • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchFrom the Back CoverThis book describes recent theoretical findings relevant to bilevel programming in general, and in mixed-integer bilevel...

• Author(s): Markus Müller-Olm • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralProgram analysis is concerned with techniques that automatically determine run-time properties of given pr...

• Author(s): Terence C. Fogarty • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume is based on the Workshop on Evolutionary Computing held in Sheffield, U.K., in April 1995 under the sponsorship of the Societ...

• Author(s): Branislav Rovan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS 200...

• Author(s): Naoki Abe | Roni Khardon | Thomas Zeugmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis volume contains the papers presented at the 12th Annual Conference on Algorithmic Learning Theory (A...

• Author(s): Yijia Chen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 13th International Workshop on Frontiers in Algorithmics, FAW 2019, held in Sanya, China, in...

• Author(s): Peter Pepper | Petra Hofstedt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralEine vielschichtige Darstellung der modernen funktionalen Programmierung: Zum einen werden fortgeschrittene Pro...

• Author(s): Leizhen Cai • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book constitutes the refereed proceedings of the 24th International Symposium on Algorithms and Computation, ISA...