Catalog > Scienza > Tecnica > Elettronica, ingegneria elettrica, telecomunicazioni > 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

Supporto

Copertina di 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

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato EPUB ● ISBN 9783030003890 ● Editore Corina Cirstea ● Casa editrice Springer International Publishing ● Pubblicato 2018 ● Scaricabile 3 volte ● Moneta EUR ● ID 6787999 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

18.646 Ebook in questa categoria

Copertina di Dimitris Kanellopoulos: Emerging Research on Networked Multimedia Communication Systems

Dimitris Kanellopoulos: Emerging Research on Networked Multimedia Communication Systems

Copertina di Pawel Czarnul: Integration of Services into Workflow Applications

Pawel Czarnul: Integration of Services into Workflow Applications

Describing state-of-the-art solutions in distributed system architectures, Integration of Services into Workflow Applications presents a concise approach to the integration of loosely coupled service …

Copertina di Edward Lamie: Real-Time Embedded Multithreading Using ThreadX

Edward Lamie: Real-Time Embedded Multithreading Using ThreadX

This second edition of Real-Time Embedded Multithreading contains the fundamentals of developing real-time operating systems and multithreading with all the new functionality of Thread X Version 5. T …

Copertina di M.V. (Indian Inst. of Tech Roorkee, India) Kartikeyan & Leeladhar (Shri G. S. Inst. of Tech. and Science, Indore, India) Malviya: MIMO Antennas for Wireless Communication

M.V. (Indian Inst. of Tech Roorkee, India) Kartikeyan & Leeladhar (Shri G. S. Inst. of Tech. and Science, Indore, India) Malviya: MIMO Antennas for Wireless Communication

The desired objective of this book is to investigate diversity and mutual coupling effects on MIMO antenna designs for WLAN/Wi MAX/LTE applications, controlled with diversity and ground modification …

Copertina di Kamaljit I. Lakhtaria: Next Generation Wireless Network Security and Privacy

Kamaljit I. Lakhtaria: Next Generation Wireless Network Security and Privacy

Copertina di 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 …

Copertina di Philip (Securely Yours LLC, Bloomfield Hills, Michigan, USA) Chukwuma & Richard Cozart: Security and Auditing of Smart Devices

Philip (Securely Yours LLC, Bloomfield Hills, Michigan, USA) Chukwuma & Richard Cozart: Security and Auditing of Smart Devices

Most organizations have been caught off-guard with the proliferation of smart devices. The IT organization was comfortable supporting the Blackberry due to its ease of implementation and maintenance. …

Copertina di Weiming Shen: Multi-Agent Systems for Concurrent Intelligent Design and Manufacturing

Weiming Shen: Multi-Agent Systems for Concurrent Intelligent Design and Manufacturing

Agent Technology, or Agent-Based Approaches, is a new paradigm for developing software applications. It has been hailed as ”the next significant breakthrough in software development”, and ”the new …

Copertina di 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 …

Copertina di 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 …

Pagina successiva >>>