This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International ...
Weiterlesen
Mathematics is presented in a thorough and rigorous manner offering a detailed explanation of each topic, with applications ...
Weiterlesen
This book is about the results of a number of projects funded by the BMBF in the initiative "Mathematics for Innovations ...
Weiterlesen
The 2006 Abel symposium is focusing on contemporary research involving interaction between computer science, computational ...
Weiterlesen
This book presents the mathematical foundations of systems theory in a self-contained, comprehensive, detailed and mathematically ...
Weiterlesen
In thirteen chapters you will rediscover - and hopefully discover for the first time a new way of understanding - the mathematical ...
Weiterlesen
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
Weiterlesen
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Weiterlesen
Constitutes the refereed proceedings of the 11th IMA International Conference on the Mathematics of Surfaces, held in Loughborough, ...
Weiterlesen
This book constitutes the refereed proceedings of the 12th IMA International Conference on the Mathematics of Surfaces, held ...
Weiterlesen
Multigrid methods are often used for solving partial differential equations. This book introduces and analyzes the multigrid ...
Weiterlesen
Divided into three parts, ‘Quality in Software’ looks at how using development tools can enhance usability of a system, ...
Weiterlesen
This book provides a thorough treatment of the theory of stochastic max-plus linear systems. Max-plus algebra is an algebraic ...
Weiterlesen
The importance of demonstrating the value achieved from IT investments is long established in the Computer Science (CS) and ...
Weiterlesen
This textbook makes use of the popular computer program MATLAB as the major computer tool to study Mechanics of Composite ...
Weiterlesen
Written by the leading experts with both profound knowledge and rich practical experience in advanced mechanics and microelectronics ...
Weiterlesen
Constitute the refereed proceedings of the First International Work-Conference on the Interplay between Natural and Artificial ...
Weiterlesen
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Weiterlesen
This book explores the latest data dealing with mechanosensitive channels research results. It was compiled by a group of ...
Weiterlesen
The last half century has seen the development of many biological or physical theories that have explicitly or implicitly ...
Weiterlesen