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

• Author(s): P. -L Curien • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - AlgorithmsThis book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Compu...

• Author(s): Alain Darte • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - ParallelReadership This book is devoted to the study of compiler transformations that are needed to expose the parallelism hiddenin a program. T...

• Author(s): J. A. Storer • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Data Science - Data Modeling & DesignData structures and algorithms are presented at the college level in a way that is unique in content and presentatio...

• Author(s): Supowit • Publisher: Springer Verlag • Publisher Imprint: Birkhauser • Subject: Computer Science and Information Technology • BISAC: Computer ScienceFrom the Back CoverLogicians have developed beautiful algorithmic techniques for the...

• Author(s): Jean-Michel Muller • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Counting & NumerationFrom the Back CoverThis handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has con...

• Author(s): Victor Y. Pan • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - AlgorithmsThis book covers fundamental numerical and algebraic computations with Toeplitz, Hankel, Vandermonde, Cauchy, and other popular stru...

• Author(s): Brigitte Chauvin • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Computer ScienceThis is the second volume in a series of innovative proceedings entirely devoted to the connections between mathematics and computer scie...

• Author(s): Michael Drmota • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Computer ScienceMathematics and Computer Science III contains invited and contributed papers on combinatorics, random graphs and networks, algorithms analy...

• Author(s): Ivo Nowak • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Computer ScienceFrom the Back CoverThis book presents a comprehensive description of theory, algorithms and software for solving nonconvex mixed integer nonline...

• Author(s): Peter O'Hearn • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - GeneralIn 1959 John Backus presented a paper on a proposed international algebraic language which evolved into ALGOL 60. This set of two volum...

• Author(s): Rayadurgam Srikant • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: AppliedFrom the Back CoverCongestion control algorithms were implemented for the Internet nearly two decades ago, but mathematical models of congestion...

• Author(s): Peter O'Hearn • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Languages - GeneralFrom the Back CoverIn recent years there has been a remarkable convergence of interest in programming languages based on Algol 60. Resear...

• Author(s): H. R. Hc6rnlein • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Civil - GeneralStructural optimization - a survey.- Mathematical optimization: an introduction.- Design optimization with the finite element program ANSYS...

• Author(s): G. Zhang • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Languages - GeneralThis monograph studies the logical aspects of domains as used in de- notational semantics of programming languages. Frameworks of domain logic...

• Author(s): Misha Gromov • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverThis visionary and engaging book provides a mathematical perspective on the fundamental ideas of numbers, space, life, evolution, the...

• Author(s): Daniel Hernández-Hernández | J. Adolfo Minjárez-Sosa • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: AppliedThis volume provides a general overview of discrete- and continuous-time Markov control processes and stocha...

• Author(s): K. y. Lam • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Information TheoryComputational Number Theory.- On the Dimension and the Number of Parameters of a Unirational Variety.- On Elements of High Order in Finite Fie...

• Author(s): Hamid Krim | Anthony Yezzi • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: Probability & Statistics - GeneralThe subject of pattern analysis and recognition pervades many aspects of our daily lives, including use...