<div class="raw-html-embed"><i class="fa-solid fa-info"></i> Kennen Sie schon unseren <b>Geschäftskundenservice? </b><u><a href="/fuer-geschaeftskunden">Wir beraten Sie gerne</a></u>.</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

Petricek Tomas: Cultures of Programming

Cultures of Programming

The Development of Programming Concepts and Methodologies


<p>
</p><p>This book covers computational group theory (CGT), an active, rapidly expanding field at the interface of mathematics and computer science. It is the first systematic effort to establish computing with infinite matrix groups on the same footing as the rest of CGT. The book emphasizes practical methods based on results of linear group theory, solutions of fundamental algorithmic problems, and provision of software. Additionally, the book sets out a research program to make further progress in the area.</p><p></p>


<p>This book covers computational group theory (CGT), an active, rapidly expanding field at the interface of mathematics and computer science. It is the first systematic effort to establish computing with infinite matrix groups on the same footing as the rest of CGT. The book emphasizes practical methods based on results of linear group theory, solutions of fundamental algorithmic problems, and provision of software. Additionally, the book sets out a research program to make further progress in the area.</p>

Linear Groups and Computation

The Rational Use of Cognitive Resources

Lecture Notes in Computer Science

Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1

Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing

Learn How to Code through Interactive Examples

Python Practice Lab

Chapman & Hall/CRC Studies in Informatics Series


<p>
</p><p>Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers decision procedures for certain theories and includes real-world applications. Along with the relevant theory, each chapter contains implementation methods, historical background, suggestions for further reading, and software. Supplemental materials and resources are provided on the book's website and a solutions manual is available for qualifying instructors. </p><p></p>


<p>Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers decision procedures for certain theories and includes real-world applications. Along with the relevant theory, each chapter contains implementation methods, historical background, suggestions for further reading, and software. Supplemental materials and resources are provided on the book’s website and a solutions manual is available for qualifying instructors. </p>

Automation of Logic


<p>
<b>An essential companion to <i>The Rust Programming Language, 2nd Edition</i>, offering targeted exercises to enhance beginners' skills in reading and writing Rust code.</b><br><br><i>The Rust Programming Language Workbook</i> provides short coding exercises inspired by the rustlings project and organized by topic. The workbook starts with concepts common to many programming languages today like variables, data types, and functions then moves on to important Rust concepts like move semantics, structs, and enums. Short introductions of the concepts are followed by exercises that are intentionally broken. Readers need to change the code or add code to fix each exercise. The workbook also provides hints and example solutions to help beginners get unstuck.</p>


The Rust Programming Language Workbook

The Brain, In Theory

A New Science of Imagination

The Shape of Things Unseen


<p>
</p><div>This open access handbook is a major reference work in the field of Military Sciences. Its main purpose is to inform and enlighten those dealing with the military on the role and contributions of science in describing, understanding and explaining military life, knowledge and doings. The handbook provides a comprehensive thematic introduction to various sub-fields of Military Sciences.
</div><div><div>
</div><div>The handbook serves a broad audience in various capacities; academics studying the military and the broader defense and security sector, students at military and civilian schools preparing for service in the military, the government or other occupations with linkage to the military, professionals in the armed forces, decision makers in government, contractors who work alongside the military, NGOs whose work is influenced by military operations, journalists who write on matters concerning the sphere of the military or others with a particular interest towards the military as a phenomenon, organization or system of various kinds.</div><div>
</div><div>About the Section Editors</div><div><div>Lt. Col. Dr. Anders McD Sookermany, Norwegian Defence University College, Oslo, Norway (Section: Philosophy of Military Sciences)</div><div>Lt. Col. Dr. Harald Høiback, Norwegian Armed Forces Museums, Oslo, Norway (Section: Military Operations)
</div><div>Dr. Niels Bo Poulsen, Royal Danish Defence College, Copenhagen, Denmark (Section: Military History)</div><div>Prof. Dr. Patricia M. Shields, Texas State University, San Marcos, USA (Section: Military and Society)</div><div>Dr. Carsten F. Rønnfeldt, Norwegian Defence University College, Oslo, Norway (Section: International Relations and the Military)</div><div>Associate Professor David Last, Royal Military College of Canada, Canada (Section: Military Profession)</div><div>Dr. Irina Goldenberg, Canadian Department of National Defence, Nepean, Canada (Section: Military Behavioural Sciences)</div><div>Dr. Michael Holenweger, Military Academy at ETH Zurich, Zurich, Switzerland (Section: Military Leadership)</div><div>Prof. Dr. Martin Elbe, Zentrum für Militärgeschichte und Sozialwissenschaften der Bundeswehr, Potsdam, Germany (Section: Military Leadership)</div><div>Franz Kernic, MILAC at ETH Zurich, Zurich, Switzerland (Section: Military Leadership)</div><div>Joseph Soeters, Tilburg University, Tilburg, The Netherlands (Section: Military Management, Economics and Logistics)</div>Prof Margaret Kosal, Georgia Institute of Technology, Atlanta, USA (Section: Military Technology)<div>Dr. Ben Zweibelson, Joint Special Operations University, Tampa, USA (Section: Military Design)</div><div>Ms. Aubrey Poe (Section: Military Design)</div><div>
</div><p></p>
</div></div>

This open access handbook is&nbsp;a major reference work in the field of Military Sciences. Its main purpose is to inform and enlighten those dealing with the military on the role and contributions of science in describing, understanding and explaining military life, knowledge and doings. The handbook provides a comprehensive thematic introduction to various sub-fields of Military Sciences.

&nbsp;
The handbook serves a broad audience in various capacities; academics studying the military and the broader defense and security sector, students at military and civilian schools preparing for service in the military, the government or other occupations with linkage to the military, professionals in the armed forces, decision makers in government, contractors who work alongside the military, NGOs whose work is influenced by military operations, journalists who write on matters concerning the sphere of the military or others with a particular interest towards the military as a phenomenon, organization or system of various kinds.

&nbsp;
<strong>About the Section Editors</strong><br><strong>Lt. Col. Dr. Anders McD Sookermany</strong>, Norwegian Defence University College, Oslo, Norway (Section: Philosophy of Military Sciences)<br><strong>Lt. Col. Dr. Harald Høiback</strong>, Norwegian Armed Forces Museums, Oslo, Norway (Section: Military Operations)<br><strong>Dr. Niels Bo Poulsen</strong>, Royal Danish Defence College, Copenhagen, Denmark (Section: Military History)<br><strong>Prof. Dr. Patricia M. Shields</strong>, Texas State University, San Marcos, USA (Section: Military and Society)<br><strong>Dr. Carsten F. Rønnfeldt</strong>, Norwegian Defence University College, Oslo, Norway (Section: International Relations and the Military)<br><strong>Dr. Irina Goldenberg</strong>, Canadian Department of National Defence, Nepean, Canada (Section: Military Behavioural Sciences)<br><strong>Dr. Michael Holenweger</strong>, Military Academy at ETH Zurich, Zurich, Switzerland (Section: Military Leadership)<br><strong>Prof. Dr. Martin Elbe</strong>, Zentrum für Militärgeschichte und Sozialwissenschaften der Bundeswehr, Potsdam, Germany (Section: Military Leadership)<br><strong>Franz Kernic</strong>, MILAC at ETH Zurich, Zurich, Switzerland (Section: Military Leadership)<br><strong>Joseph Soeters</strong>, Tilburg University, Tilburg, The Netherlands (Section: Military Management, Economics and Logistics)<br><strong>Dr. Ben Zweibelson</strong>, Joint Special Operations University, Tampa, USA (Section: Military Design)<br><strong>Ms. Aubrey Poe</strong> (Section: Military Design)

Handbook of Military Sciences

"International Perspectives on Science, Culture and Society"


<p>
The book addresses new challenges to garbage collection made by recent advances in hardware and software. It explores the consequences of these changes for designers and implementers of high performance garbage collectors</p>


The book addresses new challenges to garbage collection made by recent advances in hardware and software. It explores the consequences of these changes for designers and implementers of high performance garbage collectors

The Art of Automatic Memory Management

The Garbage Collection Handbook

Shortest Histories

The Shortest History of AI


<p>
A free ebook version of this title is available through Luminos, University of California Press's Open Access publishing program. Visit www.luminosoa.org to learn more.    What if we could start over and build the internet from scratch? How could it be rebuilt or reimagined as more equitable and just? For more than eight years, Britt S. Paris investigated alternative internet infrastructure projects, conducting interviews, site visits, and policy analysis. In this expansive and interdisciplinary study, Paris critically examines the myriad and contradictory promises, utility, and obstacles to building a completely new internet.&nbsp;Radical Infrastructure locates and analyzes the boundaries of how people and groups imagine, build, deploy, maintain, and use the internet as they survive-and even dare to thrive in-challenging political, economic, and environmental contexts. Ultimately, Paris encourages active reflection among scholars, policymakers, and activists and reveals more grounded imaginaries, tactics, and opportunities for future people-centered projects.</p>


Imagining the Internet from the Ground Up

Radical Infrastructure

Cultures of Programming

Bibliografische Angaben

Schlagworte

Bibliografische Angaben

Schlagworte

Weitere Titel zum Thema