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

الدعم

غلاف Mario Bravetti & Leila Kloul: Formal Techniques for Computer Systems and Business Processes (PDF)

€58.12

قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!

لغة الإنجليزية ● شكل PDF ● ISBN 9783540319030 ● محرر Mario Bravetti & Leila Kloul ● الناشر Springer Berlin Heidelberg ● نشرت 2005 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 6316530 ● حماية النسخ Adobe DRM

يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

Mario Bravetti Leila Kloul Gianluigi Zavattaro

89٬089 كتب إلكترونية في هذه الفئة

غلاف Bolin Kumar Konwar: Bacterial Biopolymers

Bolin Kumar Konwar: Bacterial Biopolymers

Bacterial biopolymers are a competitive new area of research with potential applications in agriculture, petroleum exploration, and use as biodegradable plastics. This new volume provides compre …

غلاف Ben Pitcher: Consuming Race

Ben Pitcher: Consuming Race

From the rise of Nordic noir to a taste for street food, from practices of natural gardening to the aesthetics of children”s TV, contemporary culture is saturated with racial meanings. By consuming …

غلاف Edlyne Eze Anugwom: Development in Nigeria

Edlyne Eze Anugwom: Development in Nigeria

This book unravels the trajectories and dilemmas of development in Nigeria since its independence in 1960. Despite enormous human and material resources, development progress in Nigeria has not met e …

غلاف Elizabeth Mackinlay: Writing Feminist Autoethnography

Elizabeth Mackinlay: Writing Feminist Autoethnography

Writing Feminist Autoethnography explores the personal-is-political relationship between autoethnography and feminist theory and practice. Each chapter introduces the lives and works of a range of fe …

غلاف James H. Conrad & Thad Sitton: Freedom Colonies

James H. Conrad & Thad Sitton: Freedom Colonies

A history of independent African American settlements in Texas during the Jim Crow era, featuring historical and contemporary photographs. In the decades following the Civil War, nearly a quarter of …

غلاف Yasir Suleiman: Arabic Sociolinguistics

Yasir Suleiman: Arabic Sociolinguistics

A coherent and stimulating survey of current research. …

غلاف Brian Moeran: Asian Media Productions

Brian Moeran: Asian Media Productions

A substantial book on the social practices and cultural attitudes of people producing, reading, watching and listening to different kinds of media in Japan, China, Taiwan, Indonesia, Vietnam, Singapo …

غلاف Quintin Bradley: The Tenants'' Movement

Quintin Bradley: The Tenants” Movement

The Tenants” Movement is both a history of tenant organization and mobilization, and a guide to understanding how the struggles of tenant organizers have come to shape housing policy today. Charting …

غلاف Scott (Displacement Solutions; University of Melbourne, Australia) Leckie: Land Solutions for Climate Displacement

Scott (Displacement Solutions; University of Melbourne, Australia) Leckie: Land Solutions for Climate Displacement

The threat of climate displacement looms large over a growing number of countries. Based on the more than six years of work by Displacement Solutions in ten climate-affected countries, academic work …

غلاف Samuel Y. Liang: Remaking China''s Great Cities

Samuel Y. Liang: Remaking China”s Great Cities

China’s rapid urbanization has restructured the great socialist cities Beijing, Shanghai, and Guangzhou into mega cities that embrace global capitalism. This book focuses on the urban transformations …

الصفحة التالية >>>