Trefferliste "Model-checking" - alle Bücher, CDs, LPs und mehr

Banister Fletcher

Model houses for the industrial classes

Reprint of the original, first published in 1877. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

Rong Chen

Toward a Motivation Model of Pragmatics

With the discursive turn has come a distrust a complete rejection by some of theories that seek deeper reasons for surface phenomena. Rong Chen argues that this distrust, with its accompanying overe…

Model Checking Software

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers,…

Jean Philippe Rameau (1683-1764)

Que les mortels servent de modele aux dieux...

Ensemble Ausonia, Frederick Haas

Emily White

My Wife is a Model

Indulge in an Unforgettable Journey of Passion and Temptation with Emily White's Erotic Masterpiece! Step into a captivating world where seduction knows no bounds in Emily White's latest collection of sc…

Andrew Comstock

Comstock's Elocution and Model Speaker

Reprint of the original, first published in 1871. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

Andrew Comstock

Comstock's Elocution and Model Speaker

Reprint of the original, first published in 1871. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

Banister Fletcher

Model houses for the industrial classes

Reprint of the original, first published in 1877. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

Omar Sanseviero, Pedro Cuenca, Apolinario Passos, Jonathan Whitaker

Hands-On Generative AI with Transformers and Diffusion Models

Learn to use generative AI techniques to create novel text, images, audio, and even music with this practical, hands-on book. Readers will understand how state-of-the-art generative models work, how to fi…

A³N²M: Approximation, Applications, and Analysis of Nonlocal, Nonlinear Models

This volume collects papers based on plenary and invited talks given at the 50th Barrett Memorial Lectures on Approximation, Applications, and Analysis of Nonlocal, Nonlinear Models that was organized by …

Thomas Kessel, Alexander Brandt, Jonas Offtermatt, Friedrich Augenstein

ChatGPT und Large Language Models? Frag doch einfach!

Hinter die Kulissen der KI schauen! In diesem Band werden unter anderem Antworten auf diese Fragen zu lesen sein: Was sind eigentlich die Grundlagen einer generativen Künstlichen Intelligenz? Und wo liege…

Isabella Catalina

Candice B - Top Models of MetArt.com

GANZ OBEN VON DER SÜSSEN SAHNE: DIE ULTRA-HEISSE CANDICE B. Die sinnliche Candice B. ist eine von MetArts Top Models. Eine so kurvenreiche ukrainische Schönheit weckt blitzartig die Aufmerksamkeit des erf…

Rose Eden

TLE - The Life Erotic.com World's Top Models

Diese Buch wird ein wilder Ritt werden! Blümchen-Sex kann ja durchaus süß sein, aber wenn Sie nach etwas Abenteuerlicherem suchen, ist The Life Erotic der richtige Ort dafür. 2009 gegründet, ist The Lif…

Damarice Amao, Duncan Forbes, Walter Moser, Audrey Sands

Lisette Model

Lisette Model (1901-1983) gilt als eine der international einflussreichsten Fotografinnen. Mit über zweihundert brillanten Reproduktionen ihrer Arbeiten gibt dieser Band einen faszinierenden Einblick in d…

Cindy Lee

Model Express

Guillaume Mercère

Data Driven Model Learning for Engineers

The main goal of this comprehensive textbook is to cover the core techniques required to understand some of the basic and most popular model learning algorithms available for engineers, then illustrate th…

Security, Trust and Privacy Models, and Architectures in IoT Environments

This book is dedicated to the issues of security, trust and privacy models, and architectures in IoT environments. The authors aim to capture the latest research and contributions from academy, industry, …

PCM-CMM2023: Theories, Models and Simulations of Complex Physical Systems

The idea of organizing the Polish Congress of Mechanics was born in 2005 among members of the Polish Society of Theoretical and Applied Mechanics. The first Congress has been organized in 2007. In 2013, t…

Sebastian Raschka

Build a Large Language Model (from Scratch)

Learn how to create, train, and tweak large language models (LLMs) by building one from the ground up! In Build a Large Language Model (from Scratch) bestselling author Sebastian Raschka guides you step …