Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Mathematical logic --- Electronic digital computers --- Debugging in computer science --- Programmation des ordinateurs --- Débogage --- Programming --- Programmation (mathématiques) --- Ordinateurs --- Informatique --- Calculs numériques --- Programmation --- Mathématiques --- Computer programming --- #TCPW:boek --- 681.3*F11 --- 681.3*F41 --- Computer programs --- Troubleshooting in computer science --- Data editing --- Electronic data processing --- Computers --- Electronic computer programming --- Programming (Electronic computers) --- Coding theory --- Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Debugging --- Testing --- Computer programming. --- Debugging in computer science. --- 681.3*F11 Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Débogage --- Software failures --- Débogage. --- Calculs numériques. --- Programmation. --- Mathématiques. --- Turing machines --- Turing, Machines de --- Logiciels --- Verification --- Vérification --- Programmation (mathématiques) --- Calculs numériques --- Computer science. --- Turing machines. --- Logique mathématique --- Mathématiques --- Vérification. --- Electronic digital computers - Programming --- Logique mathematique --- Automates abstraits --- Logique des prédicats --- Calculabilite --- Automates finis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Drawing on hitherto neglected archival materials, Zohar Segev sheds new light on the policy of the World Jewish Congress (WJC) during the Holocaust. Contrary to popular belief, he can show that there was an impressive system of previously unknown rescue efforts. Even more so, there is evidence for an alternative pattern for modern Jewish existence in the thinking and policy of the World Jewish Congress. WJC leaders supported the establishment of a Jewish state in Palestine but did not see it as an end in itself. They strove to establish a Jewish state and to rehabilitate Diaspora Jewish life, two goals they saw as mutually complementary. The efforts of the WJC are put into the context of the serious difficulties facing the American Jewish community and its representative institutions during and after the war, as they tried to act as an ethnic minority within American society.

World War, 1939-1945 --- Jews --- Zionism --- Rescue --- Politics and government --- History --- World Jewish Congress --- Holocaust, Jewish (1939-1945) --- Rescue. --- Political activity --- Hebrews --- Israelites --- Jewish people --- Jewry --- Judaic people --- Judaists --- Rescue of Jews, 1939-1945 --- Catastrophe, Jewish (1939-1945) --- Destruction of the Jews (1939-1945) --- Extermination, Jewish (1939-1945) --- Holocaust, Nazi --- Ḥurban (1939-1945) --- Ḥurbn (1939-1945) --- Jewish Catastrophe (1939-1945) --- Jewish Holocaust (1939-1945) --- Nazi Holocaust --- Nazi persecution of Jews --- Shoʾah (1939-1945) --- Rescue, 1939-1945 --- Nazi persecution --- Congrès juif mondial --- Jüdischer Weltkongress --- Jewish World Congress --- Congresso mondiale ebraico --- Congresul Mondial Evreesc --- Yidisher ṿelṭ-ḳongres --- CJM --- Congreso Judío Mundial --- Ḳongres ha-Yehudi ha-ʻolami --- Vsemirnyĭ evreĭskiĭ kongress --- WJC --- יידישער וועלט־כאנגרעס --- יידישער וועלט־קאנגרעס. --- יידישער וועלט-קאנגרעס --- יידישער װעלט־קאנגרעס --- קונגרס היהודי העולמי --- World Jewish Congress. --- Ethnology --- Religious adherents --- Semites --- Judaism --- Righteous Gentiles in the Holocaust --- Genocide --- Kindertransports (Rescue operations) --- Persecutions --- Atrocities --- Jewish resistance --- Political activity. --- Holocaust, Jewish (1939-1945). --- Holocaust. --- Jewish Organizations. --- Holocaust, Nazi (Jewish Holocaust) --- Nazi Holocaust (Jewish Holocaust) --- Nazi persecution (1939-1945)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This introductory and self-contained book gathers as much explicit mathematical results on the linear-elastic and heat-conduction  solutions in the neighborhood of singular points in two-dimensional domains, and  singular edges and vertices in three-dimensional domains. These are presented in an  engineering terminology for practical usage. The author treats the mathematical   formulations from an engineering viewpoint and presents high-order finite-element  methods for the computation of singular solutions in isotropic and anisotropic materials,  and multi-material interfaces.  The proper interpretation of the results in engineering practice  is advocated, so that the computed data can be correlated to experimental observations.   The book is divided into fourteen chapters, each containing several sections. Most of it (the first nine Chapters) addresses two-dimensional domains, where only singular points exist. The solution in a vicinity of these points admits an asymptotic expansion composed of eigenpairs and associated generalized flux/stress intensity factors (GFIFs/GSIFs), which are being computed analytically when possible or by finite element methods otherwise. Singular points associated with weakly coupled thermoelasticity in the vicinity of singularities are also addressed and thermal GSIFs are computed. The computed data is important in engineering practice for predicting failure initiation in brittle materials on a daily basis.  Several failure laws for two-dimensional domains with V-notches are presented and their validity is examined by comparison to experimental observations. A sufficient simple and reliable condition for predicting failure initiation (crack formation) in micron level electronic devices, involving singular points, is still a topic of active research and interest, and is addressed herein.   Explicit singular solutions in the vicinity of vertices and edges in three-dimensional domains are provided in the remaining five chapters. New methods for the computation of generalized edge flux/stress intensity functions along  singular edges are presented and demonstrated by several example  problems from the field of fracture mechanics; including anisotropic domains and bimaterial interfaces. Circular edges are also presented and the author concludes with  some remarks on open questions. This well illustrated book will appeal to both applied  mathematicians and engineers working in the field of fracture mechanics and  singularities.

Boundary value problems. --- Singularities (Mathematics). --- Singularities (Mathematics) --- Boundary value problems --- Mathematics --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Mathematics - General --- Calculus --- Applied Physics --- Differential equations, Elliptic. --- Elasticity. --- Elastic properties --- Young's modulus --- Elliptic differential equations --- Elliptic partial differential equations --- Linear elliptic differential equations --- Boundary conditions (Differential equations) --- Mathematics. --- Computer mathematics. --- Applied mathematics. --- Engineering mathematics. --- Mechanics. --- Mechanics, Applied. --- Computational Mathematics and Numerical Analysis. --- Theoretical and Applied Mechanics. --- Appl.Mathematics/Computational Methods of Engineering. --- Mathematical physics --- Matter --- Statics --- Rheology --- Strains and stresses --- Strength of materials --- Geometry, Algebraic --- Differential equations, Linear --- Differential equations, Partial --- Differential equations --- Functions of complex variables --- Initial value problems --- Properties --- Computer science --- Mechanics, applied. --- Mathematical and Computational Engineering. --- Engineering --- Engineering analysis --- Mathematical analysis --- Applied mechanics --- Engineering, Mechanical --- Engineering mathematics --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Classical mechanics --- Newtonian mechanics --- Physics --- Dynamics --- Quantum theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is at once a deeply learned and original reading of Heidegger and a primary text in its own right. It demonstrates the relevance of Heidegger’s thought in responding to the moral and religious challenges of 21st century existence. It shows that Heidegger’s project can be defended against many criticisms once its existential character is taken seriously. What emerges is a powerful exercise in thinking, not about Heidegger, but with and against him. As such, Atkins engages Heidegger as a means of advancing a defense of spirituality in the modern world that holds spirituality itself accountable for its lapses into the mundane. Addressing the most influential figures in recent Continental philosophy, such as Emmanuel Levinas and Theodor W. Adorno, this is a work that will be of timely use to philosophers, theologians, artists, and seekers.

Philosophy, French --- National socialism. --- Nazism --- Authoritarianism --- Fascism --- Nazis --- Neo-Nazism --- Totalitarianism --- World War, 1939-1945 --- Causes --- Heidegger, Martin, --- Influence. --- France --- Intellectual life --- Continental Philosophy. --- Theology. --- World War, 1939-1945. --- Christian Theology. --- History of World War II and the Holocaust. --- European War, 1939-1945 --- Second World War, 1939-1945 --- World War 2, 1939-1945 --- World War II, 1939-1945 --- World War Two, 1939-1945 --- WW II (World War, 1939-1945) --- WWII (World War, 1939-1945) --- History, Modern --- Christian theology --- Theology --- Theology, Christian --- Christianity --- Religion --- Philosophy, Continental --- Philosophy, Modern

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Children's literature --- Children --- 82-93 --- 82-93 Kinderliteratuur. Jeugdliteratuur --- Kinderliteratuur. Jeugdliteratuur --- Books and reading for children --- Reading interests of children --- History and criticism --- Books and reading --- Didactic strategies --- Children's literature. Juvenile literature --- Literature