Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line.- Cha

9折特價5689元

立即代訂

Die Konzeption des Humors in ”Er ist wieder da”. Eine systematische Filmanalyse mit Schwerpunkt auf das Verwenden dokumentarischer Szenen

Bachelorarbeit aus dem Jahr 2016 im Fachbereich Filmwissenschaft, Note: 1,9, Leuphana Universit瓣t L

9折特價2068元

立即代訂

Chinas Social Credit System. Eine Betrachtung mit Luhmann, Bentham und Foucault

Studienarbeit aus dem Jahr 2019 im Fachbereich Kulturwissenschaften - Sonstiges, Note: 1,7, Hochsch

9折特價1602元

立即代訂

Apprenticeship in Dual and Non-Dual Systems

Vocational education, apprenticeship included, is subject to reviews and updates that the recent cr

9折特價3071元

立即代訂

Physics of Closed Systems

A Closed system is an addictive system whose boundaries deny, refuse and repress the growth of True

9折特價733元

立即代訂

Latinas in the Criminal Justice System

How Latina girls and women become entangled in the criminal justice system Despite representing ro

9折特價6084元

立即代訂

Orofacial and Systemic Features of Thalassemia Major

Thalassemia is one of the most common genetic diseases in the world. It has a relatively higher inc

9折特價1988元

立即代訂

The Details of the Rocket System

A razor-smart lampoon of power, pride, and ambition, The Details Of The Rocket System distills the

9折特價1094元

立即代訂

Frontiers of Combining Systems

This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of

9折特價4436元

立即代訂

The Handbook of Deontic Logic and Normative Systems, Volume 2

The Handbook of Deontic Logic and Normative Systems presents a detailed overview of the main lines

9折特價1468元

立即代訂

The Success System that Never Fails

Why does one man succeed and another fail? There is an answer. And it will be found in this book. O

9折特價917元

立即代訂

Karl Marx and the Close of His System

Has Marx himself solved his own problem? Has his completed system remained true to itself and to fa

9折特價594元

立即代訂

Physics of Closed Systems

A Closed system is an addictive system whose boundaries deny, refuse and repress the growth of True

9折特價458元

立即代訂

Satellite Communications Payload and System

SATELLITE COMMUNICATIONS PAYLOAD AND SYSTEM A valuable reference on communications satellite system

9折特價5459元

立即代訂

Open Source Library Systems

Knowing about the open source alternative to integrated library systems and being able to make accu

9折特價6435元

立即代訂

Open Source Library Systems

Knowing about the open source alternative to integrated library systems and being able to make accu

9折特價2161元

立即代訂

Information and Knowledge Systems

This book constitutes the thoroughly refereed proceedings of the 5th International Conference on In

9折特價2870元

立即代訂

Information Systems: Research, Development, Applications, Education

This book constitutes the refereed proceedings of the 13th PLAIS EuroSymposium 2021 which was held

9折特價3653元

立即代訂

Robot Operating System (Ros)

Development of an Industry 4.0 demonstrator using Sequence Planner and ROS2.- ROS2 for ROS1 users.-

9折特價6785元

立即代訂

Statistical Mechanics of Hamiltonian Systems with Bounded Kinetic Terms

Introduction.- Background and Motivation.- Systems with Bounded Phase Spaces: Equilibrium Propertie

9折特價5741元

立即代訂

Mobile Web and Intelligent Information Systems

This book constitutes the refereed proceedings of the 17th International Conference on Mobile Web a

9折特價2870元

立即代訂

Multi-Agent Systems

This book constitutes the revised post-conference proceedings of the 18th European Conference on Mu

9折特價2870元

立即代訂

Digital Twins in der Manufacturing Industry. Systematische Entwicklung eines Digital Twin Demonstrators

Masterarbeit aus dem Jahr 2020 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,7, Techni

9折特價2871元

立即代訂

Application of Signal Processing Tools and Artificial Neural Network in Diagnosis of Power System Faults

Accurate, fast, and reliable fault classification techniques are an important operational requireme

9折特價8613元

立即代訂

Essays on Selected Contemporary Issues in the Nigerian Banking System

The book focuses on the Deposit Insurance experience in Nigeria, with experience drawn from other c

9折特價3339元

立即代訂

How Kinship Systems Change

Using some of his landmark publications on kinship, along with a new introduction, chapter and conc

9折特價7411元

立即代訂

Explainable and Transparent AI and Multi-Agent Systems

This book constitutes the proceedings of the Third International Workshop on Explainable, Transpare

9折特價5219元

立即代訂

Systemic Violence of the Law

This book argues that International Investment Law system - IIL - was the result of a colonial proj

9折特價7020元

立即代訂

Electricity Supply Systems of the Future

This book offers a vision of the future of electricity supply systems and CIGRE's views on the know

9折特價8351元

立即代訂

The Solar System

Bilingual English/Spanish Level 1 Reader for Kids! Learn all about the Sun, planets, moons, stars,

9折特價320元

立即代訂

The Solar System

Bilingual English/Spanish Level 1 Reader for Kids! Learn all about the Sun, planets, moons, stars,

9折特價1146元

立即代訂

Modeling and Simulation of Complex Dynamical Systems

This book highlights the practical aspects of computer modelling and simulation of complex dynamica

9折特價2870元

立即代訂

Highlights in Practical Applications of Agents, Multi-Agent Systems, and Social Good. the Paams Collection

This book constitutes the proceedings of the workshops co-located with the 19th International Confe

9折特價2870元

立即代訂

Leading Systems Change in Public Health

"The authors bring a passion for social justice, equity, and inclusivity to the dialogue about chan

9折特價3217元

立即代訂

Systems, Software and Services Process Improvement

This volume constitutes the refereed proceedings of the 28th European Conference on Systems, Softwa

9折特價7307元

立即代訂

Designing Cost Management Systems to Support Business Decision-Making

This book illustrates the importance effective cost management systems inproviding a supportive env

9折特價3653元

立即代訂

Computational Methods in Systems Biology

This book constitutes the refereed proceedings of the 19th International Conference on Computationa

9折特價3131元

立即代訂

Entscheidungsanomalien in komplexen Systemen

Studienarbeit aus dem Jahr 2018 im Fachbereich BWL - Sonstiges, Note: 1,0, AKAD University, ehem. A

9折特價1544元

立即代訂

Wearable and Nearable Biosensors and Systems for Healthcare

Biosensors and systems in the form of wearables and "nearables" (i.e., everyday sensorized objects

9折特價3738元

立即代訂

Applied Theatre: Women and the Criminal Justice System

Applied Theatre: Women and the Criminal Justice Systemoffers unprecedented access to international

9折特價2629元

立即代訂

Practitioner's Handbook of Risk Management for Water & Wastewater Systems

9折特價4436元

立即代訂

Charakteristika und Zielkatalog des EU-Systems und der EU-Au?enpolitik

Insgesamt ist zu konstatieren, dass das EU-System eine einzigartige Organisationsform hat, die begr

9折特價1729元

立即代訂

Investigating System in Health Management Information Systems

Considering the importance of human resources as a strategic resource in societies and organization

9折特價2275元

立即代訂

Principia, Vol. II: The System of the World

This title is part of UC Press's Voices Revived program, which commemorates University of Californi

9折特價2337元

立即代訂

Principia, Vol. II: The System of the World

This title is part of UC Press's Voices Revived program, which commemorates University of Californi

9折特價5557元

立即代訂

Probabilistic Extensions of Various Logical Systems

The contributions in this book survey results on combinations of probabilistic and various other cl

9折特價5741元

立即代訂

Bifurcation and Stability in Nonlinear Discrete Systems

Local Stability and Bifurcations.- Low-dimensional Discrete Systems.- Global Stability in 1-D discr

9折特價5741元

立即代訂

Building Trust in the International Monetary System

Introduction - The Main Features of the International Money's Evolution.- Money and the Internation

9折特價6785元

立即代訂