wyszukanych pozycji: 6
Guaranteed Verification of Dynamic Systems
ISBN: 9783731509653 / Angielski / Miękka / 216 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arithmetic to enclose the measurement in a bounded error sense. The developed methods are proven mathematically to provide a reliable verification for a wide class of safety critical systems.
This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free ...
|
|
cena:
257,29 zł |
Neurointensiv
ISBN: 9783662464991 / Niemiecki / Twarda / 2015 / 870 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. In diesem Nachschlagewerk finden Sie als Intensivmediziner auf einer neurologischen oder neurochirurgischen Intensivstation das spezielle intensivmedizinischen zur Versorgung Ihrer Patienten: Neuroprotektion, Neuromonitoring sowie die Prinzipien der Diagnostik und Therapie spezieller neurologischer Krankheitsbilder sind systematisch und praxisnah beschrieben sowie wissenschaftlich fundiert dargestellt. Die 3. Auflage wurde komplett aktualisiert und um die Themen Dysphagiemanagement sowie PRES, RCVS erweitert. Das erfahrene und interdisziplinare Herausgeberteam aus Neurologen,... In diesem Nachschlagewerk finden Sie als Intensivmediziner auf einer neurologischen oder neurochirurgischen Intensivstation das spezielle intensivm... |
|
cena:
572,48 zł |
Die Geschichte von Mo
ISBN: 9783702240455 / Niemiecki / Twarda / 2022 / 26 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Wer sagt, dass du deine Geschichte nicht ändern kannst?
Der Alltag als Gewohnheitstier gibt in seiner Gleichförmigkeit Sicherheit - die Wege sind bekannt, die Schritte eingeübt, die Begegnungen vorhersehbar. Und doch hindert einen im Grunde nichts, daran etwas zu ändern. Das Mädchen Mo wagt diesen Schritt, entdeckt eines Tages auf ihrem üblichen Weg zum Dorf am Boden ein Schneckenhaus. Will darin die Meereswellen rauschen hören, hört stattdessen eine Stimme, bekommt von ihr die Aufforderung, doch gleich direkt zum Meer zu gehen. Mo zögert, der Weg ist weit - aber die... Wer sagt, dass du deine Geschichte nicht ändern kannst?
Der Alltag als Gewohnheitstier gibt in seiner Gleichförmigkeit Sicherheit - die Wege ... |
|
cena:
76,36 zł |
Boundary Element Methods
ISBN: 9783540680925 / Angielski / Twarda / 2010 / 561 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This work presents a thorough treatment of boundary element methods (BEM) for solving strongly elliptic boundary integral equations obtained from boundary reduction of elliptic boundary value problems in $mathbb DEGREES3$. The book is self-contained, the prerequisites on elliptic partial differential and integral equations being presented in Chapters 2 and 3. The main focus is on the development, analysis, and implementation of Galerkin boundary element methods, which is one of the most flexible and robust numerical discretization methods for integral equations. For the efficient...
This work presents a thorough treatment of boundary element methods (BEM) for solving strongly elliptic boundary integral equations obtained from boun...
|
|
cena:
535,99 zł |
Critical Care of the Stroke Patient
ISBN: 9780521762564 / Angielski / Twarda / 2014 / 564 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. New and groundbreaking therapeutic options for the critical care of patients with cerebrovascular disease have improved patient management, minimized morbidity, reduced in-patient care, improved quality of life, and had a positive economic impact on health service provision. This volume integrates these approaches and suggests the best therapy option for all cerebrovascular conditions. The early chapters of the book focus on monitoring techniques and interventions. Subsequent sections address the critical care of a wide range of cerebrovascular diseases: ischemic stroke, intracranial...
New and groundbreaking therapeutic options for the critical care of patients with cerebrovascular disease have improved patient management, minimized ...
|
|
cena:
447,04 zł |
Boundary Element Methods
ISBN: 9783642265747 / Angielski / Miękka / 2013 / 561 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This work presents a thorough treatment of boundary element methods (BEM) for solving strongly elliptic boundary integral equations obtained from boundary reduction of elliptic boundary value problems in $mathbb DEGREES3$. The book is self-contained, the prerequisites on elliptic partial differential and integral equations being presented in Chapters 2 and 3. The main focus is on the development, analysis, and implementation of Galerkin boundary element methods, which is one of the most flexible and robust numerical discretization methods for integral equations. For the efficient...
This work presents a thorough treatment of boundary element methods (BEM) for solving strongly elliptic boundary integral equations obtained from boun...
|
|
cena:
535,99 zł |