Catalog > Sains > Kejuruteraan / Teknikal > Elektronik, Kejuruteraan Elektrik > Corina Cirstea: Coalgebraic Methods in Computer Science (ePUB)

Corina Cirstea
Coalgebraic Methods in Computer Science [EPUB ebook]
14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers

Sokongan

perlindungan daripada Corina Cirstea: Coalgebraic Methods in Computer Science (ePUB)

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

€57.76

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format EPUB ● ISBN 9783030003890 ● Penyunting Corina Cirstea ● Penerbit Springer International Publishing ● Diterbitkan 2018 ● Muat turun 3 kali ● Mata wang EUR ● ID 6787999 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

18,812 Ebooks dalam kategori ini

perlindungan daripada Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics

Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics

The book offers an insight on artificial neural networks for giving a robot a high level of autonomous tasks, such as navigation, cost mapping, object recognition, intelligent control of ground and a …

perlindungan daripada Spyros G. Tzafestas: Intelligent Robotic Systems

Spyros G. Tzafestas: Intelligent Robotic Systems

A multiplicity of techniques and angles of attack are incorporated in 18 contributions describing recent developments in the structure, architecture, programming, control, and implementation of indus …

perlindungan daripada Denise Brehaut: GMDSS

Denise Brehaut: GMDSS

The Global Maritime Distress and Safety System (GMDSS) – the maritime equivalent to the emergency services number – provides a fast and efficient way of calling for assistance at sea, whatever the si …

perlindungan daripada S.B. Furber: VLSI Risc Architecture and Organization

S.B. Furber: VLSI Risc Architecture and Organization

With the expectation that architectural improvements will play a significant role inadvancing processor performance, it is critical for readers to maintain an up-to-date, unified overview of technolo …

perlindungan daripada Evgeni Perelroyzen: Digital Integrated Circuits

Evgeni Perelroyzen: Digital Integrated Circuits

A current trend in digital design-the integration of the MATLAB® components Simulink® and Stateflow® for model building, simulations, system testing, and fault detection-allows for better control ove …

perlindungan daripada Thomas Sikina: Introduction to Active Phased Arrays

Thomas Sikina: Introduction to Active Phased Arrays

Written by a renowned expert in the field, this book presents the fundamentals of phased array systems, including contemporary and advanced methods. It features applications ranging from advanced and …

perlindungan daripada J Ronayne: Integrated Services Digital Network

J Ronayne: Integrated Services Digital Network

An introduction to ‘ISDN’ which brings the technology up-to-date, incorporating developments in ‘ATM’, ‘SDH’ and Broadband ‘ISDN’. This book is suitable for self-learning communications professionals …

perlindungan daripada Winburn: Practical Laser Safety

Winburn: Practical Laser Safety

Contains the latest revision of ANSI standards for safe use of lasers. A workbench guide that explains how a laser works, what a laser beam can do to biological tissue and eyewear lenses, and how to …

perlindungan daripada Cliff Wootton: Developing Quality Metadata

Cliff Wootton: Developing Quality Metadata

With the explosion of new audio and video content on the Web, it”s more important than ever to use accurate and comprehensive metadata to get the most out of that content. Developing Quality Metadat …

perlindungan daripada Steve Moore: Designing with Analog Switches

Steve Moore: Designing with Analog Switches

A practical guide for design engineers especially those involved with digital/analog interfaces to how analog switches and multiplexers work, how to design with them, and how to select the best devic …

Muka surat seterusnya >>>