Ebook > Sciences > Computer Science > Alexander K. Petrenko & Andrei Voronkov: Perspectives of System Informatics (ePUB)

Alexander K. Petrenko & Andrei Voronkov
Perspectives of System Informatics [EPUB ebook]
11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Support

Cover of Alexander K. Petrenko & Andrei Voronkov: Perspectives of System Informatics (ePUB)

This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017. The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.

€57.82

Buy this ebook and get 1 more FREE!

Language English ● Format EPUB ● ISBN 9783319743134 ● Editor Alexander K. Petrenko & Andrei Voronkov ● Publisher Springer International Publishing ● Published 2018 ● Downloadable 3 times ● Currency EUR ● ID 6210985 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Alexander K. Petrenko Andrei Voronkov

74,362 Ebooks in this category

Cover of Nick Vandome: iPad for Seniors in easy steps, 13th edition

Nick Vandome: iPad for Seniors in easy steps, 13th edition

This bestselling guide, i Pad for Seniors in easy steps, 13th edition, is updated to cover i Pad OS 17. Written in larger type, it’ll help senior folks learn how to use and enjoy myriad i Pad …

Cover of Nick Vandome: iPhone for Seniors in easy steps, 7th edition

Nick Vandome: iPhone for Seniors in easy steps, 7th edition

i Phone for Seniors in easy steps, 7th edition is now updated to cover all i Phones with i OS 14. It’ll show you how to:Make and receive phone calls Text with the Messages app, including a variety of …

Cover of Nick Vandome: Lightroom in easy steps

Nick Vandome: Lightroom in easy steps

Lightroom in easy steps guides you through Adobe Lightroom’s sophisticated range of tools to enable you to create stunning photos. In no time, you’ll master:The desktop, mobile, and web versions of …

Cover of S. Anand & M. Arun: Advanced Image Processing Techniques and Applications

S. Anand & M. Arun: Advanced Image Processing Techniques and Applications

Cover of Md. Imtiyaz Anwar & Rajiv Kapoor: Handbook of Research on Advanced Concepts in Real-Time Image and Video Processing

Md. Imtiyaz Anwar & Rajiv Kapoor: Handbook of Research on Advanced Concepts in Real-Time Image and Video Processing

Cover of Cesar Calvo & Carlos de Huerta: Automate Testing for Power Apps

Cesar Calvo & Carlos de Huerta: Automate Testing for Power Apps

Improve your Power Apps’ quality and business value with efficient automation testing tools such as Test Studio and Test Engine Key Features Understand the basics of low-code testing automation and …

Cover of Christophe Dervieux & Emily Riederer: R Markdown Cookbook

Christophe Dervieux & Emily Riederer: R Markdown Cookbook

This new book written by the developers of R Markdown is an essential reference that will help users learn and make full use of the software. Those new to R Markdown will appreciate the short, prac …

Cover of Donna Z. Davis & Harsha Gangadharbatla: Emerging Research and Trends in Gamification

Donna Z. Davis & Harsha Gangadharbatla: Emerging Research and Trends in Gamification

Cover of Pinaki Banerjee & Siddhartha Bhattacharyya: Handbook of Research on Advanced Hybrid Intelligent Techniques and Applications

Pinaki Banerjee & Siddhartha Bhattacharyya: Handbook of Research on Advanced Hybrid Intelligent Techniques and Applications

Cover of Brock Dubbels: Transforming Gaming and Computer Simulation Technologies across Industries

Brock Dubbels: Transforming Gaming and Computer Simulation Technologies across Industries