Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Functional and Logic Programming: 15th International Symposium, Flops 2020, Akita, Japan, September 14-16, 2020, Proceedings, Nakano Keisuke, Sagonas Konstantinos


Варианты приобретения
Цена: 6986.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Nakano Keisuke, Sagonas Konstantinos
Название:  Functional and Logic Programming: 15th International Symposium, Flops 2020, Akita, Japan, September 14-16, 2020, Proceedings
ISBN: 9783030590246
Издательство: Springer
Классификация:




ISBN-10: 3030590240
Обложка/Формат: Paperback
Страницы: 221
Вес: 0.34 кг.
Дата издания: 09.09.2020
Серия: Theoretical computer science and general issues
Язык: English
Издание: 1st ed. 2020
Иллюстрации: 4 illustrations, color; 668 illustrations, black and white; xii, 221 p. 672 illus., 4 illus. in color.
Размер: 23.39 x 15.60 x 1.27 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 15th international symposium, flops 2020, akita, japan, september 14-16, 2020, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.


Algorithmic Game Theory: 13th International Symposium, Sagt 2020, Augsburg, Germany, September 16-18, 2020, Proceedings

Автор: Harks Tobias, Klimm Max
Название: Algorithmic Game Theory: 13th International Symposium, Sagt 2020, Augsburg, Germany, September 16-18, 2020, Proceedings
ISBN: 3030579794 ISBN-13(EAN): 9783030579791
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Auctions and Mechanism Design.- Congestion Games and Flows over Time.- Markets and Matchings.- Scheduling and Games on Graphs.- Social Choice and Cooperative Games.

Trends in Functional Programming: 21st International Symposium, Tfp 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers

Автор: Byrski Aleksander, Hughes John
Название: Trends in Functional Programming: 21st International Symposium, Tfp 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers
ISBN: 3030577600 ISBN-13(EAN): 9783030577605
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions.

Foundations of Intelligent Systems: 25th International Symposium, Ismis 2020, Graz, Austria, September 23-25, 2020, Proceedings

Автор: Helic Denis, Leitner Gerhard, Stettinger Martin
Название: Foundations of Intelligent Systems: 25th International Symposium, Ismis 2020, Graz, Austria, September 23-25, 2020, Proceedings
ISBN: 3030594904 ISBN-13(EAN): 9783030594909
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 25th International Symposium on Foundations of Intelligent Systems, ISMIS 2020, held in Graz, Austria, in October 2020.

Advances in Information and Computer Security: 15th International Workshop on Security, Iwsec 2020, Fukui, Japan, September 2-4, 2020, Proceedings

Автор: Aoki Kazumaro, Kanaoka Akira
Название: Advances in Information and Computer Security: 15th International Workshop on Security, Iwsec 2020, Fukui, Japan, September 2-4, 2020, Proceedings
ISBN: 3030582078 ISBN-13(EAN): 9783030582074
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 15th International Workshop on Security, IWSEC 2020, held in Fukui, Japan, in September 2020.* The 15 regular papers and 1 short paper presented in this volume were carefully reviewed and selected from 47 submissions.

Model-Based Safety and Assessment: 7th International Symposium, Imbsa 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings

Автор: Zeller Marc, Hцfig Kai
Название: Model-Based Safety and Assessment: 7th International Symposium, Imbsa 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings
ISBN: 3030589196 ISBN-13(EAN): 9783030589196
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020.

Inductive Logic Programming: 29th International Conference, Ilp 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings

Автор: Kazakov Dimitar, Erten Can
Название: Inductive Logic Programming: 29th International Conference, Ilp 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings
ISBN: 3030492095 ISBN-13(EAN): 9783030492090
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed conference proceedings of the 29th International Conference on Inductive Logic Programming, ILP 2019, held in Plovdiv, Bulgaria, in September 2019. The 11 papers presented were carefully reviewed and selected from numerous submissions.

Genetic Programming: 23rd European Conference, Eurogp 2020, Held as Part of Evostar 2020, Seville, Spain, April 15-17, 2020, Proceedings

Автор: Hu Ting, Lourenзo Nuno, Medvet Eric
Название: Genetic Programming: 23rd European Conference, Eurogp 2020, Held as Part of Evostar 2020, Seville, Spain, April 15-17, 2020, Proceedings
ISBN: 3030440931 ISBN-13(EAN): 9783030440930
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Hessian Complexity Measure for Genetic Programming-based Imputation Predictor Selection in Symbolic Regression with Incomplete Data.- Seeding Grammars in Grammatical Evolution to Improve Search Based Software Testing.- Incremental Evolution and Development of Deep Artificial Neural Networks.- Investigating the Use of Geometric Semantic Operators in Vectorial Genetic Programming.- Comparing Genetic Programming Approaches for Non-Functional Genetic Improvement.- Automatically Evolving Lookup Tables for Function Approximation.- Optimising Optimisers with Push GP.- An Evolutionary View on Reversible Shift-invariant Transformations.- Benchmarking Manifold Learning Methods on a Large Collection of Datasets.- Ensemble Genetic Programming.- SGP-DT: Semantic Genetic Programming Based on Dynamic Targets.- Effect of Parent Selection Methods on Modularity.- Time Control or Size Control? Reducing Complexity and Improving Accuracy of Genetic Programming Models.- Challenges of Program Synthesis with Grammatical Evolution.- Detection of Frailty Using Genetic Programming: The Case of Older People in Piedmont, Italy.- Is k Nearest Neighbours Regression Better than GP.- Guided Subtree Selection for Genetic Operators in Genetic Programming for Dynamic Flexible Job Shop Scheduling.- Classification of Autism Genes using Network Science and Linear Genetic Programming.

Integer Programming and Combinatorial Optimization: 21st International Conference, Ipco 2020, London, Uk, June 8-10, 2020, Proceedings

Автор: Bienstock Daniel, Zambelli Giacomo
Название: Integer Programming and Combinatorial Optimization: 21st International Conference, Ipco 2020, London, Uk, June 8-10, 2020, Proceedings
ISBN: 3030457702 ISBN-13(EAN): 9783030457709
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 21st International Conference on Integer Programming and Combinatorial Optimization, IPCO 2020, held in London, UK, in June 2020. The conference is a forum for researchers and practitioners working on various aspects of integer programming and combinatorial optimization.

Augmented Reality, Virtual Reality, and Computer Graphics: 7th International Conference, Avr 2020, Lecce, Italy, September 7-10, 2020, Proceedings, Pa

Автор: De Paolis Lucio Tommaso, Bourdot Patrick
Название: Augmented Reality, Virtual Reality, and Computer Graphics: 7th International Conference, Avr 2020, Lecce, Italy, September 7-10, 2020, Proceedings, Pa
ISBN: 303058464X ISBN-13(EAN): 9783030584641
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2020, held in Lecce, Italy, in September 2020.*The 45 full papers and 14 short papers presented were carefully reviewed and selected from 99 submissions.

Computers Helping People with Special Needs: 17th International Conference, Icchp 2020, Lecco, Italy, September 9-11, 2020, Proceedings, Part I

Автор: Miesenberger Klaus, Manduchi Roberto, Covarrubias Rodriguez Mario
Название: Computers Helping People with Special Needs: 17th International Conference, Icchp 2020, Lecco, Italy, September 9-11, 2020, Proceedings, Part I
ISBN: 3030587959 ISBN-13(EAN): 9783030587956
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: and environmental sensing technologies for visual impairmentPart II: accessibility of non-verbal communication: making spatial information accessible to people with disabilities; cognitive disabilities and accessibility - pushing the boundaries of inclusion using digital technologies and accessible eLearning environments;

Artificial General Intelligence: 13th International Conference, Agi 2020, St. Petersburg, Russia, September 16-19, 2020, Proceedings

Автор: Goertzel Ben, Panov Aleksandr I., Potapov Alexey
Название: Artificial General Intelligence: 13th International Conference, Agi 2020, St. Petersburg, Russia, September 16-19, 2020, Proceedings
ISBN: 3030521516 ISBN-13(EAN): 9783030521516
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 13th International Conference on Artificial General Intelligence, AGI 2020, held in St. Petersburg, Russia, in September 2020.The 30 full papers and 8 short papers presented in this book were carefully reviewed and selected from 60 submissions.

Scalable Uncertainty Management: 14th International Conference, Sum 2020, Bozen-Bolzano, Italy, September 23-25, 2020, Proceedings

Автор: Davis Jesse, Tabia Karim
Название: Scalable Uncertainty Management: 14th International Conference, Sum 2020, Bozen-Bolzano, Italy, September 23-25, 2020, Proceedings
ISBN: 3030584488 ISBN-13(EAN): 9783030584481
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Conference on Scalable Uncertainty Management, SUM 2020, which was held in Bozen-Bolzano, Italy, in September 2020. The 12 full, 7 short papers presented in this volume were carefully reviewed and selected from 30 submissions.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия