Advances in Production Management Systems. the Path to Digital Transformation and Innovation of Production Management Systems: Ifip Wg 5.7 Internation, Lalic Bojan, Majstorovic Vidosav, Marjanovic Ugljesa
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2020, colocated with ETAPS 2020, held in Dublin, Ireland, in April 2020.
Описание: The two-volume set IFIP AICT 591 and 592 constitutes the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2020, held in Novi Sad, Serbia, in August/September 2020. The 164 papers presented were carefully reviewed and selected from 199 submissions.
Описание: The two-volume set IFIP AICT 566 and 567 constitutes the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2019, held in Austin, TX, USA. The 161 revised full papers presented were carefully reviewed and selected from 184 submissions.
Описание: The two-volume set IFIP AICT 566 and 567 constitutes the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2019, held in Austin, TX, USA. The 161 revised full papers presented were carefully reviewed and selected from 184 submissions.
Описание: Challenges of Implementing Rating System for Knowledge Assessment at the Russian Higher Education Institutions.- An integrated approach to assessing the forest resource potential of the region.- Smart technologies as a factor affecting the economic efficiency of oil and gas companies: the case of Russia.- Precariat as a Challenge to the Development of Regional Human Resources: Economic and Medical Aspects.- Trust as a factor of interaction efficiency.- Staffing of Cluster Initiatives in Russia.- Influence of Human Capital on Innovative Development of Regions.- Modeling the production of GRP regions of the North of Russia.- Russian-Chinese relations in the Far East: the problem of exports and imports.- Modeling the Impact of enterprise bankruptcy on unemployment rate.- The model of consumption in a regional cluster of meat and related products.- Incomplete Passenger Fare at Commuter Trains.
Описание: This book constitutes the refereed post-conference proceedings of the Second IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2019, held in Tampa, USA, in October/ November 2019. The 11 full papers presented were carefully reviewed and selected from 22 submissions.
Описание: This book examines the Indian mandate for Corporate Social Responsibility (CSR) and its implementations in various individual organizations. The book explores the various facets of CSR investigation and places special emphasis on the Schedule VII of the Indian Companies Act of 2013, which defines specific areas of intervention for these companies.
Описание: This book constitutes the refereed proceedings of the 35th IFIP TC 11 International Conference on Information Security and Privacy Protection, SEC 2020, held in Maribor, Slovenia, in September 2020. The papers present novel research on theoretical and practical aspects of security and privacy protection in ICT systems.
Описание: This book constitutes the refereed proceedings of the 13th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2020, held in Wageningen, The Netherlands, in February 2020. The 22 full papers and 3 short papers were carefully reviewed and selected from 29 submissions.
Full Papers.- Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.- Towards Bridging Time and Causal Reversibility.- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.- Conformance-Based Doping Detection for Cyber-Physical Systems.- On Implementable Timed Automata?.- Deep Statistical Model Checking.- Trace Equivalence and Epistemic Logic to Express Security Properties.- Derivation of Heard-Of Predicates From Elementary Behavioral Patterns.- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.- A Formal Framework for Consent Management.- Tutorials.- Tutorial: Parameterized Verification with Byzantine Model Checker.- Typechecking Java Protocols with [St]Mungo.- Short Paper.- Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).
Описание: This book constitutes the refereed proceedings of the 34th IFIP TC 11 International Conference on Information Security and Privacy Protection, SEC 2019, held in Lisbon, Portugal, in June 2019. The 26 revised full papers presented were carefully reviewed and selected from 76 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
