BOOKS with Alphabet D (Da, Db,Dc, Dd, De…... )

Overview: New edition of successful textbook.Authors have expanded the chapter on propositional encodings, added further modern SAT heuristics, and added a chapter on the application of SMT for software enginee.A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, co

Overview: Aktuelle Bestandsaufnahme aus zentraleuropäischer Sicht.Das umfassende Standardwerk für den deutschen Sprachraum.Includes supplementary material: Akute zerebrovaskuläre Erkrankungen - von Ärzten und Laien üblicherweise als "Schlaganfall" bezeichnet - bilden die dritthäufigste Todesursache in den industriellen Ländern und verursachen von allen Krankheitsgruppen die höchsten Folgekosten. Trotzdem fanden sie in der Vergangenheit nur wenig Beachtung, da sie häufig als letztes und nicht behandelbares schicksalshaftes Ereignis im Leben angesehen wurden. Dieses Buch stellt die im deutschen

Overview: .Didactics of Mathematics as a Scientific Discipline.describes the state of the art in a new branch of science. Startingfrom a general perspective on the didactics of mathematics, the 30original contributions to the book, drawn from 10 different countries,go on to identify certain subdisciplines and suggest an overallstructure or `topology‘ of the field..The book is divided into eight sections: (1) Preparing Mathematics forStudents; (2) Teacher Education and Research on Teaching; (3)Interaction in the Classroom; (4) Technology and MathematicsEducation; (5) Psychology of Mathematical

Overview: Psychologische Geschichten zum Erleben und Wiedererkennen typischer Denk- und Verhaltensmuster bei Konflikten in Beziehungen, im Beruf etc..Jeder "Fall" ist eingebettet in eine psychologische Deutung .Innere und äußere Konflikte bringen uns allzu oft an den Rand der Überforderung und übersteigen unsere Kräfte. Aber wie auch immer wir natürlicherweise agieren - ob konfliktscheu mit Helfersyndrom, kämpferisch mit Siegermentalität oder als Elefant mit guter Absicht im Porzellanladen - wir können Konflikte in den Griff bekommen. Ob wir nun zum sozialen, zum Ordnungsstruktur- oder zum Erk

Overview: Ein neuer philosophischer Blick auf die Natur.Naturphilosophie neu gedacht.Innovativ und wegweisendDie ökologische Krise hängt mit einem bestimmten modernen Naturverständnis zusammen, nämlich dem sogenannten mechanisierten Weltbild. Aus dieser Sicht ist die Natur ein Ensemble toter, inerter Dinge ohne Innenseite und eigene Aktivität und infolgedessen ein Inventar von Ressourcen. Die ‚Lösung’ der genannten Krise erfordert also ein neues Naturbild. Dem entsprechen rezente Anschauungen in den Natur-  und Lebenswissenschaften, die Umrisse einer dynamischen, kreativen, offenen und vielfäl

Overview: Die "Ordnung der Fiktion" spielt auf den deutschen Titel "Die Ordnung der Dinge" der wegweisenden Studie von Michel Foucault an. ..Brigitte Kaute wendet die Prämissen, Verfahren und Ergebnisse des wissenshistorischen und diskursanalytischen Denkens Foucaults konsequent auf literaturwissenschaftliche Theoriebildung an. Sie zeigt, dass die von Foucault beschriebene spezifisch historische Konfiguration des Wissens ihre strukturelle Entsprechung in den jeweiligen figurativen Arrangements der Literatur findet. Die Literatur selbst hat nicht Teil an jenemr RedeWissen, vielmehr zeigt sie in

Overview: Demonstrates new technologies for Fighting COVID-19.Presents Innovative Approaches and technologies.Exhibits recent applications of intelligent technologies on COVID-19This book is one of the first books that deal with the COVID-19 pandemic. COVID-19 pandemic has affected countries all over the world and has made a significant impact on daily life and healthcare facilities and treatment systems. The book covers the main recent emerging technologies that are related to the COVID-19 crisis. The technologies that are included in this book play a significant role in tackling COVID-19 in

Overview: A practical book covering the basic principles and practice of dialysis access management.Facilitates learning and understanding of the procedures by presenting information in a step-by-step approach..This practical book covers the basic principles and practice of dialysis access management, a crucial part of the care of patients undergoing hemodialysis. It has been written in an easy-to-read, step-by-step format to help facilitate learning and understanding of the procedures and has been supplemented with numerous operative photographs and diagrams demonstrating the commonly perform

Overview: 978-3-8255-0125-9978-3-86226-348-6Series ISSN 0177-283x

Overview: Presents research works in the field of data intelligence and cognitive informatics.Provides original works presented at ICDICI 2022 held in Tirunelveli, India.Serves as a reference for researchers anThe book is a collection of peer-reviewed best selected research papers presented at the International Conference on Data Intelligence and Cognitive Informatics (ICDICI 2021), organized by SCAD College of Engineering and Technology, Tirunelveli, India, during July 6–7, 2022. This book discusses new cognitive informatics tools, algorithms and methods that mimic the mechanisms of the human

Overview: .Das vorliegende Buch zeigt, welchen Beitrag der biographisch-personenbezogene Ansatz leisten kann, um Schülerinnen und Schüler im Politikunterricht zu demokratischer Partizipation zu befähigen und zu ermutigen. Der Schwerpunkt liegt hier im Bereich der partizipativen Intervention, wie sie etwa mit Demonstrationen oder Bürgerinitiativen unternommen werden kann...Dazu wurden Bürger interviewt, die sich in der Auseinandersetzung zu Dieselfahrbeschränkungen in Stuttgart engagiert haben. Die Studie untersucht, was Schülerinnen und Schüler an diesen biographischen Erfahrungen lernen könne

Overview: Includes supplementary material: .This book explores how dynamic changes in products‘ sensory features can be used to convey information to the user in an effective and engaging way. The aim is to supply the reader with a clear understanding of an important emerging area of research and practice in product design, referred to as dynamic products, which is opening up new possibilities for the integration of product design with digital and smart technologies and offering an alternative to the use of digital interfaces. Dynamic products are artifacts displaying sensory characteristics –

Overview: 978-94-010-6024-0978-94-011-4828-3Series ISSN 0166-9842

Overview: Helps you cut through the marketing from cybersecurity vendors to know what your organization really needs.Covers the capabilities and limitations that a cybersecurity tech gives to your security teamThe contemporary IT landscape is littered with various technologies that vendors claim will “solve” an organization’s cybersecurity challenges. These technologies are powerful and, in the right context, can be very effective. But misunderstood and misused, they either do not provide effective protection or do not protect the right things. This results in unnecessary expenditures, false b

Overview: Offers a systematic exploration into the newest research and practice-based knowledge.Provides a uniquely accessible orientation and overview of global state-of-the-art research and best practices.Off.The book provides new perspectives from leading researchers accentuating and examining the central role of the built environment in conceiving and implementing multifaceted solutions to the complex challenges of physical and mental health, revealing critical potentials for architecture and design to contribute in more informed and long-term ways to the urgent transition of our society.

Overview: Over the past few years there have been considerable advances in our understanding of the normal development of vision and in our ability to detect and meaSl1re visual impairment in early childhood. It was appropriate, therefore, that a workshop, sponsored by the European Communities, should be held on the ‘Detection and Measurement of Visual Impairment in Pre-verbal Children.‘ This workshop, which was held at the Institute of Ophthalmology, London, between 1 and 3 April 1985, brought together visual physiologists and ophthalmologists who exchanged and discussed ideas of mutual inter

Overview: Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.978-3-7091-9650-2978-3-7091-9897-1

Overview: 978-3-540-02142-1978-3-642-86285-4

Overview: Soziologie als Systemtheorie - eine für jedermann verständliche VorlesungWas ist das Besondere an Vorlesungen? Dreierlei mindestens! Einmal lassen Sie die Freiheit zum speku­ lativen Spiel, zur Abbreviatur, zum Ornament, zur Riskanz, zum Neben- und Randweg, der vielleicht in fruchtbare Wirrnisse führt. Dann zwingen sie zu weitgehender Anschaulichkeit, zu Beispie­ len, die die Probleme auf den Punkt bringen oder in dieser Hin­ sicht wunder- und wirkungsvoll verunglücken können. Schließ­ lich finden sie statt unter der Bedingung der Anwesenheit von Studierenden, und das heißt: Sie dürf

Overview: Covers many important aspects of experimental design, especially as it relates to unpredictable models and data sets.Special section on small samples sizes and missing/truncated and imputed data.Provi.Design of Experiments in Nonlinear Models: Asymptotic Normality, Optimality Criteria and Small-Sample Properties. provides a comprehensive coverage of the various aspects of experimental design for nonlinear models. The book contains original contributions to the theory of optimal experiments that will interest students and researchers in the field. Practitionners motivated by applicati