Selected Publications by Markus Roggenbach Journals 1. F G Moller, H N Nguyen, M Roggenbach: Simulating Timed CSP, 20 pages, submitted. 2. S Chadwick, J Clarke, A Iliasov, Y Isobe, P James, F Moller, M Roggenbach, A Roma

Source URL: www.cs.swan.ac.uk

• Lecture Notes in Computer Science
• Springer Science+Business Media
• Model checking

DIASPORA EXIL M I G R AT I O N Forschungskolloquium von Prof. Dr. Kerstin Schoor Axel Springer-Stiftungsprofessur für deutsch-jüdische Literatur- und Kulturgeschichte, Exil und Migration (Europa-Universität Viadrina,

Source URL: www.kuwi.europa-uni.de

ZERTIFIKAT Die Zertifizierungsstelle der TÜV SÜD Management Service GmbH bescheinigt, dass das Unternehmen Springer Fachmedien München GmbH

Source URL: www.springerfachmedien-muenchen.de

Microsoft PowerPoint - Britton_BMC_Fig3_revised [Compatibility Mode]

Source URL: static-content.springer.com

Content, Access and Discoverability

Source URL: www.bvsspa.es

• Springer Science+Business Media
• RSS

N. Kobayashi and B. C. Pierce (Eds): Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001), LNCS Vol. 2215, pp. 219–242, 2001. c Springer-Verlag Berlin Heidelberg 2001 Nominal Logic:

Source URL: www.cl.cam.ac.uk

• Model theory
• Automated theorem proving
• Logic programming
• First-order logic
• Predicate logic
• Symbol
• Substitution
• Constructible universe
• Interpretation

The Latin American Studies Book Series

Source URL: clagscholar.org

• Latin America
• Latin American studies
• Springer Science+Business Media

Leitthema Ophthalmologe 2010 · 107:612–615 DOIs00347x Online publiziert: 9. Juni 2010 © Springer-Verlag 2010

Source URL: www.ncl-stiftung.de

Published for SISSA by Springer Received: September Revised: May

Source URL: arts.units.it

• Standard Model
• Elementary particles
• Electroweak theory
• Particle physics
• Quantum field theory
• Higgs boson
• Top quark
• Compact Muon Solenoid
• W and Z bosons
• ATLAS experiment
• B-tagging
• Large ElectronPositron Collider

Urologe [B] 2001 · 41: 272–275 © Springer-Verlag 2001 Redaktion P. Rathert

Source URL: museum.dgu.de