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

• Author(s): Alberto Pettorossi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverIn this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search tech...

• Author(s): Robert Paige • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York Un...

• Author(s): Panos M. Pardalos | Steffen Rebennack • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis volume constitutes the refereed proceedings of the 10th International Symposium on Experimental Algorithm...

• Author(s): M. Sohel Rahman • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 12th International Workshop on Algorithms and Computation, WALCOM 2018, held in Dhaka, ...

• Author(s): Rudolf Fleischer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer Science Experimental algorithmics, as its name indicates, combines algorithmic work and experimentation: algorithms are not just designed, but als...

• Author(s): Peter Hertling • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book constitutes the revised papers of the International Seminar on Reliable Implementation of Real Number Al...

• Author(s): Peter Brucker • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchFrom the Back CoverBesides scheduling problems for single and parallel machines and shop scheduling problems the book covers advanced model...

• Author(s): Ronald T. Kneusel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book covers pseudorandom number generation algorithms, evaluation techniques, and offers practical advice and code examples. ...

• Author(s): Evripidis Bampis • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book constitutes the refereed proceedings of the 14th International Symposium on Experimental Algorithms, S...

• Author(s): Peter Seibt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book treats the Mathematics of many important areas in digital information processing. It covers, in a unified ...

• Author(s): Ding-Zhu Du • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the proceedings of the 25th International Conference on Computing and Combinatorics, COCOON 2019, held in Xi'an, C...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersDie Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Weise Methoden und Techniken für die Modellierung, Darst...

• Author(s): Heiko Duin | Günter Symanzik | Ute Claussen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsEine der interessantesten Aufgaben bei der Umsetzung der Idee eines Bi...

• Author(s): Vladimir Uspensky • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicToday the notion of the algorithm is familiar not only to mathematicians. It forms a conceptual base for information processing; the existence of a c...

• 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): Ersébet Csuhaj-Varjú • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th Inte...

• Author(s): Christian Cachin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer Science1. Introduction. - 1.1 Motivation. -1.2 Distributed Programming Abstractions. 1.3 The End-to-End Argument. 1.4 Software Components. - 1.5 C...

• Author(s): John Staples | Peter Eades | Naoki Katoh • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book presents the refereed proceedings of the 6th International Symposium on Algorithms and Computatio...

• Author(s): Ersébet Csuhaj-Varjú • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th Inte...

• Author(s): Rolf Hammer • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverThis C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with ver...

• Author(s): Suad Alagic • Publisher: Springer • Publisher Imprint: Springer • BISAC: Questions & AnswersThe major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand....

• Author(s): Fajie Li • Publisher: Springer • Publisher Imprint: Springer • BISAC: Design, Graphics & Media - CAD-CAMFrom the Back CoverThe Euclidean shortest path (ESP) problem asks the question: what is the path of minimum length connecting...

• Author(s): Tom Schrijvers • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThe Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic program...

• Author(s): Hee-Kap Ahn • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 25th International Symposium on Algorithms and Computation, ISAAC 2014, held in Je...

• Author(s): Michael Welschenbach • Publisher: Springer • Publisher Imprint: Springer • BISAC: Security - Cryptography & EncryptionDer umfassende �berblick beschreibt die Grundlagen moderner kryptographischer Verfahren und ihre programmtechni...

• Author(s): K. Mehlhorn • Publisher: Springer • Publisher Imprint: Springer • BISAC: Machine TheoryThe design and analysis of data structures and efficient algorithms has gained considerable importance in recent years. The concept of "algorithm"...

• Author(s): Prosenjit Gupta • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book constitutes the refereed proceedings of the First International Conference on Applied Algorithms, ICAA ...

• Author(s): Klaas Sikkel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis introduction to the syntactic analysis of natural language and computer programs combines mathematical rigor with high readability. It ...

• Author(s): Rafael Martí • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverIn the last decades, algorithmic advances as well as hardware and software improvements have provided an excellent e...

• Author(s): Francisco Chicano • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 16th European Conference on Evolutionary Computation in Combinatorial Optimi...

• Author(s): David E. Hudak • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Compilers4. 2 Code Segments . . . . . . . . . . . . . . . 96 4. 3 Determining Communication Parameters . 99 4. 4 Multicast Communication Overhe...

• Author(s): Oleg Okun • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book contains the extended papers presented at the 3rd Workshop on Supervised and Unsupervised Ensemble M...

• Author(s): Urmila Diwekar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchThis book presents the details of the BONUS algorithm and its real world applications in areas like sensor placement in large scale drinki...

• Author(s): Elijah Polak • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedThis book deals with optimality conditions, algorithms, and discretization tech- niques for nonlinear programming, semi-infinite optimization, and optim...

• Author(s): Enrique Alba • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book is an updated effort in summarizing the trending topics and new hot research lines in solving dyn...

• Author(s): Daniel Ashlock • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverEvolutionary Computation for Optimization and Modeling is an introduction to evolutionary computation, a field which includes genet...