Logic, Computation and Rigorous Methods » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Рак глазами физика: механизм возникновения, профилактика, лечение, защита Рак глазами физика: механизм возникновения, профилактика, лечение, защита Computational Intelligence in Sustainable Computing and Optimization: Trends and Applications Computational Intelligence in Sustainable Computing and Optimization: Trends and Applications Breathing the Fire Fighting to Survive, and Get Back to the Fight Breathing the Fire Fighting to Survive, and Get Back to the Fight Modern Web Development with Angular: Build Cutting-Edge, Scalable Web Apps from Scratch with Angular, TypeScript Modern Web Development with Angular: Build Cutting-Edge, Scalable Web Apps from Scratch with Angular, TypeScript Здоровье глаз и компьютер 5.0 Здоровье глаз и компьютер 5.0 Easy Cocktails: Over 150 Drinks, All Made with Four Ingredients or Less Easy Cocktails: Over 150 Drinks, All Made with Four Ingredients or Less Unity Cookbook: Core Recipes for Game Developers Unity Cookbook: Core Recipes for Game Developers Python на практике Python на практике Коммуникология: теория и практика массовой информации (2019) Коммуникология: теория и практика массовой информации (2019) Энциклопедия символов (1998) Энциклопедия символов (1998) Потери населения СССР в 1937–1945 гг.: масштабы и формы. Отечественная историография (2019) Потери населения СССР в 1937–1945 гг.: масштабы и формы. Отечественная историография (2019) Словарь образцового русского ударения Словарь образцового русского ударения Культ зверя и славянские оборотни. От лютичей и берендеев до волкодлаков и заклятых сорок Культ зверя и славянские оборотни. От лютичей и берендеев до волкодлаков и заклятых сорок The Ultimate Coding Manual 2024 The Ultimate Coding Manual 2024 Building Applications with Large Language Models: Techniques, Implementation, and Applications Building Applications with Large Language Models: Techniques, Implementation, and Applications Artificial Intelligence Using Federated Learning: Fundamentals, Challenges, and Applications Artificial Intelligence Using Federated Learning: Fundamentals, Challenges, and Applications
Рак глазами физика: механизм возникновения, профилактика, лечение, защита Рак глазами физика: механизм возникновения, профилактика, лечение, защита Computational Intelligence in Sustainable Computing and Optimization: Trends and Applications Computational Intelligence in Sustainable Computing and Optimization: Trends and Applications Breathing the Fire Fighting to Survive, and Get Back to the Fight Breathing the Fire Fighting to Survive, and Get Back to the Fight Modern Web Development with Angular: Build Cutting-Edge, Scalable Web Apps from Scratch with Angular, TypeScript Modern Web Development with Angular: Build Cutting-Edge, Scalable Web Apps from Scratch with Angular, TypeScript Здоровье глаз и компьютер 5.0 Здоровье глаз и компьютер 5.0 Easy Cocktails: Over 150 Drinks, All Made with Four Ingredients or Less Easy Cocktails: Over 150 Drinks, All Made with Four Ingredients or Less Unity Cookbook: Core Recipes for Game Developers Unity Cookbook: Core Recipes for Game Developers Python на практике Python на практике Коммуникология: теория и практика массовой информации (2019) Коммуникология: теория и практика массовой информации (2019) Энциклопедия символов (1998) Энциклопедия символов (1998) Потери населения СССР в 1937–1945 гг.: масштабы и формы. Отечественная историография (2019) Потери населения СССР в 1937–1945 гг.: масштабы и формы. Отечественная историография (2019) Словарь образцового русского ударения Словарь образцового русского ударения Культ зверя и славянские оборотни. От лютичей и берендеев до волкодлаков и заклятых сорок Культ зверя и славянские оборотни. От лютичей и берендеев до волкодлаков и заклятых сорок The Ultimate Coding Manual 2024 The Ultimate Coding Manual 2024 Building Applications with Large Language Models: Techniques, Implementation, and Applications Building Applications with Large Language Models: Techniques, Implementation, and Applications Artificial Intelligence Using Federated Learning: Fundamentals, Challenges, and Applications Artificial Intelligence Using Federated Learning: Fundamentals, Challenges, and Applications
Категория: КНИГИ » УЧЕБНАЯ ЛИТЕРАТУРА
Logic, Computation and Rigorous Methods
Добавил: TRex / 7-07-2021, 16:05 /
Название: Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Borger on the Occasion of His 75th Birthday
Автор: Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe
Издательство: Springer
Год: 2021
Формат: PDF
Страниц: 367
Размер: 19 Mb
Язык: English

This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.
It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems.
The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.


ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!





[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!