Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I, Lahiri Shuvendu K., Wang Chao

Автор: Lahiri Shuvendu K., Wang Chao
Название: Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part II
ISBN: 3030532909 ISBN-13(EAN): 9783030532901
Издательство: Springer
Рейтинг:
Цена: 37260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Model Checking.- Software Verification.- Stochastic Systems.- Synthesis.

Автор: Dillig Isil, Tasiran Serdar
Название: Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I
ISBN: 3030255395 ISBN-13(EAN): 9783030255398
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The papers were organized in the following topical sections: Part I: automata and timed systems;

Автор: Dustdar Schahram, Yu Eric, Salinesi Camille
Название: Advanced Information Systems Engineering: 32nd International Conference, Caise 2020, Grenoble, France, June 8-12, 2020, Proceedings
ISBN: 3030494349 ISBN-13(EAN): 9783030494346
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 32nd International Conference on Advanced Information Systems Engineering, CAiSE 2020, held in Grenoble, France, in June 2020.*The 33 full papers presented in this volume were carefully reviewed and selected from 185 submissions.

Автор: Benzmьller Christoph, Miller Bruce
Название: Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
ISBN: 3030535177 ISBN-13(EAN): 9783030535179
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions.

Автор: Martel Anne L., Abolmaesumi Purang, Stoyanov Danail
Название: Medical Image Computing and Computer Assisted Intervention - Miccai 2020: 23rd International Conference, Lima, Peru, October 4-8, 2020, Proceedings, P
ISBN: 303059727X ISBN-13(EAN): 9783030597276
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The seven-volume set LNCS 12261, 12262, 12263, 12264, 12265, 12266, and 12267 constitutes the refereed proceedings of the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, held in Lima, Peru, in October 2020.

Автор: Silhavy Radek
Название: Intelligent Algorithms in Software Engineering: Proceedings of the 9th Computer Science On-Line Conference 2020, Volume 1
ISBN: 3030519643 ISBN-13(EAN): 9783030519643
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A Prescriptive Analytical Logic Model Incorporates With Analytic Hierarchy Process for Software Application Error Analysis.- Software requirement in iterative SDLC model.- Simplified Framework of Natural Language Processing for Structure Management of Current-age Data.- Design and Software Implementation of Heuristic and Suboptimal Strategies for the Mancala/Kalah Game.- Sector-Selective Hybrid Scheme facilitating Hardware Supportability over Image Compression.- Performance Evaluation of Joint Rate-Distortion Model of Video Codec.- To Defeat DDoS Attacks in Cloud Computing Environ-ment using Software Defined Networking (SDN).- Oriented Petri Nets As Means Of Describing A Human-Computer Interaction.

Автор: Fahrenberg Uli, Jipsen Peter, Winter Michael
Название: Relational and Algebraic Methods in Computer Science: 18th International Conference, Ramics 2020, Palaiseau, France, October 26-29, 2020, Proceedings
ISBN: 3030435199 ISBN-13(EAN): 9783030435196
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020, which was due to be held in Palaiseau, France, in April 2020.

Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay
Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part V
ISBN: 3030588130 ISBN-13(EAN): 9783030588137
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.

Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay
Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part II
ISBN: 3030588017 ISBN-13(EAN): 9783030588014
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.

Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay
Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part VII
ISBN: 303058819X ISBN-13(EAN): 9783030588199
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.

Автор: Sun Xingming, Wang Jinwei, Bertino Elisa
Название: Artificial Intelligence and Security: 6th International Conference, Icais 2020, Hohhot, China, July 17-20, 2020, Proceedings, Part I
ISBN: 3030578836 ISBN-13(EAN): 9783030578831
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two-volume set LNCS 12239-12240 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020.

Автор: De Paolis Lucio Tommaso, Bourdot Patrick
Название: Augmented Reality, Virtual Reality, and Computer Graphics: 7th International Conference, Avr 2020, Lecce, Italy, September 7-10, 2020, Proceedings, Pa
ISBN: 3030584674 ISBN-13(EAN): 9783030584672
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2020, held in Lecce, Italy, in September 2020.*The 45 full papers and 14 short papers presented were carefully reviewed and selected from 99 submissions.