Dental Pathology : A Practical Introduction

The Political Economy of Fiscal Policy : Public Deficits, Volatility, and Growth

Advanced Parallel Processing Technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings

Transport in Plants III : Intracellular Interactions and Transport Processes

Current Topics in Microbiology and Immunology / Ergebnisse der Mikrobiologie und Immunitatsforschung : Volume 74

Experimental Myopathies and Muscular Dystrophy : Studies in the Formal Pathogenesis of the Myopathy of 2,4-Dichlorophenoxyacetate

Internment in Concentration Camps and Its Consequences

Land Use in Advancing Agriculture

Muscle Receptors

The Early Life History of Fish : The Proceedings of an International Symposium Held at the Dunstaffnage Marine Research Laboratory of the Scottish Marine Biological Association at Oban, Scotland, from

Auditory System : Anatomy Physiology (Ear)

Current Topics in Microbiology and Immunology / Ergebnisse der Mikrobiologie und Immunitatsforschung

Approximation of Functions of Several Variables and Imbedding Theorems

The Measurement of Verbal Information in Psychology and Education

Valuation Theory

Satellite Beacons Observations from 1964 to 1970

Air Instrument Surgery : Vol. 2: Orthopedics

Central Processing of Visual Information A: Integrative Functions and Comparative Data

Pathophysiology of Muscle Tone

Physiology of Photoreceptor Organs

Advances in Temporal Logic

Unifying Petri Nets : Advances in Petri Nets

Concurrency and Nets : Advances in Petri Nets

Lectures on Concurrency and Petri Nets : Advances in Petri Nets

Concurrent Object-Oriented Programming and Petri Nets : Advances in Petri Nets

Timed Petri Nets : Theory and Application

Petri Nets : Fundamental Models, Verification and Applications

Petri Nets : Fundamental Models, Verification and Applications

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Concurrency and Hardware Design : Advances in Petri Nets

Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach

Time and Petri Nets

Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications

The Logic of Time : A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

The Logic of Time : A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach

Petri Net Technology for Communication-Based Systems : Advances in Petri Nets

Time & Logic : A Computational Approach

Time & Logic : A Computational Approach

Using Temporal Logic and Datalog to Query Databases Evolving in Time