| Springer Nature B.V.

69,980원  | 20230601  | 9783031340352

This book constitutes the proceedings of the 20th International Conference on Unconventional Computation and Natural Computation, UCNC 2023, held in?Jacksonville,?FL, USA, in March?13-17, 2023. The UCNC conference series covers fundamental research on computation beyond the standard Turing model, including computational models and methods inspired by nature, and the computational properties of natural processes.

 | Springer Nature B.V.

0원  | 20160212  | 9783662491232

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The ?24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions.

 | Springer Nature B.V.

69,980원  | 20220527  | 9783031065170

This book constitutes the thoroughly refereed proceedings of the 17th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2022, held in Tampa, FL, USA, in June 2022. The 37 revised full research papers, included in the volume were carefully reviewed and selected from 103 submissions.