Catalog > Sains > Sains Komputer > Sains Komputer > Juliano Iyoda & Leonardo de Moura: Formal Methods: Foundations and Applications (PDF)

Juliano Iyoda & Leonardo de Moura
Formal Methods: Foundations and Applications [PDF ebook]
16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 – October 4, 2013. Proceedings

Sokongan

perlindungan daripada Juliano Iyoda & Leonardo de Moura: Formal Methods: Foundations and Applications (PDF)

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

€51.57

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format PDF ● ISBN 9783642410710 ● Penyunting Juliano Iyoda & Leonardo de Moura ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2013 ● Muat turun 3 kali ● Mata wang EUR ● ID 6378607 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Juliano Iyoda Leonardo de Moura

16,384 Ebooks dalam kategori ini

perlindungan daripada Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

perlindungan daripada Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

An ideal reference source for CEOs, marketing and sales managers, sales consultants, and students of international marketing, Guide to Software Export provides a step-by-step approach to initiating o …

perlindungan daripada Joanna Kulesza: International Internet Law

Joanna Kulesza: International Internet Law

This book discusses the international legal issues underlying Internet Governance and proposes an international solution to its problems. The book encompasses a wide spectrum of current debate surrou …

perlindungan daripada Ying Bai: The Windows Serial Port Programming Handbook

Ying Bai: The Windows Serial Port Programming Handbook

The popularity of serial communications demands that additional serial port interfaces be developed to meet the expanding requirements of users. The Windows Serial Port Programming Handbook illustrat …

perlindungan daripada Prem Timsina: Building Transformer Models with PyTorch 2.0

Prem Timsina: Building Transformer Models with PyTorch 2.0

This book covers transformer architecture for various applications including NLP, computer vision, speech processing, and predictive modeling with tabular data. It is a valuable resource for anyone l …

perlindungan daripada Wendy Flores-Fuentes & Julio C. Rodriguez-Quinonez: Examining Optoelectronics in Machine Vision and Applications in Industry 4.0

Wendy Flores-Fuentes & Julio C. Rodriguez-Quinonez: Examining Optoelectronics in Machine Vision and Applications in Industry 4.0

The research and exploitation of optoelectronic properties in the industrial branch of electronics is becoming more popular each day due to the important role they play in the development of a large …

perlindungan daripada Yigit Kazancoglu & Shristi Kharola: Advances in Soft Computing Applications

Yigit Kazancoglu & Shristi Kharola: Advances in Soft Computing Applications

The proclivity of today’s technology to think like humans may be seen in new developing disciplines such as neural computing, fuzzy logic, evolutionary computation, machine learning, and probabilisti …

perlindungan daripada Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …

perlindungan daripada Bill Schmarzo: The Economics of Data, Analytics, and Digital Transformation

Bill Schmarzo: The Economics of Data, Analytics, and Digital Transformation

Build a continuously learning and adapting organization that can extract increasing levels of business, customer and operational value from the amalgamation of data and advanced analytics such as AI …

perlindungan daripada Sharon Yull: BTEC National for IT Practitioners: Core units

Sharon Yull: BTEC National for IT Practitioners: Core units

BTEC National for IT Practitioners has been written specifically to cover the compulsory core units and selected specialist units of the BTEC National specifications. This book provides core unit cov …

Muka surat seterusnya >>>