a forged tool  (134 Angebote unter 17.391.510 Artikeln)

Jennie Helene Sandstad brings together theoretical concepts and personal stories in an exploration of trauma, and studies how breathing meditation can be a tool for peace work. Through the lenses o...

What drives ordinary citizens to the stock market? Quite simple, it is the desire to safeguard its capital and to increase it at the same time as possible. Stock market trading is complex and often...

This book presents smart energy management in the context of energy transition. It presents the motivation, impacts and challenges related to this hot topic. Then, it focuses on the use of techniqu...

EVALITA ( is the reference evaluation campaign of both Natural Language Processing and Speech Technologies for the Italian language. The objective of the shared tasks proposed at EVALITA is to prom...

This book presents smart energy management in the context of energy transition. It presents the motivation, impacts and challenges related to this hot topic. Then, it focuses on the use of techniqu...

1. Complex Spaces.- § 1. The Notion of a Complex Space.- § 2. General Properties of Complex Spaces.- § 3. Direct Products and Graphs.- § 4. Complex Spaces and Cohomology.- 2. Local Weierstrass Theo...

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT i...

Keynote Speech.- Games for Formal Design and Verification of Reactive Systems.- Evolution of Model Checking into the EDA Industry.- Abstraction Refinement.- Invited Speech.- Tools for Automated Ver...

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT i...

Digital Library Architectures.- Dynamic Digital Library Construction and Configuration.- Milos: A Multimedia Content Management System for Digital Library Applications.- Designing an Integrated Dig...

ECDL 2002 was the 6th conference in the series of European Conferences on Research and Advanced Technologies for Digital Libraries. Following previous events in Pisa (1997), Heraklion (1998), Paris...

This book studies some of the groundbreaking advances that have been made regarding analytic capacity and its relationship to rectifiability in the decade 1995-2005. The Cauchy transform plays a fu...

This book studies some of the groundbreaking advances that have been made regarding analytic capacity and its relationship to rectifiability in the decade 1995-2005. The Cauchy transform plays a fu...

A Tool for Determining e-Learning Readiness