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): P. -L Curien • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicThis book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit- m...

• Author(s): Howard Karloff • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Linear & Nonlinear ProgrammingFrom the Back CoverTo this reviewer's knowledge, this is the first book accessible to the upper division undergraduate or...

• Author(s): J. A. Storer • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: GeneralData structures and algorithms are presented at the college level in a way that is unique in content and presentation from current available texts. A ...

• 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): 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): 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): 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): 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): Yorick Hardy • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: GeneralFrom the Back CoverClassical and Quantum computing provides a self-contained, systematic and comprehensive introduction to all the subjects and techni...

• 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): 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): 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): Hans Riesel • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Counting & NumerationFrom the Back CoverIn the modern age of almost universal computer usage, practically every individual in a technologically developed ...

• 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): Cullum • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Number Systems

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

• Author(s): Daniele Gardy • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: GeneralThis book is based on the proceedings of the Colloquium on Mathematics and Computer Science held in the University of Versailles-St-Quentin on Septem...

• Author(s): István Gaál • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - AlgorithmsFrom the Back CoverThis monograph outlines the structure of index form equations, and makes clear their relationship to other classica...

• Author(s): Karsten M. Decker • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - CompilersMassively Parallel Systems (MPSs) with their scalable computation and storage space promises are becoming increasingly important ...

• Author(s): Gil Kalai • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Geometry - AlgebraicQuestions that arose from linear programming and combinatorial optimization have been a driving force for modern polytope theory, such as th...

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

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

• 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): 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): 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): 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): 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): Hansjoerg Albrecher • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Game TheoryFrom the Back CoverSwaps, futures, options, structured instruments - a wide range of derivative products is traded in today's financial mar...

• Author(s): K. Aberer • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Data Science - GeneralCombinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attr...

• Author(s): George Polya • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: GeneralIn the winter of 1978, Professor George P61ya and I jointly taught Stanford University's introductory combinatorics course. This was a great opportuni...

• Author(s): Richard Tolimieri • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Engineering (General)The aim of this work is to present several topics in time-frequency analysis as subjects in abelian group theory. The algebraic poi...