<div class="raw-html-embed"> Action newsletter : Abonnez-vous dès maintenant à notre newsletter et bénéficiez de 10 % de réduction sur vos commandes en ligne jusqu’au 8 août 2025. <a href="/fr/newsletter">Infos et inscription.</a></div>

NL_Doormat: Hintergrundfarbe des Newsletter Banners unten in der Doormat. Mit # eingeben z.B. #1405BE

NL_Doormat: Verlinkung zur Newsletter Seite

Über uns

À propos de nous

Zahlung und Lieferung

Paiement et livraison

Nachhaltigkeit

Durabilité

Open Access

Datenschutz

Protection des données

Karriere

Carrière

Impressum

Mentions légales

LEXIA

LEXIA Arbeitsrecht

Was ist LEXIA?

C'est quoi LEXIA ?

LEXIA Familienrecht

Zeitschriften

Revues

recht

Pflegerecht

ZBJV

forumpoenale

ZStrR

Anwaltsrevue

Revue de l'avocat

RSAS

FamPra.ch

ASYL

Life Science Recht

BlAR

Sachbuch

Livres spécialisés

LOKI

Semaphor

Fokusthemen

Focus

Thema

Recht studieren

Arbeitsrecht

Droit du travail

Studium

Études

Familienrecht

Droit de la famille

Sozialversicherungsrecht

Droit des assurances sociales

Strafrecht

Droit pénal

Publikationen

Publications

Literatur

Onlinemodule LEXIA

Modules en ligne LEXIA

Bücher

Livres

Buchreihen

Collections

Datenbanken

recht.ch

Studienliteratur

Littérature pour les études

Services

Dienstleistungen für

Corporate Books

Publishing Lösungen

Aktuelles

Geschäftskunden

Professionnels

Corporate Publishing

Content solutions

Buchhandlungen

Librairies

Veranstaltungen

Événements

Presse

Dozierende

Enseignants

Studierende

Étudiants

Inserierende

Annonceurs

Newsletter

Blog

Autorinnen/Autoren

Auteurs

Unsere Schreibenden

Hilfe

Unsere Autorinnen und Autoren

Liste

Autorenlounge

Espace des auteurs

Bei uns publizieren

Publier chez nous

Autorenstimmen

Témoignages

Verlag

Éditions

Themen

Mehr wissen

Mitarbeitende

Collaborateurs

Geschichte

Histoire

Vision und Mission

Vision et mission

Unser Magazin

Notre magazine

Unternehmenskultur

Culture d'entreprise

Partner

Partenaires

Kontakt

Contact

Shop

Schweizer Recht

Ausländisches Recht

Über unseren Shop

Neuerscheinungen

Nouveautés

Sortiment und Funktionen

Assortiment et recherche

Vorankündigungen

À paraître

Nach Rechtsgebiet

Par domaine juridique

Kommentare

Commentaires

hep Verlag: Spezialangebot «Formeln» und
«Algebra»

Spezialangebot «Formeln» und «Algebra»

Calculus for the Curious

Lambacher Schweizer Mathematik. Ausgabe für Rheinland-Pfalz ab 2021

Arbeitsheft mit Lösungen und Mediensammlung Klasse 10

Lambacher Schweizer Mathematik 10. Ausgabe Rheinland-Pfalz

This surprisingly accessible book uses key math concepts and more than 500 short exercises to teach functional programming to experienced coders. Functional programming is a coding paradigm that emphasizes functions, repeatable computations that take input data and produce corresponding outputs. Functions are also important concepts in math, and a lot of deep mathematical insights shed light on functional computer programming. In this book, the author uses functional programming to introduce mathematical concepts – most notably set theory, abstract algebra, and category theory – and in turn uses that math to describe functional programming design patterns. The more than 500 short programming exercises included in the book will help you master functional programming and math skills alike, with code examples presented in the F# language.

Explore Set Theory, Abstract Algebra, and Category Theory with Functional Programming

The Book of Functions

Schulbuch mit Medien Klassen 10-12 oder 11-13

Lambacher Schweizer Mathematik Oberstufe mit MMS/CAS. Analysis

Science Networks. Historical Studies

Volume II: J-Z

A Historical Dictionary of Mathematical Terms

Volume I: A-I

De Gruyter Textbook

Engineering Mechanics is one of the fundamental branches of science which is important to educate professional engineers of any major. Most of the basic engineering courses, such as mechanics of materials, fluid and gas mechanics, machine design, mechatronics, acoustics and vibrations, etc. are based on Engineering Mechanics course. In order to absorb the materials of Engineering Mechanics, it is not enough to consume just a theoretical laws and theorems. A student also must develop an ability to solve practical problems. Therefore, it is necessary to solve many problems independently. The offered series of books are supplement to the Engineering Mechanics course in learning and applying the principles required to solve practical engineering problems in following branches of Mechanics: Statics, Kinematics, Dynamics and Advanced Kinetics. Each book contains several (between 6 and 8) topics of the branch. Each topic has 30 problems to be assigned as homework, tests and midterm/final exams with the consent of the instructor. A solution of one similar sample problem from each topic is provided. The first book contains 7 topics of the Statics, which is the branch of mechanics that is concerned with the analysis of forces acting on construction systems that without an acceleration (a state of the static equilibrium). The book is targeting the undergraduate students of the sophomore/junior level majoring in science and engineering. The author acknowledges that this work is essentially a translation and a revision of selected problems provided by Professor A. A. Yablonski ("Collection of Problems for Course Projects in Theoretical Mechanics, "Vischaya Shkola" Publ., 2nd ed., 1972, in Russian). The author intended to introduce this unique work to the western academia, which is the product of material covered by him in many classes over a period of four decades in a number of universities and colleges.

Problems and Solutions in Statics

Mechanical Engineering: Practical Problems

Annals of Mathematics Studies

A comprehensive new theory of adelic line bundles on quasi-projective varieties over finitely generated fields This book introduces a comprehensive theory of adelic line bundles on quasi-projective varieties over finitely generated fields, developed in both geometric and arithmetic contexts. In the geometric setting, adelic line bundles are defined as limits of line bundles on projective compactifications under the boundary topology. In the arithmetic setting, they are defined as limits of Hermitian line bundles on projective arithmetic compactifications, also under the boundary topology. After establishing these foundational definitions, the book uses the theory to explore key concepts such as intersection theory, effective sections, volumes, and positivity of adelic line bundles. It also applies these results to study height functions of algebraic points and prove an equidistribution theorem on quasi-projective varieties. This theory has broad applications in the study of numerical, dynamical, and Diophantine properties of moduli spaces, quasi-projective varieties, and varieties over finitely generated fields.

Adelic Line Bundles on Quasi-projective Varieties

This textbook presents an introduction to continuum mechanics covering fundamental mathematical tools, general laws and major models. The material is based on lectures held at Gubkin's Russian State University of Oil and Gas. It also includes material related to a joint research seminar with the Institute of Problems in Mechanics of the Russian Academy of Science. The knowledge provided is necessary to understand the structure of existing models, to read and understand the literature and to apply existing methods consciously. Results from computer simulations of virtual models of oil-gas-production are presented to illustrate applications.&nbsp;Graduate students as well as researchers in applied mathematics will benefit from this self-contained text which is enriched by many examples and exercises.
&nbsp;

With Applications to Oil and Gas Development

Introduction to Continuum Mechanics

Computer Science Foundations and Applied Logic

Since their beginnings in the 1960s, proof assistants (also called interactive theorem provers) have grown to become essential tools to establish the correctness of hardware and software and to computerize mathematical theories.Specifically, proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking. Today these programs are used to verify microprocessor designs, operating systems, compilers, and cryptographic protocols—as well as landmark results in mathematics such as the odd order theorem in finite group theory and the Kepler conjecture about sphere packing. Contemporary proof assistants rely on a sophisticated interaction between theoretical investigations in metamathematics and the efficient implementation of a portfolio of algorithms. This volume is designed to be an introduction to these fascinating topics.Topics and features:<ul><li>Guides the reader through decades of research into designing and using proof assistants</li><li>Provides convenient, appropriate citations for the proof assistants’ underlying logical formalisms, architectures, and applications</li><li>Grounds the exposition by starting with key topics that are treated across all relevant logical foundations and systems, in a system-agnostic and logic-ecumenical way</li><li>Builds on those core topics in the second part, which is dedicated to a gallery of achievements in mathematics and computer science</li></ul>This unique volume is designed to serve as a useful resource both for early or more established researchers in interactive theorem proving and for researchers in mathematics, computer science, and philosophy—as well as for engineers who want to use proof assistants.The volume is edited by Jasmin Blanchette, professor at the Ludwig-Maximilians-Universität München, Germany, and Assia Mahboubi, senior researcher at Inria, France, and endowed professor at the Vrije Universiteit Amsterdam, the Netherlands.

Spezialangebot «Formeln» und «Algebra»

Informations bibliographiques

Mots-clés

Informations bibliographiques

Mots-clés

Autres titres sur ce thème