Histoire de l'Admirable Don Quichotte de la Manche, (Éd.1862)

A Cop's Eyes

This book constitutes the refereed proceedings of the 9th International
Conference on Tools and Algorithms for the Construction and Analysis of
Systems, TACAS 2003, held in Warsaw, Poland, in April 2003. The 43 revised
full papers presented were carefully reviewed and selected from 160 submissions.
The papers are organized in topical sections on bounded model checking
and SAT-based methods, mu-calculus and temporal logics, verification of
parameterized systems, abstractions and counterexamples, real-time and
scheduling, security and cryptography, modules and compositional verification,
symbolic state spaces and decision diagrams, performance and mobility,
state space reductions, constraint solving and decision procedures, and
testing and verification.

9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems

Special Educational Needs in Schools

House on Fire

Panorama Südtirol

A Legacy of Contradiction

Hume, Reason and Morality

When Your Good Idea Is Not Enough

The Agenda Mover

Shakespeare and the Question of Theory

Language Assessment Literacy and Competence Volume 2: Case Studies from Around the World Paperback

Liberalism and its Practice

Counting in the Sea

Politics, Law, Practice

International Organizations

A Realist Theory of Art History

Managing Risk

Hamartía

Der trübe Gast

An Introduction to Aesthetics

Philosophy of the Arts

Housing Policy in the 1990s

Effects of Heavy Metal and Organohalogen Compounds

Ecological Toxicology Research

Memories of a Traveller 1928-58

The Horsieman

Book + Chapter Quizzes Online

Pre-Calculus All-in-One For Dummies

Multicultural Politics and Education Policymaking

The Great Speckled Bird

Inside the Compassionate Organization

Economic Perspectives

Ending Wars, Consolidating Peace

The Oxford Handbook of the Cold War

The Primary Headteacher's Handbook

King Arthur

Edward Kaufmann: Pathology for Students and Practitioner's. Volume 1

Active Galactic Nuclei

Images and Experiences of Development in China

From Heaven to Earth

Histoire de l'Admirable Don Quichotte de la Manche, (Éd.1862)

Autor:

Verlag:

Sprache:

CHF 40.90

Bewertungen