Ernst-Rüdiger Olderog's Documents

Ernst-Rüdiger Olderog's Documents

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September
Read more
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
Read more
Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)

Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)
Read more
Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification
Read more
Correct System Design

Correct System Design
Read more
Correct System Design

Correct System Design
Read more
Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification
Read more
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Volume 23)

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Volume 23)
Read more
Net Entrepreneurs Only: 10 Entrepreneurs Tell the Stories of Their Success

Net Entrepreneurs Only: 10 Entrepreneurs Tell the Stories of Their Success
Read more
Оценка бизнеса

Оценка бизнеса
Read more
Architects' Data

Architects' Data
Read more
Strategic Business Risk: 2008 – the Top 10 Risks For Business

Strategic Business Risk: 2008 – the Top 10 Risks For Business
Read more
Correct system design: recent insights and advances (Lecture Notes in Computer Science 1710)

Correct system design: recent insights and advances (Lecture Notes in Computer Science 1710)
Read more
Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)

Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)
Read more
Lawyers against Labor: From Individual Rights to Corporate Liberalism (Working Class in American History)

Lawyers against Labor: From Individual Rights to Corporate Liberalism (Working Class in American History)
Read more
The Political Science Toolbox: A Research Companion to American Government

The Political Science Toolbox: A Research Companion to American Government
Read more
Martin Heidegger: Between Good and Evil

Martin Heidegger: Between Good and Evil
Read more
Event Representation in Language and Cognition (Language Culture and Cognition (No. 11))

Event Representation in Language and Cognition (Language Culture and Cognition (No. 11))
Read more
Writing Your Own Toy OS

Writing Your Own Toy OS
Read more
Is the Death Penalty Dying?: European and American Perspectives

Is the Death Penalty Dying?: European and American Perspectives
Read more
The Ernst & Young Tax Guide 2004 (Ernst and Young Tax Guide)

The Ernst & Young Tax Guide 2004 (Ernst and Young Tax Guide)
Read more
Hard-to-Measure Goods and Services: Essays in Honor of Zvi Griliches

Hard-to-Measure Goods and Services: Essays in Honor of Zvi Griliches
Read more
Hard-to-Measure Goods and Services: Essays in Honor of Zvi Griliches (National Bureau of Economic Research Studies in Income and Wealth)

Hard-to-Measure Goods and Services: Essays in Honor of Zvi Griliches (National Bureau of Economic Research Studies in Income and Wealth)
Read more
Verification of sequential and concurrent programs

Verification of sequential and concurrent programs
Read more
Греко-русский словарь к учебнику

Греко-русский словарь к учебнику
Read more
Markov processes and potential theory

Markov processes and potential theory
Read more
Historical Dictionary of the People's Republic of China

Historical Dictionary of the People's Republic of China
Read more
Markov Processes and Potential Theory

Markov Processes and Potential Theory
Read more
Beyond Health Insurance: Public Policy to Improve Health (Advances in Health Economics and Health Services Research)

Beyond Health Insurance: Public Policy to Improve Health (Advances in Health Economics and Health Services Research)
Read more
Beyond Health Insurance: Public Policy to Improve Health (Advances in Health Economics and Health Services Research)

Beyond Health Insurance: Public Policy to Improve Health (Advances in Health Economics and Health Services Research)
Read more