E-bok > Sciences > Teknik > Elektronik, Elektroteknik > 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

Stöd

Omslag till 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

Köp den här e-boken och få 1 till GRATIS!

Språk Engelska ● Formatera EPUB ● ISBN 9783030003890 ● Redaktör Corina Cirstea ● Utgivare Springer International Publishing ● Publicerad 2018 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 6787999 ● Kopieringsskydd Adobe DRM

Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

18 435 E-böcker i denna kategori

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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

Omslag till 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 …

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

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

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

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

Omslag till 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

Omslag till 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 …

Nästa sida >>>