Angebote zu "Proceedings" (208 Treffer)

Theoretical Computer Science
€ 54.99 *
ggf. zzgl. Versand

This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2018, held in Shanghai, China, in October 2018. The 11 full papers presented were carefully reviewed and selected from 31 submissions. They present relevant trends of current research in the area of algorithms and complexity, software theory and method, data science and machine learning theory.

Anbieter: buecher.de
Stand: Oct 2, 2018
Zum Angebot
Advances in Computing and Data Sciences
€ 83.99 *
ggf. zzgl. Versand

This two-volume set (CCIS 905 and CCIS 906) constitutes the refereed proceedings of the Second International Conference on Advances in Computing and Data Sciences, ICACDS 2018, held in Dehradun, India, in April 2018. The 110 full papers were carefully reviewed and selected from 598 submissions. The papers are centered around topics like advanced computing, data sciences, distributed systems organizing principles, development frameworks and environments, software verification and validation, computational complexity and cryptography, machine learning theory, database theory, probabilistic representations.

Anbieter: buecher.de
Stand: Oct 20, 2018
Zum Angebot
Advances in Computing and Data Sciences
€ 90.99 *
ggf. zzgl. Versand

This two-volume set (CCIS 905 and CCIS 906) constitutes the refereed proceedings of the Second International Conference on Advances in Computing and Data Sciences, ICACDS 2018, held in Dehradun, India, in April 2018. The 110 full papers were carefully reviewed and selected from 598 submissions. The papers are centered around topics like advanced computing, data sciences, distributed systems organizing principles, development frameworks and environments, software verification and validation, computational complexity and cryptography, machine learning theory, database theory, probabilistic representations.

Anbieter: buecher.de
Stand: Oct 20, 2018
Zum Angebot
Formal Methods: Foundations and Applications
€ 53.99 *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018. The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical foundations; verification and validation; experience reports regarding teaching formal methods; and applications.

Anbieter: buecher.de
Stand: Oct 19, 2018
Zum Angebot
Formal Methods and Software Engineering
€ 59.99 *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

Anbieter: buecher.de
Stand: Oct 19, 2018
Zum Angebot
Advances in Intelligent Data Analysis XVII
€ 60.99 *
ggf. zzgl. Versand

This book constitutes the conference proceedings of the 17th International Symposium on Intelligent Data Analysis, which was held in October 2018 in ´s-Hertogenbosch, the Netherlands. The traditional focus of the IDA symposium series is on end-to-end intelligent support for data analysis. The 29 full papers presented in this book were carefully reviewed and selected from 65 submissions. The papers cover all aspects of intelligent data analysis, including papers on intelligent support for modeling and analyzing data from complex, dynamical systems.

Anbieter: buecher.de
Stand: Oct 11, 2018
Zum Angebot
Provable Security
€ 67.99 *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 12 th International Conference on Provable Security, ProvSec 2018, held in Jeju, South Korea, in October 2018. The 21 full and 4 short papers presented were carefully reviewed and selected from 48 submissions. The papers are grouped in topical sections on foundation. Public key encryption, digital signature, symmetric key cryptography, and applications.

Anbieter: buecher.de
Stand: Oct 11, 2018
Zum Angebot
Relational and Algebraic Methods in Computer Sc...
€ 60.99 *
ggf. zzgl. Versand

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018. The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.

Anbieter: buecher.de
Stand: Oct 11, 2018
Zum Angebot
Computer Performance Engineering
€ 53.99 *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 15th European Workshop on Computer Performance Engineering, EPEW 2018, held in Paris, France, in October 2018. The 17 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 27 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from advances in performanceengineering realm, including, dependability and security modeling, performance oriented model verification and testing, hardware and software systems case-studies, applications/extensions of queuing theory and network design

Anbieter: buecher.de
Stand: Oct 11, 2018
Zum Angebot
Communication, Networks and Computing
€ 90.99 *
ggf. zzgl. Versand

This book (CCIS 839) constitutes the refereed proceedings of the First International Conference on Communication, Networks and Computings, CNC 2018, held in Gwalior, India, in March 2018. The 70 full papers were carefully reviewed and selected from 182 submissions. The papers are organized in topical sections on wired and wireless communication systems, high dimensional data representation and processing, networks and information security, computing techniques for efficient networks design, electronic circuits for communication system.

Anbieter: buecher.de
Stand: Oct 11, 2018
Zum Angebot