Ebook > 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.57

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.435 Ebook in questa categoria

Copertina di Le Nguyen (Huawei Technologies, Munich, Germany) Binh: Noises in Optical Communications and Photonic Systems

Le Nguyen (Huawei Technologies, Munich, Germany) Binh: Noises in Optical Communications and Photonic Systems

Transmitting information over optical fibers requires a high degree of signal integrity due to noise levels existing in optical systems. Proper methods and techniques for noise evaluations are critic …

Copertina di Jerry C. (Technical Press, Morgan Hill, California, USA) Whitaker: Microelectronics

Jerry C. (Technical Press, Morgan Hill, California, USA) Whitaker: Microelectronics

When it comes to electronics, demand grows as technology shrinks. From consumer and industrial markets to military and aerospace applications, the call is for more functionality in smaller and smalle …

Copertina di Rick S. (Lehigh University, Bethlehem, Pennsylvania, USA) Blum & Zheng Liu: Multi-Sensor Image Fusion and Its Applications

Rick S. (Lehigh University, Bethlehem, Pennsylvania, USA) Blum & Zheng Liu: Multi-Sensor Image Fusion and Its Applications

Taking another lesson from nature, the latest advances in image processing technology seek to combine image data from several diverse types of sensors in order to obtain a more accurate view of the s …

Copertina di Katsuyuki (IBM Thomas J. Watson Research Center, USA.) Sakuma: Flexible, Wearable, and Stretchable Electronics

Katsuyuki (IBM Thomas J. Watson Research Center, USA.) Sakuma: Flexible, Wearable, and Stretchable Electronics

Remarkable progress has been achieved within recent years in developing flexible, wearable, and stretchable (FWS) electronics. These electronics will play an increasingly significant role in the futu …

Copertina di Mohammad A. Matin: Wideband, Multiband, and Smart Reconfigurable Antennas for Modern Wireless Communications

Mohammad A. Matin: Wideband, Multiband, and Smart Reconfigurable Antennas for Modern Wireless Communications

Copertina di Simon (CEA-LETI, Grenoble, France) Deleonibus: Electronic Devices Architectures for the NANO-CMOS Era

Simon (CEA-LETI, Grenoble, France) Deleonibus: Electronic Devices Architectures for the NANO-CMOS Era

In this book, internationally recognized researchers give a state-of-the-art overview of the electronic device architectures required for the nano-CMOS era and beyond. Challenges relevant to the …

Copertina di Vijayan Sugumaran: Insights into Advancements in Intelligent Information Technologies: Discoveries

Vijayan Sugumaran: Insights into Advancements in Intelligent Information Technologies: Discoveries

Copertina di Seppo Virtanen: Advancing Embedded Systems and Real-Time Communications with Emerging Technologies

Seppo Virtanen: Advancing Embedded Systems and Real-Time Communications with Emerging Technologies

Copertina di Michael A. Brown Sr.: Solutions for High-Touch Communications in a High-Tech World

Michael A. Brown Sr.: Solutions for High-Touch Communications in a High-Tech World

Copertina di Chandrasekar Vuppalapati: Democratization of Artificial Intelligence for the Future of Humanity

Chandrasekar Vuppalapati: Democratization of Artificial Intelligence for the Future of Humanity

Artificial intelligence (AI) stands out as a transformational technology of the digital age. Its practical applications are growing very rapidly. One of the chief reasons AI applications are attainin …

Pagina successiva >>>