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

• Author(s): Roberto Mantaci • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: Programming - Algorithms

• 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): 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): 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): 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): 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): 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): Daniel H. Greene • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Computer ScienceFrom the Back CoverA quantitative study of the efficiency of computer methods requires an in-depth understanding of both mathematics and ...

• 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): 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): Philipp Kügler | Wolfgang Windsteiger • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: Number SystemsDas Lehrbuch diskutiert g�ngige Fragen der Analysis und linearen Algebra und verwendet f�r die rechnergest�tzten Ant...

• 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): W. Gander • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: GeneralDer vorliegenden Band enthält die Lösungen der Aufgaben des in dersel- ben Reihe Programm Praxis erschienenen Lehrbuches 'Computermathema- tik'. Die Ka...

• 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): 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): 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): 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): A. Sinclair • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: AppliedThis monograph is a slightly revised version of my PhD thesis [86], com- pleted in the Department of Computer Science at the University of Edin- burgh ...

• 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): 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): L. Collatz | G. Meinardus | W. Wetterling • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: GeneralDer vorliegende Band gibt haupts�chlich Vortr�ge wieder, die in der Zeit vom 23. bis 27. Februar 1976 auf einem am Math...

• 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): 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): Kläy | Riedwyl • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: GeneralWir stellen ein neues Konzept zur numerischen Behandlung statistischer Methoden mittels programmierbarer Rechner vor. Ziel ist es, mit sparsamem E...

• 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): 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): Comfort • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: General

• 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): 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): 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): 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): 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): Christian Prehofer • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Data Science - GeneralThis monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic ...

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

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