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

• 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): 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): P. S. Thiagarajan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Comput...

• Author(s): David M. Steier • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralIn early 1986, one of us (D.M.S.) was constructing an artificial intelligence system to design algorithms, a...

• Author(s): Olivier Danvy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverAutomatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished an...

• 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): 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): Michael G. Main | Austin C. Melton | Michael W. Mislove • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis is the latest in a series of proceedings of conferences on the Mathematical Foundations...

• 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): 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): 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): Afonso Ferreira | Jose Rolim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis book presents the proceedings of the Second International Workshop on Parallel Algorithms for Irregularly Structured ...

• 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): 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): Annabelle McIver | Charles Carroll Morgan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinemen...

• Author(s): Ting Hu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 23rd European Conference on Genetic Programming, EuroGP 2020, held as part of Evo*2020...

• 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): Efstratios Gallopoulos • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverThis book is primarily intended as a research monograph that could also be used in graduate courses for the design of paral...

• 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): Andrei A. Bulatov • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 8th International Computer Science Symposium in Russia, CSR 2013, held in Ekaterinbur...

• Author(s): Michal Forisek • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computers & TechnologyFrom the Back CoverThere is a significant difference between designing a new algorithm, proving its correctness, and teaching it to...

• 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): Peter Kall • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingFrom the Back CoverThis new edition of Stochastic Linear Programming: Models, Theory and Computation has been brought completel...

• 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): Klaus Jansen | Jose Rolim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the International Workshop on Approximation Algorithms for Combinatorica...

• Author(s): Michael T. Heath • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - GeneralThis IMA Volume in Mathematics and its Applications ALGORITHMS FOR PARALLEL PROCESSING is based on the proceedings of a worksh...

• 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): Richard Bird • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe general theme of this conference is notations, methods, and tool support for the calculation of programs fr...

• Author(s): Ilias Kotsireas • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed post-conference proceedings of the Special Event on the Analysis of Experimental Algorithms, SEA ...

• 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): W. H. J. Feijen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - ParallelEven with all the interest in parallelism and parallel processing, there is still something missing. This book is about how to design ...

• Author(s): Graham Hutton • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, hel...

• Author(s): Patrick Dehornoy • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicCet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théorèmes fondamentaux de décidabilité et d'indécidabil...

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

• Author(s): Xiaofeng Gao • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThe two-volume set LNCS 10627 and 10628 constitutes the refereed proceedings of the 11th International Conference on Combinatorial Opti...

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