Ü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

Unsere Funktionen

Nos fonctions

Vorankündigungen

À paraître

Nach Rechtsgebiet

Par domaine juridique

Kommentare

Commentaires

Gesamtkatalog

Catalogue complet

This introductory text explores the key concepts of session types, which codify the structure of communication, making software more reliable and easier to construct. Complemented by examples and exercises throughout, it serves as an entry point to the topic for graduate students and researchers.

This introductory text explores the key concepts of session types, which codify the structure of communication, making software more reliable and easier to construct. Complemented by examples and exercises throughout, it serves as an entry point to the topic for graduate students and researchers.

Gay S: Session Types

Session Types

1. Introduction; 2. Basic concepts; 3. Infinite behaviour; 4. Sharing; 5. Subtyping; 6. Algorithmic typing; 7. Functional programming; 8. Linear pi calculus with values; 9. Propositions as sessions; References; Index.

The Video Games Textbook takes the history of video games to the next level. Coverage includes every major video game console, handheld system, and game-changing personal computer, as well as a look at the business, technology, and people behind the games.Chapters feature objectives and key terms, illustrative timelines, color images and graphs, in addition to the technical specifications and key titles for each platform. Every chapter is a journey into a different segment of gaming, where readers emerge with a clear picture of how video games evolved, why the platforms succeeded or failed, and the impact they had on the industry and culture. Written to capture the attention and interest of students from around the world, this newly revised Third Edition also serves as a go-to handbook for any video game enthusiast.This edition introduces new content in each chapter, including coverage of adaptive gaming technology, cloud gaming, influential industry professionals, hardware innovations, and significant gaming milestones-from classic systems to PlayStation 5 Pro, Nintendo Switch 2, and the latest Xbox platforms.Key Features<ul> <li>Explores the history, business, and technology of video games, including social, political, and economic motivations</li> <li>Facilitates learning with clear objectives, key terms, illustrative timelines, color images, tables, and graphs</li> <li>Highlights the technical specifications and key titles of all major game consoles, handhelds, personal computers, and mobile platforms</li> <li>Reinforces material with market summaries, reviews of breakthroughs and trends, as well as end-of-chapter activities and quizzes</li> </ul>

History • Business • Technology

The Video Games Textbook

This unique compendium presents the basics of the theory of computing at a level and in a manner that can be easily understood by computer science students in a large university. It offers the student a firm foundation in logical reasoning and covers many traditional topics in unconventional ways.The useful reference text benefits professionals, academics, researchers and undergraduate students in the area of theoretical computer science.

Foundation Of Computation: Languages And Machines

Arduino For Dummies

Machine Learning For Dummies

Game AI Uncovered: Volume Four continues the series with another collection of chapters from twenty of the top game AI professionals and researchers, from around the world. Each chapter includes wisdom, ideas, tips and tricks that were used in the development of video games.The techniques discussed in these pages cover the underlying development of a wide array of published titles, including Undisputed, Dirt, Grid, Wherewolf, Psychonauts 2, Hawken Reborn, and more.Contained within this volume are insights that cover a host of different areas within game AI, including influence maps, possibilistic logic, utility AI, director AI, natural movement, stable reaction systems, believable villager NPCs, procedural generation of dungeons, crowd movement and flow fields, cooperative planners, combat pacing, the corridor map method, boss AI, and much more.Beginners to the area of game AI, along with professional developers, will find a wealth of knowledge that will not only help in the development of their own games but will spark ideas for new approaches.This volume includes chapters written by Dr Nuno Vicente Barreto, Steven Dalton, Matt Eland, David Guzman, Tobias Karlsson, Vincent Breton Kochanowski, Slavomir Krbyla, Dr Nic Melder, Alessia Nigretti, Víctor Portabella, Baptiste Rimetz, Shaun Reeves, Paul Roberts, Mateo Saldivar, Andrea Schiel, Dr Tommy Thompson, Marc Vassallicci, Rebecca Vessal, Braeden Warnick, and Yannick Richeux.

Volume Four

Game AI Uncovered

This book is the first one that shows how to accurately and efficiently solve time-varying problems in real-time or online using continuous- or discrete-time zeroing dynamics. The authors provide a comprehensive treatment of the theory of both static and dynamic neural networks. They develop, analyze, model, simulate, and compare zeroing dynamics models for the online solution of numerous time-varying problems, such as root finding, nonlinear equation solving, matrix inversion, matrix square root finding, quadratic optimization, and inequality solving.

Neural networks and neural dynamics are powerful approaches for the online solution of mathematical problems arising in many areas of science, engineering, and business. Compared with conventional gradient neural networks that only deal with static problems of constant coefficient matrices and vectors, the authors’ new method called zeroing dynamics solves time-varying problems. Zeroing Dynamics, Gradient Dynamics, and Newton Iterations is the first book that shows how to accurately and efficiently solve time-varying problems in real-time or online using continuous- or discrete-time zeroing dynamics. The book brings together research in the developing fields of neural networks, neural dynamics, computer mathematics, numerical algorithms, time-varying computation and optimization, simulation and modeling, analog and digital hardware, and fractals.The authors provide a comprehensive treatment of the theory of both static and dynamic neural networks. Readers will discover how novel theoretical results have been successfully applied to many practical problems. The authors develop, analyze, model, simulate, and compare zeroing dynamics models for the online solution of numerous time-varying problems, such as root finding, nonlinear equation solving, matrix inversion, matrix square root finding, quadratic optimization, and inequality solving.

Zeroing Dynamics, Gradient Dynamics, and Newton Iterations

To write effective code and applications, software engineers and developers have to be able to frame user/customer needs effectively, capture program requirements and use cases, and then develop suitable software architecture and code to meet the need. Code Chronicles: The Art of Storytelling in Software helps readers write better software by teaching readers how to write stories in the context of software development. The book explains the roots of storytelling, clarifies that storytelling historically has been a very powerful tool used to pass along knowledge, presents where storytelling is already present implicitly in software development, discusses how to make it more effective, and finally present experiences in storytelling from software engineering and other scientific disciplines, to foster a full understanding of its power. The authors comprehensively present the pivotal role of storytelling in writing software, and they explain how to do it in a simple, hands-on approach, also taking advantage of clear case studies written by experts in the field.

The Art of Storytelling in Software

Code Chronicles

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

Learn dozens of tried-and-true strategies to find and fix coding mistakes with this efficient debugging guide that slashes the time required for this tedious task. Most programmers dread debugging, but it remains a critical skill and one often learned through trial and error. This book offers a shortcut, distilling the experience of top-tier game designer Johannes Kuhlmann – who has worked on popular games like Valheim and Saints Row – into clear, practical strategies for debugging complex software in record time. This book offers more than 25 reliable strategies to tackle bugs at every level of development, helping to ensure that quality products go to market on schedule. Each chapter blends technical advice with instructive examples from the author’s own career, offering widely applicable, language-agnostic techniques from which both novice programmers and seasoned developers will benefit. The Debugging Handbook is not just a manual to reach for time and again but a mentor, helping programmers develop the mindset to quickly squash any bug.

The Debugging Handbook

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

In this new and improved fourth edition of the highly popular Game Engine Architecture, Jason Gregory draws on his two decades of experience at Midway, Electronic Arts and Naughty Dog to present both the theory and practice of game engine software development. In this book, the broad range of technologies and techniques used by AAA game studios are each explained in detail, and their roles within a real industrial-strength game engine are illustrated.The fourth edition offers the same comprehensive coverage of game engine architecture provided by previous editions, and this first volume covers essential concepts, techniques, tools, and the engine systems that form the core of every game engine.This book is intended to serve as an introductory text, but it also offers the experienced game programmer a useful perspective on aspects of game development technology with which they may not have deep experience. As always, copious references and citations are provided in this edition, making it an excellent jumping off point for those who wish to dig deeper into any particular aspect of the game development process.Key Features<ul> <li>Covers both the theory and practice of game engine software development</li> <li>Examples are grounded in specific technologies, but discussion extends beyond any particular engine or API</li> <li>Includes all mathematical background needed</li> <li>Comprehensive text for beginners and also has content for senior engineers</li> </ul>

Volume I, Foundations of Game Engine Development

Game Engine Architecture

Session Types

Weitere Titel zum Thema