Model-checking – Bücher, CDs, LPs und mehr, Seite 9

Thea Brejzek, Lawrence Wallen,
Brejzek, T: Virtual Models in Theatre, Art and Architecture

What is the impact of virtual models and realms in contemporary theatre, art and architecture?This volume explores the evolution of virtual models, their transformative spatial potential, and their capaci…

lieferbar ab 27.11.2025.

Buch

Model Checking Software

Lecture Notes in Computer Science - Band 15945

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

lieferbar ab 8.11.2025.

Buch

Ashley Amos, Jon Carver
The Financial Integration and Resilience Model

This book will explore how to create a Financial Integration & Resilience Model (FIRM), based on best practices and innovative approaches (including the use of Artificial Intelligence) for any Museum.

lieferbar in mind. 4 Wochen

Buch

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…

lieferbar innerhalb 2-3 Wochen

Buch

Stephanie Surrett
Universal Real Estate Agent Operations Process Model

Universal Real Estate Agent Operations Process Model: Plug-and-Play Business System for Agents, Teams & Brokers | SOPs, Checklists, and Templates for Real Estate Success A Complete Real Estate Operati…

lieferbar innerhalb 2-3 Wochen

Buch

Sebastian Raschka
Build a Large Language Model (from Scratch)

From the back cover:Build a Large Language Model (From Scratch) is a practical and eminently-satisfying hands-on journey into the foundations of generative AI. Without relying on any existing LLM librarie…

lieferbar innerhalb 1-2 Wochen

Buch

Generative AI and Large Language Models: Opportunities, Challenges, and Applications

This book provides a comprehensive exploration of the transformative impact of AI technologies across diverse fields. From revolutionizing healthcare diagnostics and advancing natural language processing …

lieferbar innerhalb 2-3 Wochen

Buch

Giuseppe Chirichiello
DSGE Models for Real Business Cycle and New Keynesian Macroeconomics

This textbook introduces graduate and upper undergraduate students to Dynamic Stochastic General Equilibrium (DSGE) models. As DSGE models become integral in advanced coursework, this book serves as an in…

lieferbar innerhalb 2-3 Wochen

Buch

Carmelo Mesa-Lago
Comparative Economic and Social Evaluation of Two Economic Models

In Comparing Socialist Approaches, Carmelo Mesa-Lago examines the two main socialist models across Cuba, China, and Vietnam to compare central planning and socialist markets. Under the Cuban central plan,…

lieferbar in mind. 4 Wochen

Buch

Timothée Pascal
Beyond the Standard Model at the Large Hadron Collider: From Simplified Model Constraints to Artificial Proto-Modelling for Dispersed Signals

Springer Theses

The thesis is an outstanding contribution to the field of LHC result reinterpretation, combining clarity, technical innovation, and novel phenomenological insights. Through a detailed study of electroweak…

lieferbar ab 6.12.2025.

Buch

Francisco S. Marcondes, Adelino Gala, Renata Magalhães, Fernando Perez de Britto
Natural Language Analytics with Generative Large-Language Models

This book explores the application of generative Large Language Models (LLMs) for extracting and analyzing data from natural language artefacts. Unlike traditional uses of LLMs, such as translation and su…

lieferbar innerhalb 2-3 Wochen

Buch

Contemporary Models for Pro-Poor Housing in Urban Sub-Saharan Africa

The proportion of the world's urban population is expected to increase to about 57% by 2050, and the share of Africa's urban population is project to increase to 60% by the same year. As a result of this …

lieferbar ab 13.12.2025.

Buch

IoT and Digital Transformation: Innovating Business Models for the Connected World

This book examines how smart devices, sensors, and interconnected data ecosystems are redefining business operations, enhancing customer experiences, and shaping new competitive strategies. In today's hyp…

lieferbar innerhalb 2-3 Wochen

Buch

Vorbilder (Blu-ray)

Die beiden Chaoten Danny und Wheeler arbeiten als Promoter für Energy-Drinks. Danny hasst seinen Job, sein Leben und sowieso alles. Für Wheeler zählen nur Spaß, Party und Frauen. Als sie bei einer halsbre…

Artikel am Lager

Blu-ray Disc

Herlie
Bridging the Gap Between Models and Reality: Coreference Effects in Natural Language

Natural language processing (NLP) strives to bridge the gap between the complex world of human language and the structured world of machines. Coreference, the phenomenon where words or phrases refer back …

lieferbar innerhalb 2-3 Wochen

Buch

Luca G Castellani
UNCITRAL Model Laws on Digital Trade

This book provides a detailed analysis of two UNCITRAL texts: the Model Law on Electronic Transferable Records (MLETR) and the Model Law on the Use and Cross-border Recognition of Identity Management and …

lieferbar innerhalb 2-3 Wochen

Buch

Exact and Approximate Solutions for Mathematical Models in Science and Engineering

This contributed volume collects papers presented during a special session on integral methods in science and engineering at the 2023 International Conference on Computational and Mathematical Methods in …

lieferbar innerhalb 2-3 Wochen

Buch

Gioacchino Piazza
Probing New Physics Beyond the Standard Model

This book presents a comprehensive exploration of unresolved mysteries in particle physics, delving into cutting-edge research aimed at unraveling the enigmatic facets of the Standard Model (SM). It tackl…

lieferbar innerhalb 2-3 Wochen

Buch

Percy Menth
Digital Transformation Through Business Model Innovation

Assumed a variance between the established paths and opportunities occurring from the new, digital technologies, the aim of this book is to better understand why firms can struggle on digital transformati…

lieferbar innerhalb 2-3 Wochen

Buch

Marco Forlingieri, Tim Weilkiens, Hugo Guillermo Chalé-Gongora
Model-Based Product Line Engineering (Mbple)

Clear and concise guide to MBPLE, with industrial case studiesWritten in a to-the-point style, Model-Based Product Line Engineering (MBPLE) is the only theoretical and practical foundational book on MBPLE…

lieferbar innerhalb 2-3 Wochen

Buch

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