Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

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


Варианты приобретения
Цена: 46570.00T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 207 шт.  
При оформлении заказа до: 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.

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
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Foundations of Information and Knowledge Systems: 11th International Symposium, Foiks 2020, Dortmund, Germany, February 17-21, 2020, Proceedings

Автор: Herzig Andreas, Kontinen Juha
Название: Foundations of Information and Knowledge Systems: 11th International Symposium, Foiks 2020, Dortmund, Germany, February 17-21, 2020, Proceedings
ISBN: 3030399508 ISBN-13(EAN): 9783030399504
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The 19 revised full papers presented were carefully reviewed and selected from 33 submissions.

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
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 25th International Symposium on Foundations of Intelligent Systems, ISMIS 2020, held in Graz, Austria, in October 2020.

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
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Auctions and Mechanism Design.- Congestion Games and Flows over Time.- Markets and Matchings.- Scheduling and Games on Graphs.- Social Choice and Cooperative Games.

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
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Bioinformatics Research and Applications: 16th International Symposium, Isbra 2020, Moscow, Russia, December 1-4, 2020, Proceedings

Автор: Cai Zhipeng, Mandoiu Ion, Narasimhan Giri
Название: Bioinformatics Research and Applications: 16th International Symposium, Isbra 2020, Moscow, Russia, December 1-4, 2020, Proceedings
ISBN: 3030578208 ISBN-13(EAN): 9783030578206
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 16th International Symposium on Bioinformatics Research and Applications, ISBRA 2020, held in Moscow, Russia, in December 2020. The 23 full papers and 18 short papers presented in this book were carefully reviewed and selected from 131 submissions.

Parallel Problem Solving from Nature - Ppsn XVI: 16th International Conference, Ppsn 2020, Leiden, the Netherlands, September 5-9, 2020, Proceedings,

Автор: Bдck Thomas, Preuss Mike, Deutz Andrй
Название: Parallel Problem Solving from Nature - Ppsn XVI: 16th International Conference, Ppsn 2020, Leiden, the Netherlands, September 5-9, 2020, Proceedings,
ISBN: 303058111X ISBN-13(EAN): 9783030581114
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020, held in Leiden, The Netherlands, in September 2020. The 99 revised full papers were carefully reviewed and selected from 268 submissions.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия