Springer London Ltd Forlag
-
Specification of Software Systems (Bog, Hardback, Engelsk)
Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Semilinear Elliptic Equations for Beginners: Existence Results via the Variational Approach (Bog, Paperback / softback, Engelsk)
Semilinear elliptic equations are of fundamental importance for the study of geometry, physics, mechanics, engineering and life sciences. Additionally, some of the simplest variational methods are evolving as classical tools in the field of nonlinear differential equations.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Stabilization of Navier–Stokes Flows (Bog, Hardback, Engelsk)
Stabilization of Navier–Stokes Flows presents recent notable progress in the mathematical theory of stabilization of Newtonian fluid flows.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Positive 1d and 2d Systems (Bog, Hardback, Engelsk)
Demand for Randomized Algorithms for Analysis and Control of Uncertain Systems comes from control engineers who wish to apply more workable methods to a variety of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Systems Engineering for Business Process Change: New Directions - Collected Papers from the EPSRC Research Programme (Bog, Hardback, Engelsk)
A collection of papers resulting from an EPSRC managed research programme set up to investigate the relationships between Legacy IT Systems and Business Processes, this volume reports the results from the projects funded by the programme, which ran between 1997 and 2001.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
The Mathematics of Surfaces IX: Proceedings of the Ninth IMA Conference on the Mathematics of Surfaces (Bog, Hardback, Engelsk)
This text contains the proceedings of the Ninth Mathematics of Surfaces Conference held in... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Systems Engineering for Business Process Change: Collected Papers from the EPSRC Research Programme (Bog, Hardback, Engelsk)
This work brings together in one volume the two areas of legacy systems and business processes. The research discussed has arisen from the EPSRC research programme on Systems Engineering for Business Process Change, and the book contains contributions from experts in the field.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Applications in Near Net-shape Operations (Bog, Hardback, Engelsk)
Addresses the design, analysis and simulation of near net-shape operations using some of the most advanced computer techniques/tools available. The... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Definitions for Hardware and Software Safety Engineers (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Topics in Control and Its Applications: A Tribute to Edward J.Davison (Bog, Hardback, Engelsk)
This work comprises the proceedings of the Recent Developments in Control Theory and Applications Workshop, held in Toronto, Canada,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Price-based Commitment Decisions in the Electricity Market (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Inheritance Relationships for Disciplined Software Construction (Bog, Hardback, Engelsk)
Introduces a model of inheritance based around five fundamental inheritance relationships. Each relationship has a conceptual basis,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
