self  (25.162 Angebote unter 29.318.583 Artikeln)

This monograph is a comprehensive account of formal matrices, examining homological properties of modules over formal matrix rings and summarising the interplay between Morita contexts and K theory...

This book reports on the latest advances in concepts and further development of principal component analysis (PCA), discussing in detail a number of open problems related to dimensional reduction t...

Kompatibel mit Pasonomi 1,91 Mit der BROTECT Flex Matte Full-Cover Displayschutzfolie erhältst du den perfekten Rundumschutz für dein gewölbtes Display. Passgenauer Rundumschutz Die BROTECT Flex Ma...

While feminists have long recognised the importance of self-managed, alternative media to transport their messages, to challenge the status quo, and to spin novel social processes, this topic has b...

Kompatibel mit PeakTech P 3435 Mit der BROTECT Flex Matte Full-Cover Displayschutzfolie erhältst du den perfekten Rundumschutz für dein gewölbtes Display. Passgenauer Rundumschutz Die BROTECT Flex ...

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstr...

Kompatibel mit Pebble Time Steel Mit der BROTECT Flex Matte Full-Cover Displayschutzfolie erhältst du den perfekten Rundumschutz für dein gewölbtes Display. Passgenauer Rundumschutz Die BROTECT Fle...

Formal approaches are those taken by government bodies through laws, court decisions and actions of government regulatory bodies. Informal approaches are those taken by individuals, non profit orga...

Using the nano metric resolution of atomic force microscopy techniques, this work explores the rich fundamental physics and novel functionalities of domain walls in ferroelectric materials, the nan...

This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems,...

Keynote Talk.- Lifting Reference Monitors from the Kernel.- Invited Talks I.- Authenticity Types for Cryptographic Protocols.- Verifying the SET Protocol: Overview.- Protocol Verification.- Interac...

This volume is a collection of previously unpublished papers dealing with the neglected "phenomenological" dimension of the philosophy of Johann Gottlieb Fichte, which it compares and contrasts to ...

provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectivel...

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers pre...

A comprehensive device model considering both spatial distributions of the terahertz field and the field-effect self-mixing factor has been constructed for the first time in the thesis. The author ...