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

• Author(s): Devroye • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Data Science - Data Modeling & DesignHashing algorithms scramble data and create pseudo-uniform data distribu- tions. Bucket algorithms operate on raw untrans...

• Author(s): Arthur O. Pittenger • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: General[see attached for complete text] Over the last decade quantum computing has become a rapidly growing field with relevance to topics from physic...

• 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): Valery Romanovski | Douglas Shafer • Publisher: Springer Verlag • Publisher Imprint: Birkhauser • Subject: Mathematics and Statistics • BISAC: Differential Equations - GeneralFrom the Back CoverIn the last three decades, advances in ...

• Author(s): Ke-Lin Du • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Computer ScienceFrom the Back CoverThis textbook provides a comprehensive introduction to nature-inspired metaheuristic methods for search and optimization, inc...

• 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): 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): Ke-Lin Du • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Computer ScienceFrom the Back CoverThis textbook provides a comprehensive introduction to nature-inspired metaheuristic methods for search and optimization, inc...

• Author(s): Roberto Cominetti | Francisco Facchinei | Jean B. Lasserre • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: Game TheoryThe theory of optimization, understood in a broad sense, is the basis of modern applied mathematic...

• 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): Yuli Eidelman • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Algebra - LinearFrom the Back CoverThis two-volume work presents a systematic theoretical and computational study of several types of generalizations of sep...

• 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): 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): James S. Royer • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Software Development & Engineering - General1.1. What This Book is About This book is a study of - subrecursive programming systems, - efficiency/progr...

• Author(s): James S. Royer • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Software Development & Engineering - General1.1. What This Book is About This book is a study of - subrecursive programming systems, - efficiency/progr...

• Author(s): Franck Van Breughel • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: AppliedDuring the last three decades several different styles of semantics for program- ming languages have been developed. This book compares two of ...

• Author(s): Comfort • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: General

• Author(s): Franck Van Breughel • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Languages - GeneralDuring the last three decades several different styles of semantics for program- ming languages have been developed. This book comp...

• Author(s): Dario Bini • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Algebra - ElementaryOur Subjects and Objectives. This book is about algebraic and symbolic computation and numerical computing (with matrices and polynomials)....

• Author(s): Uwe Schöning • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverThis book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predic...

• Author(s): Mark Jerrum • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Discrete MathematicsFrom the Back CoverThe subject of these notes is counting (of combinatorial structures) and related topics, viewed from a computational pe...

• Author(s): Raatz • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - GeneralThe origins of this monograph lie in my Ph.D. dissertation of 1987 at the University of Pennsylvania, which was concerned with proof procedures...

• 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): M. E. Pohst • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: GeneralComputational algebraic number theory has been attracting broad interest in the last few years due to its potential applications in coding theory and c...

• Author(s): Jerry Glynn • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: Programming - AlgorithmsDas vielseitige Mathematikprogramm DERIVE, das bereits auf kleinen Personal Computern zum Einsatz kommen kann und trotzdem sehr leis...

• Author(s): Dario Bini • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Algebra - ElementaryOur Subjects and Objectives. This book is about algebraic and symbolic computation and numerical computing (with matrices and polynomials)....

• 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): Harold M. Edwards • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Algebra - LinearFrom the Back CoverIn his new undergraduate textbook, Harold M. Edwards proposes a radically new and thoroughly algorithmic approach to ...

• Author(s): Michael Huber • Publisher: Springer Verlag • Publisher Imprint: Birkhauser • Subject: Engineering • BISAC: CombinatoricsThe characterization of combinatorial or geometric structures in terms of their groups of automorphisms has attra...

• Author(s): K. Ko • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: GeneralStarting with Cook's pioneering work on NP-completeness in 1970, polynomial complexity theory, the study of polynomial-time com- putability, has quickly emer...