Extending Temporal Logic with Omega-automata

The Automata Theoretic Techniques behind PSL Model Checking

Nir Piterman - ISBN: 978-3-8383-2206-3

En tierras desconocidas

La Chontalpa de Oaxaca, México, según documentos indígenas y españoles coloniales

Peter C. Kroefges - ISBN: 978-3-8383-2205-6

Computational Intelligence Techniques in Econometric Modeling

The case of Romania

Adriana Agapie - ISBN: 978-3-8383-2218-6

Irregular computations on fine-grain multithreaded architecture

Parallel algorithms and architectures

Parimala Thulasiraman - ISBN: 978-3-8383-2214-8

From ploughshare to sword: regionalism in Africa

The emergence of regional security organisations in Africa. A comparative study on ECOWAS and SADC

Hélène Gandois - ISBN: 978-3-8383-2226-1

GIS-based Augmented Reality

A realistic approach to environmental visualisation

Payam Ghadirian - ISBN: 978-3-8383-2227-8

PUBLIC RELATIONS IN A TRANSITION SOCIETY

A STAKEHOLDER APPROACH IN ORGANISATIONAL COMMUNICATIONS AND RELATIONS ANALYSES

Kaja Tampere - ISBN: 978-3-8383-2224-7

Interactive Stacked Bar Charts

A Usability Study

Jason Chi-hsin Lee - ISBN: 978-3-8383-2225-4

The Wonderful Missions of the Community College

Community Colleges contribution to 20th Century American Success

Raymond Nadolny - ISBN: 978-3-8383-2222-3

NAFTA Myth: A Weak Case of Regional Free Trade Agreement?

The Evidence from U.S. Textile and Apparel Trade and Production

Mikyung Lim - ISBN: 978-3-8383-2228-5