This is a hands-on guide for power users and Jira administrators to automate daily repetitive and tedious work with no code approach with Jira family including Jira Software, Jira Service Desk, and Jira Core....Loe edasi...
Solves the problem of the development of efficient models, methods, and tools for parallel programming automation based on the algebra of algorithms, term rewriting, and auto-tuning paradigms. The results of this book will help to further improve re...Loe edasi...
Emerging scientific and industrial applications in todays world require significant computing power. Modern software tools are available for such platforms but are relatively complex and require the use of innovative programming models. One promisin...Loe edasi...
This book will help to further develop and improve existing research on design, synthesis, and optimization of sequential and parallel algorithms and programs. It features research on a range of topics, including auto-tuning methods, graphics proces...Loe edasi...
This book shares new approaches and methodologies for code generation, edition, analysis and testing. It also identifies new trends on these topics, from pedagogical strategies to technological approaches--...Loe edasi...
Discusses the generation and writing of computer programming and methods of quality control such as analysis and testing. The book features research on a range of topics, including programming languages, quality assessment, and automated development...Loe edasi...
(Ilmumisaeg: 14-Mar-2017, Hardback, Kirjastus: John Wiley & Sons Inc, ISBN-13: 9781119091806)
The book presents the methodology for robot learning from observations. The focus of the book is on trajectory level of task abstraction. The content is divided into several chapters, with each chapter addressing the methods for tackling individua...Loe edasi...
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers presented in this volume were carefully revie...Loe edasi...
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submission...Loe edasi...
(Ilmumisaeg: 17-Jun-2011, Paperback / softback, Kirjastus: John Wiley & Sons Ltd, ISBN-13: 9780470939208)
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
Authoritative coverage of the latest version of Microsoft s fastest-selling product Imagine being able to perform a task that requires dozens of clicks with just a single command, or automate a series of identical tasks rather than repeat...Loe edasi...
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
This book explores the world of Visual Basic 6 programming with respect to real-world interfacing and control on a beginner to intermediate level, with a home automation system. Includes HVAC systems, water pumps, temperature controls and more....Loe edasi...
(Ilmumisaeg: 08-Apr-1992, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540553007)
In diesem Buch wird ein Verfahren vorgestellt, mit demInduktionsbeweise vonExistenzaussagen automatisch gef}hrtwerden k|nnen. Es ist ein deduktivesProgrammsyntheseverfahren, das ausgehend vonExistenzaussagen, die...Loe edasi...
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
The aim of Partial Evaluation and Mixed Computation is to construct, when given a program and some form of restriction on its usage (e.g. knowledge of some but not all of its input parameter values), a more efficient new or ``residual program that...Loe edasi...
