Swift 2 for Absolute Beginners is perfect for those with no programming background, those with some programming experience but no object-oriented experience, or those that have a great idea for an app but haven't programmed since school, and it is now updated for Swift 2.
This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014.
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.
Two central ideas in the movement toward advanced automation systems are the office-of-the-future (or office automation system), and the factory- of-the-future (or factory automation system).
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014.
Fortran, die seit vierzig Jahren führende Programmiersprache der Numerischen Datenverarbeitung (des Scientific Computing), hat vor kurzem eine radikale Modernisierung erfahren: Fortran 90, das die bisherige Version FORTRAN 77 vollständig umfaßt und darüber hinaus neue, mächtige Sprachkonstrukte enthält, die eine Grundlage für die Entwicklung qualitativ hochstehender numerischer Software bilden.
Most computer users are familiar with the problems of sharing software with others, and the transfer of programs from one computing environment to another.
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology.
This book constitutes the refereed proceedings of the 7th International Symposium on End-User Development, IS-EUD 2017, held in Hatfield, UK, in July 2019.
This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.
This book constitutes the refereed conference proceedings of the 28th International Conference on Inductive Logic Programming, ILP 2018, held in Ferrara, Italy, in September 2018.
Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.
This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014 held in Bucharest, Romania, in September 2014.
Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software.
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.
In a relatively short span of time, computers have evolved from huge mainframes to small and elegant desktop computers, and now to low-power, ultra-portable handheld devices.
Python ist eine übersichtliche Programmiersprache, die objektorientierte und strukturierte Programmierung ermöglicht sowie Aspekt-orientierte und funktionale Features besitzt.
Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years.
Gain the R programming language fundamentals for doing the applied statistics useful for data exploration and analysis in data science and data mining.
Extensive research and development has produce mutation tools for languages such as Fortran, Ada, C, and IDL; empirical evaluations comparing mutation with other test adequacy criteria; empirical evidence and theoretical justification for the coupling effect; and techniques for speeding up mutation testing using various types of high performance architectures.
This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17-19, 2022.
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.
In this 100-page book, you will find that Stripes provides a very simple learning path, where you do not need to understand the entire framework in order to use it.
This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchatel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.
Written by the creator of the Unicon programming language, this book will show you how to implement programming languages to reduce the time and cost of creating applications for new or specialized areas of computingKey FeaturesReduce development time and solve pain points in your application domain by building a custom programming languageLearn how to create parsers, code generators, file readers, analyzers, and interpretersCreate an alternative to frameworks and libraries to solve domain-specific problemsBook DescriptionThe need for different types of computer languages is growing rapidly and developers prefer creating domain-specific languages for solving specific application domain problems.