E-kitap > Bilim > Genel > Mario Bravetti & Leila Kloul: Formal Techniques for Computer Systems and Business Processes (PDF)

Mario Bravetti & Leila Kloul
Formal Techniques for Computer Systems and Business Processes [PDF ebook]
European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

Destek

Örtmek Mario Bravetti & Leila Kloul: Formal Techniques for Computer Systems and Business Processes (PDF)

€58.12

Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!

Dil İngilizce ● Biçim PDF ● ISBN 9783540319030 ● Editör Mario Bravetti & Leila Kloul ● Yayımcı Springer Berlin Heidelberg ● Yayınlanan 2005 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 6316530 ● Kopya koruma Adobe DRM

DRM özellikli bir e-kitap okuyucu gerektirir

Aynı yazardan daha fazla e-kitap / Editör

Mario Bravetti Leila Kloul Gianluigi Zavattaro

87.636 Bu kategorideki e-kitaplar

Örtmek Nicky Pouw: Wellbeing Economics

Nicky Pouw: Wellbeing Economics

Amidst rising global inequality, migration, climate change, health pandemics, and deepening poverty, it is time to redirect our economy towards more sustainable and socially just processes and outcom …

Örtmek Andrew Fusek Peters: Butterfly Book

Andrew Fusek Peters: Butterfly Book

In this new book on native butterflies we look at the lifecycle of the butterfly alongside many other fascinating facts, all brought to life by the brilliant photography of Andrew Fusek Peters.With c …

Örtmek Steven (Author) Falk: Field Guide to the Bees of Great Britain and Ireland

Steven (Author) Falk: Field Guide to the Bees of Great Britain and Ireland

Bees are a fascinating and indispensable group of insects, but many species are in decline, and efforts to help determine distributions and changes in abundance have to date been compromised by a ser …

Örtmek Christer (Copenhagen Business School, Denmark) Karlsson: Research Methods for Operations and Supply Chain Management

Christer (Copenhagen Business School, Denmark) Karlsson: Research Methods for Operations and Supply Chain Management

Research Methods for Operations and Supply Chain Management, third edition, is a toolkit of research approaches primarily for advanced students and beginner researchers, but also a reference book for …

Örtmek Yi Liu: The Central Government-Funded Teacher Education Policy in China

Yi Liu: The Central Government-Funded Teacher Education Policy in China

This book utilises expectancy–value theory and undermining effect of extrinsic reward theory to examine the impact of the Central Government-Funded Teacher Education (CGFTE) policy on Chinese pre-ser …

Örtmek Madawi Al-Rasheed: Transnational Connections and the Arab Gulf

Madawi Al-Rasheed: Transnational Connections and the Arab Gulf

Transnational Connections and the Arab Gulf presents a study of transnational cultural flows in the Gulf region and beyond. It combines an understanding of the region”s historical connections w …

Örtmek Manuela Melandri: Self-Determination, International Law and Post-Conflict Reconstruction

Manuela Melandri: Self-Determination, International Law and Post-Conflict Reconstruction

The right to self-determination has played a crucial role in the process of assisting oppressed people to put an end to colonial domination. Outside of the decolonization context, however, its releva …

Örtmek Shinji Kawana & Minori Takahashi: Exploring Base Politics

Shinji Kawana & Minori Takahashi: Exploring Base Politics

This book sheds light on the mechanisms of base politics that surround US overseas military bases, comparing several countries across different regions. Analysing cases from Japan, Greenland, Germany …

Örtmek Bernard Linsky & Bertrand Russell: The Problem of China

Bernard Linsky & Bertrand Russell: The Problem of China

”China, by her resources and her population, is capable of being the greatest power in the world after the United States.” Bertrand Russell, The Problem of China In 1920 the philosopher Bertrand Ru …

Örtmek Aaron Ezroj: Carbon Risk and Green Finance

Aaron Ezroj: Carbon Risk and Green Finance

As the world plans for economic recovery following the global COVID-19 pandemic, major economies are looking to comprehensive strategies for addressing carbon risks and identifying green finance oppo …

Sonraki Sayfa >>>