S.A. Smolka's Documents

S.A. Smolka's Documents

Handbook of Process Algebra

Handbook of Process Algebra
Read more
Handbook of Process Algebra

Handbook of Process Algebra
Read more
Handbook of Process Algebra

Handbook of Process Algebra
Read more
Principles and Practice of Constraint Programming, CP'97 3 conf

Principles and Practice of Constraint Programming, CP'97 3 conf
Read more
Programming Languages and Systems, 9 conf., ESOP 2000

Programming Languages and Systems, 9 conf., ESOP 2000
Read more
CONCUR '95, Concurrency Theory, 6 conf

CONCUR '95, Concurrency Theory, 6 conf
Read more
Introduction to Operating System Design and Implementation: The Osp 2 Approach

Introduction to Operating System Design and Implementation: The Osp 2 Approach
Read more
Parks in Medieval England (Medieval History and Archaeology)

Parks in Medieval England (Medieval History and Archaeology)
Read more
Science and Technology in Homeric Epics

Science and Technology in Homeric Epics
Read more
Topology without tears

Topology without tears
Read more
Advances in Chemical Physics, Vol. 137

Advances in Chemical Physics, Vol. 137
Read more
SSL and TLS essentials: Securing the Web

SSL and TLS essentials: Securing the Web
Read more
On stratifiable locally convex spaces

On stratifiable locally convex spaces
Read more
Red Dress Walking

Red Dress Walking
Read more
Tableau Systems for First Order Number Theory and Certain Higher Order Theories

Tableau Systems for First Order Number Theory and Certain Higher Order Theories
Read more
Advances in Psychology Volume 61 Perspectives on the Coordination of Movement

Advances in Psychology Volume 61 Perspectives on the Coordination of Movement
Read more
Trading Options to Win: Profitable Strategies and Tactics for Any Trader

Trading Options to Win: Profitable Strategies and Tactics for Any Trader
Read more
Rethinking public key infrastructures and digital certificates

Rethinking public key infrastructures and digital certificates
Read more
Logische Programmierung

Logische Programmierung
Read more
Spin Network Primer

Spin Network Primer
Read more
Adivina quién soy

Adivina quién soy
Read more
Electromagnetic fields

Electromagnetic fields
Read more
Electrical Load Forecasting: Modeling and Model Construction

Electrical Load Forecasting: Modeling and Model Construction
Read more
Advances in Quaternary Entomology

Advances in Quaternary Entomology
Read more
Genesis (Septuagint Commentary)

Genesis (Septuagint Commentary)
Read more
Encyclopedia of Quaternary Science, Four-Volume Set

Encyclopedia of Quaternary Science, Four-Volume Set
Read more
Selected chapters on grid generation

Selected chapters on grid generation
Read more
Lithops. Treasures of the Veld

Lithops. Treasures of the Veld
Read more
The Russian Revolution

The Russian Revolution
Read more
Parks in Medieval England (Medieval History and Archaeology)

Parks in Medieval England (Medieval History and Archaeology)
Read more