Programs as Diagrams: From Categorical Computability to Computable Categories

Автор: literator от 20-09-2023, 18:15, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ

Название: Programs as Diagrams: From Categorical Computability to Computable Categories
Автор: Dusko Pavlovic
Издательство: Springer
Год: 2023
Страниц: 261
Язык: английский
Формат: pdf (true)
Размер: 10.1 MB

It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations). Here, the string-diagrammatic depictions of computations are construed as programs in a single-instruction programming language. Such programs as diagrams show how functions are packed in boxes and tied by strings. Readers familiar with categories will learn about the foundations of computability; readers familiar with computability gain access to category theory. Additionally, readers familiar with both are offered many opportunities to improve the approach. While programmers program computers in a great variety of languages, mathematicians study mathematics in a great variety of completely different languages. A great variety of languages is a good thing, provided that the languages do not isolate but diversify the views of the world and that there are multi-lingual communities to connect them. Many mathematicians speak programming languages; many programmers are conversant with mathematics. The language of categories seems convenient for both, and to some extent connects the communities.
 

Атлантарктида. Дикий, дикий Норд. Из глубины. Сборник

Автор: tatanavip от 20-09-2023, 18:15, Коментариев: 0

Категория: КНИГИ » ФАНТАСТИКА И ФЭНТЕЗИ


Название: Атлантарктида. Дикий, дикий Норд. Из глубины. Сборник
Автор: Василий Головачёв
Издательство: Эксмо
Год: 2023
Формат: fb2, rtf
Размер: 10 Мб
Качество: Хорошее
Язык: Русский

Атланты оставили на Южном полюсе сооружение, вокруг которого снуют американские ныряльщики. Майора Вербова отправляют в Антарктиду, разобраться – какие аномалии ведут человечество к апокалипсису, и почему стратегические противники не пускают русских к таинственному артефакту. который способен изменить реальность. Героические приключения в холодной Антарктиде, от мастера фантастических боевиков – Василия Головачёва
 

Effective Remote Work: For Yourself, Your Team, and Your Company

Автор: literator от 20-09-2023, 17:44, Коментариев: 0

Категория: КНИГИ » БИЗНЕС И ФИНАНСЫ

Название: Effective Remote Work: For Yourself, Your Team, and Your Company
Автор: James Stanier
Издательство: Pragmatic Bookshelf
Год: March 2022 (Version: P1.0)
Страниц: 350
Язык: английский
Формат: epub
Размер: 13.9 MB

The office isn't as essential as it used to be. Flexible working hours and distributed teams are replacing decades of on-site, open-plan office culture. Wherever you work from nowadays, your colleagues are likely to be somewhere else. No more whiteboards. No more water coolers. And certainly no Ping-Pong. So how can you organize yourself, ship software, communicate, and be impactful as part of a globally distributed workforce? We'll show you how. It's time to adopt a brand new mindset. Remote working is here to stay. Come and join us. Remote working is on the rise. Whether or not we are remote workers, it is likely we are all part of a global workforce. We need to learn to interact remotely, because we are all remote from someone in some way. Rather than simply simulating the way we'd usually work together via digital means, we have to learn new communication skills and adopt a different mindset in order to work remotely effectively, efficiently, and, most importantly, healthily. We'll start by getting you set up with the right equipment and habits. Then, we'll learn the mindset of treating everyone as remote, and conquer both synchronous and asynchronous communication. You'll learn how to produce amazing artifacts, how to communicate clearly, and how to manage yourself and your teams. Then we'll look at the bigger picture: from measuring the remote readiness of your workplace, to creating a handbook for your team, to exploring remote-first culture and tackling burnout and mental well-being.
 

SAP Analytics Cloud Performance Optimization Guide

Автор: literator от 20-09-2023, 17:02, Коментариев: 0

Категория: КНИГИ » ОС И БД

Название: SAP Analytics Cloud Performance Optimization Guide
Автор: Erik Bertram, Carl Dannenhauer, Melanie Holzapfel, Sandra Loop
Издательство: Rheinwerk Publishing/SAP Press
Год: 2023
Страниц: 310
Язык: английский
Формат: epub (true)
Размер: 10.1 MB

Frustrated with slow performance in SAP Analytics Cloud? This guide is your answer! Learn the basics of solution performance and optimization and then start making your adjustments: get the story builder and analytics designer apps running smoothly, fine-tune your backend settings, and follow best practices for viewing dashboards. With detailed examples of performance improvements throughout, this book has everything you need for an optimal SAP Analytics Cloud experience! Whether you are new to SAP Analytics Cloud or are already a skilled app designer or developer does not really matter because all groups might find different aspects that they might not have known before on how to optimize the dashboard performance. All these tips and tricks are also closely aligned with our in-house development organization, which means that you get hands-on information directly from the right source. Thus, what you can expect is a book that provides technical insights into performance optimizations while guiding you through building the correct dashboard step by step.
 

Великие мюзиклы мира

Автор: Igor1977 от 20-09-2023, 16:32, Коментариев: 0

Категория: КНИГИ » КУЛЬТУРА И ИСКУССТВО


Название: Великие мюзиклы мира
Автор: Емельянова И. (ред.)
Издательство: М.: Олма-Пресс
Год: 2002
Формат: pdf
Страниц: 704
Размер: 144 mb
Язык: Русский

В первой российской энциклопедии, посвященной мюзиклам, собраны жемчужины этого жанра - лучшие спектакли, классические и современные, идущие в театрах по всему миру. Кроме статей в книге собраны оригинальные тексты мюзиклов и их переводы, списки музыкальных номеров на двух языках, ссылки на интернет-сайты о спектаклях, хронология известных мюзиклов и конечно, иллюстрации, позволяющие воочию увидеть самые яркие моменты из прославленных шоу.
 

Комнатные растения (2002)

Автор: Igor1977 от 20-09-2023, 16:16, Коментариев: 0

Категория: КНИГИ » ДОМОВОДСТВО


Название: Комнатные растения (2002)
Автор: Кононова Г.В.
Издательство: СПб.: Кристалл
Год: 2002
Формат: pdf
Страниц: 304
Размер: 78 mb
Язык: Русский

Роскошные цветы и свежая зелень комнатных растений всегда наполняют душу их владельца законной гордостью, ведь вырастить даже достаточно неприхотливое растение в комнате не так уж и легко. Но не слишком и трудно, если просто любить их и знать некоторые особенности их жизни. Если вы никогда не забываете, что на вашем подоконнике живет тихое зеленое существо, которому так же, как и вам, нужно вовремя есть и пить, скорее всего, оно отблагодарит вас за вашу заботу своей красотой.
 

Урочище Сто могил - некрополь Ольвии Понтийской

Автор: Igor1977 от 20-09-2023, 15:48, Коментариев: 0

Категория: КНИГИ » ИСТОРИЯ


Название: Урочище Сто могил - некрополь Ольвии Понтийской
Автор: Папанова В.А.
Издательство: Киев: Знания Украины
Год: 2006
Формат: pdf
Страниц: 250
Размер: 19 mb
Язык: Русский

Книга посвящена одному из интереснейших некрополей Северного Причерноморья - некрополю Ольвии, который просуществовал почти тысячу лет. В книге рассматриваются вопросы истории его исследования, историческая топография, погребальный и поминальный обряды.
Для специалистов в области археологии и истории, аспирантов, студентов, преподавателей вузов, а также для всех интересующихся древней историей.
 

R for Photobiology: Theory and recipes for common calculations

Автор: literator от 20-09-2023, 15:47, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ

Название: R for Photobiology: Theory and recipes for common calculations
Автор: Pedro J. Aphalo, T. Matthew Robson, Titta Kotilainen
Издательство: Leanpub
Год: 16 April 2022
Страниц: 388
Язык: английский
Формат: pdf (true)
Размер: 10.1 MB

Photobiology is the branch of science that studies the interactions of living organisms with visible and ultraviolet radiation. This book first presents the theory behind calculations related to research in photobiology and describes how to use R as a tool for carrying out these calculations. This handbook describes how to use R as a tool for doing calculations related to research in photobiology. Photobiology is the branch of science that studies the interactions of living organisms with visible and ultraviolet radiation. Many of the most frequently used calculations are either related to the characterization of radiation and of the responses of organisms to radiation. We emphasize the first of these aspects related to radiation quantification and the position of the sun. These include acquisition, processing and summarising of spectral data including the calculation of non-weighted and biologically effective exposures. The text and examples assume some familiarity with R and/or programming, but guides those readers new to the language to tutorials and books that will help them learn enough to follow, use and modify the code examples included in the book.
 

Гражданское управление в Оренбургской губернии в первой половине XIX в.

Автор: Igor1977 от 20-09-2023, 15:27, Коментариев: 0

Категория: КНИГИ » ИСТОРИЯ


Название: Гражданское управление в Оренбургской губернии в первой половине XIX в.
Автор: Гвоздикова И.М.
Издательство: Уфа: Китап
Год: 2010
Формат: pdf
Страниц: 384
Размер: 20 mb
Язык: Русский

В работе исследуется практически не изученная проблема гражданского управления в Оренбургской губернии при Александре I и Николае I, взаимоотношения военных и гражданских губернаторов, полномочия и компетенция губернских и уездных учреждений. Большое внимание уделено роли личности в местной администрации. Приводятся сведения о деятельности таких энергичных, талантливых администраторов, как военный губернатор В.А. Перовский, гражданские губернаторы Н.В. Жуковский, А.П. Гевлич, Н.В. Балкашин, Я.В. Ханыков.
 

Этнические и культурно-бытовые процессы на Кавказе

Автор: Igor1977 от 20-09-2023, 14:28, Коментариев: 0

Категория: КНИГИ » ГУМАНИТАРНЫЕ НАУКИ


Название: Этнические и культурно-бытовые процессы на Кавказе
Автор: Гарданов В.К. (отв. ред.)
Издательство: Москва: Наука
Год: 1978
Формат: DJVU
Страниц: 284
Размер: 15 mb
Язык: русский

В книге освещаются различные стороны этнического и культурно-бытового развития народов Северного Кавказа и Закавказья в XIX — XX вв., показываются их характерные стороны жизни быта, хозяйственных и культурных отношений.