电子书 > 科学 > 计算机科学 > 应用软件 > Marco Bernardo & Pierpaolo Degano: Formal Methods for Computational Systems Biology (PDF)

Marco Bernardo & Pierpaolo Degano
Formal Methods for Computational Systems Biology [PDF ebook]
8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

支持

的封面 Marco Bernardo & Pierpaolo Degano: Formal Methods for Computational Systems Biology (PDF)

€57.52

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● ISBN 9783540688945 ● 编辑 Marco Bernardo & Pierpaolo Degano ● 出版者 Springer Berlin Heidelberg ● 发布时间 2008 ● 下载 6 时 ● 货币 EUR ● ID 6357057 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Marco Bernardo Pierpaolo Degano Gianluigi Zavattaro

14,515 此类电子书

的封面 Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

的封面 Darryl Bartlett: Swift Programming in easy steps

Darryl Bartlett: Swift Programming in easy steps

Swift is very easy to learn and it’s more readable than most programming languages. It allows you to build applications for i Phone, i Pad, Apple Watch, Apple TV and Mac. Swift Programming in easy st …

的封面 Richard Urwin: Artificial Intelligence for Developers in easy steps

Richard Urwin: Artificial Intelligence for Developers in easy steps

Artificial Intelligence for Developers in easy steps is for coders who want to enhance their skillset quickly and easily. Artificial Intelligence (AI) is here to stay, and this guide reveals how AI w …

的封面 Mamoun Alazab & Yassine Maleh: Blockchain for Cybersecurity and Privacy

Mamoun Alazab & Yassine Maleh: Blockchain for Cybersecurity and Privacy

Blockchain technology is defined as a decentralized system of distributed registers that are used to record data transactions on multiple computers. The reason this technology has gained popularity i …

的封面 Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

The book covers data privacy in depth with respect to data mining, test data management, synthetic data generation etc. It formalizes principles of data privacy that are essential for good anonymizat …

的封面 Boualem (University of New South Wales, Sydney, Australia) Benatallah & Jinjun (Swinburne University of Technology) Chen: Cloud Computing

Boualem (University of New South Wales, Sydney, Australia) Benatallah & Jinjun (Swinburne University of Technology) Chen: Cloud Computing

Cloud computing has created a shift from the use of physical hardware and locally managed software-enabled platforms to that of virtualized cloud-hosted services. Cloud assembles large networks of vi …

的封面 Alexandre F Malavasi Cardoso: Implementing Design Patterns in C# 11 and .NET 7 - 2nd Edition

Alexandre F Malavasi Cardoso: Implementing Design Patterns in C# 11 and .NET 7 – 2nd Edition

This book is a complete guide to design patterns and object-oriented programming (OOP) in C# and .NET. It covers everything from the basics of C# and Visual Studio to advanced topics like software ar …

的封面 Charles W. (University of Maryland, College Park, USA) Kann: Creating Components

Charles W. (University of Maryland, College Park, USA) Kann: Creating Components

Concurrency is a powerful technique for developing efficient and lightning- fast software. For instance, concurrency can be used in common applications such as online order processing to speed proces …

的封面 S. Karthik & N. Karthikeyan: Deep Learning Innovations and Their Convergence With Big Data

S. Karthik & N. Karthikeyan: Deep Learning Innovations and Their Convergence With Big Data

的封面 Ivica Coric & Drazena Gaspar: Bridging Relational and NoSQL Databases

Ivica Coric & Drazena Gaspar: Bridging Relational and NoSQL Databases