Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...
Weiterlesen
Implementation of Functional Languages
This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of ...
Weiterlesen
Independent Component Analysis and Blind Signal Separation
This book constitutes the refereed proceedings of the 6th International Conference on Independent Component Analysis and ...
Weiterlesen
Index and Stability in Bimatrix Games
The contribution of this thesis can be divided into two parts. The first part concerns methods and techniques. By introducing ...
Weiterlesen
Institution-independent Model Theory
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. ...
Weiterlesen
Intelligent Computer Mathematics
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Weiterlesen
International Symposium on Fundamentals of Software Engineering
The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering ...
Weiterlesen
Introduction to Complex Analysis in Several Variables
This book gives a comprehensive introduction to complex analysis in several variables. It clearly focusses on special topics ...
Weiterlesen
Introduction to Lie Algebras
This book provides an elementary introduction to Lie algebras. It starts with basic concepts. A section on low-dimensional ...
Weiterlesen
Introduction to Lie Algebras
This book provides an elementary introduction to Lie algebras. It starts with basic concepts. A section on low-dimensional ...
Weiterlesen
Introduction to Machine Learning with Applications in Information Security / Mark Stamp
Provides a classroom-tested introduction to a wide variety of machine learning and deep learning algorithms and techniques, ...
Weiterlesen
Introduction to Modern Number Theory
"Introduction to Modern Number Theory" surveys from a unified point of view both the modern state and the trends of continuing ...
Weiterlesen
Introduction to the Theory of Computation / Michael Sipser
Gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with ...
Weiterlesen
Intégration : Chapitre 5 = Integration: Chapters 5
Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...
Weiterlesen
Iterative Approximation of Fixed Points
The aim of this monograph is to give a unified introductory treatment of the most important iterative methods for constructing ...
Weiterlesen
K-Theory : An Introduction
From the Preface: K-theory was introduced by A. Grothendieck in his formulation of the Riemann- Roch theorem. For each projective ...
Weiterlesen
Laplacian Eigenvectors of Graphs
Eigenvectors of graph Laplacians have not, to date, been the subject of expository articles and thus they may seem a surprising ...
Weiterlesen
Lectures on Probability Theory and Statistics
This volume contains two of the three lectures that were given at the 33rd Probability Summer School in Saint-Flour (July ...
Weiterlesen
Leveraging Applications of Formal Methods
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
Weiterlesen
Liapunov Functions and Stability in Control Theory
This book presents a modern and self-contained treatment of the Liapunov method for stability analysis, in the framework ...
Weiterlesen
