Название: Android Studio Flamingo Essentials - Kotlin Edition: Developing Android Apps Using Android Studio 2022.2.1 and Kotlin
Автор: Neil Smyth
Издательство: Payload Media
Год: 2023 (Rev: 1.0)
Страниц: 824
Язык: английский
Формат: pdf (true)
Размер: 50.7 MB

Fully updated for Android Studio Flamingo, this book aims to teach you how to develop Android-based applications using the Kotlin programming language. This book begins with the basics and outlines how to set up an Android development and testing environment followed by an introduction to programming in Kotlin, including data types, control flow, functions, lambdas, and object-oriented programming. Asynchronous programming using Kotlin coroutines and flow is also covered in detail. An overview of Android Studio is included covering areas such as tool windows, the code editor, and the Layout Editor tool. An introduction to the architecture of Android is followed by an in-depth look at the design of Android applications and user interfaces using the Android Studio environment.

Название: Programming Language Theory and Formal Methods
Автор: Zoran Gacovski
Издательство: Arcler Press
Год: 2023
Страниц: 404
Язык: английский
Формат: pdf (true)
Размер: 22.6 MB

In this book - we present topics formal grammars in programming, programming languages semantics, finite automata, and formal methods and semantics in distributed software. Section 1 focuses on formal methods in programming, describing integrating formal methods in XP (extreme programming) - a conceptual solution, formal methods for commercial, applications issues vs. solutions, why formal methods are considered for safety critical systems, and integration of UML sequence diagram with formal specification methods-a formal solution based on Z. Section 2 focuses on programming languages semantics, describing declarative programming with temporal constraints, in the language CG, formal syntax and semantics for a subset of the solidity programming language in mathematical tool coq, ontology of domains. ontological description software engineering domain - the standard life cycle, guidelines based software engineering for developing software components, intelligent agent based mapping of software requirement specification to design model. Section 3 focuses on finite automata, describing the equivalent conversion between regular grammar and finite automata, controllability, reachability, and stabilizability of finite a controllability matrix method, bounded model checking of ETL cooperating with finite and looping automata connectives, an automata-based approach to pattern matching, tree automata for extracting consensus from partial replicas of a structured document. Section 4 focuses on formal methods and semantics in distributed software, describing building requirements semantics for networked software interoperability.

Название: Programming language theory
Автор: Alvin Albuero De Luna
Издательство: Arcler Press
Год: 2023
Страниц: 248
Язык: английский
Формат: pdf (true)
Размер: 14.3 MB

The book "Theory of Programming Language" thoroughly examines the subject and various real-world applications of computer technology. Programming language theory is an area of computer science that focuses on the creation, execution, analysis, characterization, and classification of formal programming languages. This comprehensive text introduces the ideas, methods, and sophisticated instrumentation techniques used in programming for beginning computer science students and researchers. This book also provides a reliable study of the programming language and projects its future evolution. It does a fantastic job of giving an overview of the numerous issues addressed in the theory that underpins programming languages. The readers of this handbook can easily understand the fundamental principles that constitute the basis for the philosophy of programming languages. This is because the material is organized and presented in a reader-friendly way. This book is a valuable resource for students, professors, and developers interested in programming language and its theory.

Название: Exploring Data Science with R and the Tidyverse, A Concise Introduction
Автор: Jerry Bonnell, Mitsunori Ogihara
Издательство: CRC Press
Год: 2024
Страниц: 492
Язык: английский
Формат: pdf (true)
Размер: 20.8 MB

This book introduces the reader to data science using R and the tidyverse. No prerequisite knowledge is needed in college-level programming or mathematics (e.g., calculus or statistics). The book is self-contained so readers can immediately begin building data science workflows without needing to reference extensive amounts of external resources for onboarding. The contents are targeted for undergraduate students but are equally applicable to students at the graduate level and beyond. The book develops concepts using many real-world examples to motivate the reader. An accompanying R package "edsdata" contains synthetic and real datasets used by the textbook and is meant to be used for further practice. An exercise set is made available and designed for compatibility with automated grading tools for instructor use.

Название: Синтаксис языков программирования
Автор: Братчиков И.Л.
Издательство: Наука
Год издания: 1975
Количество страниц: 234
Язык: русский
Формат: DjVu
Размер: 10,26 Мб

В настоящей книге освещаются наиболее существенные синтаксические особенности алгоритмических языков и используемые в настоящее время методы их описания и изучения. Предполагается знание читателями языка АЛГОЛ-60. Примеры из других языков снабжаются подробными пояснениями.
Книга рассчитана на системных программистов, а также на студентов, аспирантов и инженеров, интересующихся аналогичными вопросами.

Название: From Source Code To Machine Code: Build Your Own Compiler From Scratch
Автор: James Smith
Издательство: Leanpub
Год: 2023-05-18
Страниц: 102
Язык: английский
Формат: pdf (true), epub, mobi + Extras
Размер: 10.2 MB

Ever wondered how computers turn source code into working software? You can learn the art by building your own mini-compiler. A succinct book walks through a minimal yet complete compiler implementation. Compiles a static-typed language into x64 ELF executables. Like my other books, this book follows a step-by-step approach. You start with simple things, like a calculator, then a simple interpreter. Then you tackle the compiler bit-by-bit, compiling to bytecode, learning assembly, and finally generating native executables. The final product is a small, statically typed language that resembles a subset of C, which compiles into x64 Linux ELF executables. And it has a machine-agnostic IR, so it’s not hard to target other platforms such as ARM, which is a challenge you can take up later. The project is written from scratch in pure Python without any dependencies, although everything is language agnostic.

Название: Foundation Models for Natural Language Processing: Pre-trained Language Models Integrating Media
Автор: Gerhard Paaß, Sven Giesselbach
Издательство: Springer
Год: 2023
Страниц: 448
Язык: английский
Формат: pdf (true)
Размер: 23.9 MB

This book provides a comprehensive overview of the state of the art in research and applications of Foundation Models and is intended for readers familiar with basic Natural Language Processing (NLP) concepts. Over the recent years, a revolutionary new paradigm has been developed for training models for NLP. These models are first pre-trained on large collections of text documents to acquire general syntactic knowledge and semantic information. Then, they are fine-tuned for specific tasks, which they can often solve with superhuman accuracy. When the models are large enough, they can be instructed by prompts to solve new tasks without any fine-tuning. Moreover, they can be applied to a wide range of different media and problem domains, ranging from image and video processing to robot control learning. Because they provide a blueprint for solving many tasks in artificial intelligence, they have been called Foundation Models. After a brief introduction to basic NLP models the main pre-trained language models BERT, GPT and sequence-to-sequence transformer are described, as well as the concepts of self-attention and context-sensitive embedding.

Название: AI and IoT-Based Intelligent Health Care and Sanitation
Автор: Shashank Awasthi, Mahaveer Singh Naruka, Satya Prakash Yadav
Издательство: Bentham Books
Год: 2023
Страниц: 310
Язык: английский
Формат: pdf (true), epub
Размер: 26.0 MB

The book aims to provide a deeper understanding of the relevant aspects of Artificial intelligence (AI) and IoT impacting each other’s efficacy for better output. Readers may discover a reliable and accessible one-stop resource; An introduction to Artificial Intelligence presents the first full examination of applications of AI, as well as IoT presents the smart objects, sensors or actuators using a secure protocol to the Artificial Intelligence approaches. They are designed in a way to provide an understanding of the foundations of artificial intelligence. It examines Education powered by AI, Entertainment and Artificial Intelligence, Home and Service Robots, Healthcare re-imagined, Predictive Policing, Space Exploration with AI, and weaponry in the world of AI. Through the volume, the authors provide detailed, well-illustrated treatments of each topic with abundant examples and exercises. Chapters are edited by experts in IT and Machine Learning, and are structured to make the volume accessible to a wide range of readers.

Название: Video Data Analytics for Smart City Applications: Methods and Trends (IoT and Big Data Analytics Book 1)
Автор: Abhishek Singh Rathore, Surendra Rahamatkar, Syed Imran Ali, Ramgopal Kashyap
Издательство: Bentham Books
Год: 2023
Страниц: 150
Язык: английский
Формат: pdf (true), epub
Размер: 25.7 MB

Video data analytics is rapidly evolving and transforming the way we live in urban environments. Video Data Analytics for Smart City Applications: Methods and Trends, data science experts present a comprehensive review of the latest advances and trends in video analytics technologies and their extensive applications in smart city planning and engineering. The book covers a wide range of topics including object recognition, action recognition, violence detection, and tracking, exploring deep learning approaches and other techniques for video data analytics. It also discusses the key enabling technologies for smart cities and homes and the scope and application of smart agriculture in smart cities. The technologies like Machine Learning, Deep Learning, IoT, WSN, IoT, and AI have been contributing to the application and efficient processing of data. Object detection and tracking, intelligent processing, video compression, the performance of IoT & AI in business growth, key enabling technologies and video analytics need to be explored more. The information processing is both challenging and interesting. The researchers are working with passion, and dedication to develop new methods and algorithms for information analysis and to provide a solution to remain in the new direction.

Название: The Swift Programming Language: Swift 5.7 Edition
Автор: Apple
Издательство: Apple Inc.
Год: November 15, 2022
Страниц: 1040
Язык: английский
Формат: pdf
Размер: 11.1 MB

Swift is a fantastic way to write software, whether it’s for phones, desktops, servers, or anything else that runs code. It’s a safe, fast, and interactive programming language that combines the best in modern language thinking with wisdom from the wider Apple engineering culture and the diverse contributions from its open-source community. The compiler is optimized for performance and the language is optimized for development, without compromising on either. Swift is friendly to new programmers. It’s an industrial-quality programming language that’s as expressive and enjoyable as a scripting language. Writing Swift code in a playground lets you experiment with code and see the results immediately, without the overhead of building and running an app. This book describes Swift 5.7, the default version of Swift that’s included in Xcode 14. You can use Xcode 14 to build targets that are written in either Swift 5.7, Swift 4.2, or Swift 4.