Über uns

À propos de nous

Nachhaltigkeit

Durabilité

Open Access

Karriere

Carrière

Datenschutz

Protection des données

Impressum

Mentions légales

Zahlung und Lieferung

Paiement et livraison

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

Anemari Fiser: Leveling Up as a Tech
Lead

Leveling Up as a Tech Lead

Growing as a Technical, Project, and People Leader

This book provides a comprehensive guide to the 2024 edition of the JCT Design &amp; Build Contract. It offers a straightforward reference to help practitioners understand the rights and obligations of the parties and administer the contract in an accurate and timely manner.

This book provides a comprehensive guide to the 2024 edition of the JCT Design &amp; Build Contract. It offers a straightforward reference to help practitioners understand the rights and obligations of the parties and administer the contract in an accurate and timely manner.

Guide to the JCT Design and Build Contract - 2024 Edition

Quantum Process Algebra introduces readers to the algebraic properties and laws for quantum computing. The book provides readers with all aspects of algebraic theory for quantum computing, including the basis of semantics and axiomatization for quantum computing. With the assumption of a quantum system, readers will learn to solve the modelling of the three main components in a quantum system: unitary operator, quantum measurement, and quantum entanglement, with full support of quantum and classical computing in closed systems. Next, the book establishes the relationship between probabilistic quantum bisimilarity and classical probabilistic bisimilarity, including strong probabilistic bisimilarity and weak probabilistic bisimilarity, which makes an axiomatization of quantum processes possible. With this framework, quantum and classical computing mixed processes are unified with the same structured operational semantics. Finally, the book establishes a series of axiomatizations of quantum process algebras. These process algebras support nearly all main computation properties. Quantum and classical computing in closed quantum systems are unified with the same equational logic and the same structured operational semantics under the framework of ACP-like probabilistic process algebra. This unification means that the mathematics in the book can be used widely for verification of quantum and classical computing mixed systems, for example, most quantum communication protocols. ACP-like axiomatization also inherits the advantages of ACP, for example, and modularity means that it can be extended in an elegant way.

Quantum Process Algebra

Learning to code has never been easier than with this innovative visual guide to computer programming for beginners. In our digital world, coding skills are in high demand and the need for programmers is still growing. Taking the first steps in learning to code may seem daunting, but by using a graphic method to break code into small chunks, this book brings essential skills easily within reach. Each chapter explores one of the most popular languages, with practical programming projects to show you how programming works. You'll learn to think like a programmer by breaking a problem down into parts before turning those parts into lines of code. Short, easy-to-follow steps then show you, piece by piece, how to build a complete program. There are challenges for you to tackle to build your confidence before moving on. Written by a team of expert coders and coding teachers, the Beginner's Step-by-Step Coding Course is the ideal way to understand coding.

Learn Computer Programming the Easy Way

Beginner's Step-by-Step Coding Course

Foundations, Technologies, and Prospects for the Future

Autonomous Vehicle Safety Solutions

Learn to program more effectively, faster, with better results... and enjoy both the learning experience and the benefits it ultimately brings. This undergraduate-level textbook is motivated by Formal Methods, encouraging habits that lead to correct and concise computer programs; but its informal approach sidesteps reliance on Formal Logic that programmers are sometimes led to believe is required. Instead, a straightforward and intuitive use of simple 'What's true here' comments encourages precision of thought without prescription of notation. Drawing on decades of the author's experience in teaching/industry, the text's careful presentation concentrates on key principles of structuring and reasoning about programs, applying them first to small, understandable algorithms. Then students can concentrate on turning those reliably into their corresponding -and correct- program source-codes. The text includes over 200 exercises, with full solutions available online for instructors' use, plus mini-projects and automated quizzes to support instructors in building their own courses.

How to Write Programs That Work

Formal Methods, Informally

Applications in R and Python

Essentials of Big Data Analytics

A Comprehensive Guide to Navigating the Vuca World

The Strategic Project Manager's Guide to Complex Projects

Python Automation For Dummies

The Linux Memory Manager

Systems Innovation Book Series

We cannot manage and control what we cannot measure and assess. Lack of approppriate assessmen tools and measures have been cited as a major reason for project failures, in terms of cost, schedule, and quality. This book launches the methodology for assessing innovation using relevant and sustainable metrics, rubrics, and standards.

We cannot manage and control what we cannot measure and assess. Lack of approppriate assessmen tools and measures have been cited as a major reason for project failures, in terms of cost, schedule, and quality. This book launches the methodology for assessing innovation using relevant and sustainable metrics, rubrics, and standards.

Metrics, Rubrics, and Standards

Assessing Innovation

This book illustrates statistics with the R programming language, an emerging tool in data science. Filled with techniques for data science and analytics programming, the book is written for students and professionals. It is focused on learning outcomes and problem solving.

This book illustrates statistics with the R programming language, an emerging tool in data science. Filled with techniques for data science and analytics programming, the book is written for students and professionals. It is focused on learning outcomes and problem solving.

Demystifying Probability and Statistics for Data Scientists with R

Tcl/Tk: A Developer's Guide, Fourth Edition is an essential resource for computer professionals, from systems administrators to programmers. It covers new Tcl features, expanded Tcl-OO coverage, web technology using Rivet and SQLite, and AI integration with AWS. The book also delves into Tcl's standard tools, multi-faceted nature, and extensibility, making it ideal for developing GUIs, client/server middleware, and web applications. Readers will quickly learn to code in Tcl and extend its capabilities with the inclusion of numerous code examples and case studies. The updated edition includes over 150 pages on the latest Tcl extensions, proven techniques, and tools for effective programming. Extensive code snippets and online tutorials enhance understanding, while case studies provide practical insights. The book also discusses Tcl's role as the hidden "secret sauce" in commercial applications, highlighting its graphics and control infrastructure. With a vibrant user community and evolving API, Tcl/Tk remains a powerful and versatile programming platform for both beginners and experienced programmers.

A Developer's Guide

Tcl/Tk

Leveling Up as a Tech Lead

Weitere Titel zum Thema