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

• Author(s): Willem-Jan Van Hoeve • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 15th International Conference on Integration of Artificial Intelligence and Operat...

• Author(s): Gagniuc | Paul A. • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Programming - GeneralFrom the Back CoverThis book provides a comprehensive guide to Matlab, ...

• Author(s): Jianxin Wang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 9th International Workshop on Frontiers in Algorithmics, FAW 2015, held in Guilin, China, ...

• 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): 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): Ivan V. Sergienko • Publisher: Springer • Publisher Imprint: Springer • BISAC: Counting & NumerationFrom the Back CoverIn this monograph, the authors develop a methodology that allows one to construct and substantiate optimal and...

• Author(s): Ton Kloks • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: General Books • BISAC: Programming - AlgorithmsChapter 1. Graphs.- Chapter 2. Algorithms.- Chapter 3. Problem Formulations.- Chapter 4. Recent Trends.

• 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): 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): 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): Nicolò Cesa-Bianchi | Masayuki Numao | Rüdiger Reischuk • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis volume contains the papers presented at the 13th Annual Conference on Algorithmic Learn...

• 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): Gagniuc | Paul A. • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: General Books • BISAC: Programming - GeneralFrom the Back CoverThis book provides a comprehensive guide to JavaScript, which stands as the corner...

• Author(s): Brian Steele • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - Data AnalyticsUnites theory, algorithm design, and practical data analysis for simplicity and clarity of contentContains more than twenty detail...

• 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): 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): Janos Csirik | Ferenc Gecseg | Janos Demetrovics • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume contains the proceedings of the conference on Fundamentals of Computation Theory held in Szeged...

• Author(s): Evangelos Kranakis | Danny Krizanc | Flaminia Luccio • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 6th International Conference, FUN 2012, h...

• Author(s): Stuart Berry • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer SimulationFrom the Back CoverThis interdisciplinary reference and guide provides an introduction to modelling methodologies and models which form the ...

• Author(s): Ding-Zhu Du • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: MathematicsIntroductory courses in combinatorial optimization are popular at the upper undergraduate/graduate level...

• 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): 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): 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): 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): Claude-Guy Quimper • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 13th International Conference on Integration of Artificial Intelligence and Operatio...

• 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): 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): 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): 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): Michael Oberguggenberger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - GeneralFrom the Back CoverThis easy-to-follow textbook/reference presents a concise introduction to mathematical analysis from an al...

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